Gedit Navigatorプラグイン ソースコードファイルのナビゲートとGEDITにブックマークを追加する ... ナビゲーター ブックマーク g g Gedit プラグイン ブックマークナビゲータ ダウンロード