翻訳に不備がある場合は,コメントにてお知らせしていただければ幸いです。
Seif は Gedit Dash 0.1 をリリースし,Gedit のプラグインは,最近または新しい Gedit tabs の最も使われている項目を表示し,そのために Zeitgeist を使います。
最近または最も使用した項目も探すことができ,プラグインはプレビュー (あなたの仕事からいくつかのコードまたはテキストに直接ジャンプしてみてください) を発生させます。
こちらはスクリーンショットです。
Gedit の Dash は Gedit3 で動作しますが,Zeitgeist と "zeitgeist-extension-fts" を要求します。
Ubuntu をお使いの場合は,既に両方ともインストールされています。
他の Linux ディストーションでは,Launchpad Zeitgeist | Zeitgeist Extensions からそれらを入手できます。
Gedit Dash プラグインを使うには,まず python-pygments をインストールします。
Gnome Terminal:~$
sudo apt-get install python-pygments
それから,Gedit Dash をこちら (またはブランチを取得:"lp:~seif/gedit/dash") ダウンロードして,解凍して,~/.local/share/gedit/plugins フォルダが存在しない場合,以下のコマンドで作成します。
Gnome Terminal:~$
mkdir -p ~/.local/share/gedit/plugins
その後,ダウンロードしたアーカイブを解凍し,"gedit-dash" フォルダを ~/.local/share/gedit/plugins (".local" はホームディレクトリの中の隠しフォルダですので,Ctrl + H を押して表示してください) に置きます。
しなければならない唯一のことは,Gedit を再起動して,Edit > Preference > Plugins で,Dashboard プラグインを有効にすることです。