読者です 読者をやめる 読者になる 読者になる

もぐてっく

人は1つ歳を取る度、1ビットづつ大きくなれると信じてた。

タブのアイコンサイズ変更&タブ名表示mikutterプラグインを作った

mikutter

これなん?

mikutterのタブのアイコンサイズ変更とか、タブ名を併記させたりとか。

f:id:moguno:20140729130621p:plain


次の2つのプラグインで実現しています。

  • mikutter-tab-hardpoint

タブプラグインのための前提プラグイン
サンプルとしてタブのアイコンサイズを変更する機能が付いてます。

  • mikutter-tab-label

タブにタブ名を併記させます。要mikutter-tab-hardpoint。

インストール

GitHubからダウンロードしてプラグインディレクトリに格納して下さい。

moguno/mikutter-tab-hardpoint · GitHub
moguno/mikutter-tab-label · GitHub


設定

mikutter-tab-hardpoint

f:id:moguno:20140729130722p:plain

  • タブのアイコンサイズ

タブのアイコンサイズを変更出来ます。
mikutterデフォルトのサイズは24です。

mikutter-tab-label

f:id:moguno:20140729131011p:plain

  • 保存された検索
  • プロフィール
  • リスト

タグ名を表示するタブの種別を選びます。
デフォルトは「保存された検索」のみチェックしています。

mikutter-tab-hardpoint API

filter_tab_update_widget { |i_tab, widgets| }

  • i_tab: GUI::Tab

タブ

  • widgets: Hash

タブに追加するGTKウィジェットインスタンスを格納します。
ハッシュの構造は下記のYAMLの通りです。

left:
  []
center:
  []
right:
  []

ウィジェットは:left、:center、:rightの順にタブに追加されます。
また、ウィジェットは配列の若い順にタブに追加されます。