GUI Options をトグルする Vimperator プラグイン toggleGuiOptions.js - ウォンビン ビール瓶。

初めての vimperaotr plugin を書いてみました。 guioptions の設定をトグルしてツールバーなどの表示/非表示を切り替えるコマンドです。激しく車輪の再発明な気がしますが、ここはひとつ勉強用ということで。 使い方はこんな感じ。 :toggleGuiOptions mT とやると、guioptions の m（メニューバー）と T（ツールバー）の表示/非表示をトグルします。 オ...続きはこちら