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

これなん？

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

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

• mikutter-tab-hardpoint

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

• mikutter-tab-label

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

インストール

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

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

設定

mikutter-tab-hardpoint

• タブのアイコンサイズ

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

mikutter-tab-label

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

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

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の順にタブに追加されます。
また、ウィジェットは配列の若い順にタブに追加されます。