Wayland 環境で Gedit を使うと Ctrl+F9 が動かない。
下方パネルの表示を切り替えするキーだが微妙に不便。
Gedit でスクリプトを debug – L’Isola di Niente
で主に使う、出すのは勝手に出るので問題ない
だけど非表示にするためだけにマウスに手をのばす必要がある。
キー一発で非表示にすること”だけ”できればいいんだけどなぁ。
だったら自分で非表示にするだけのプラグインを作ればよくね？
キーを何にするか、Esc が妥当だと思うけど単キーでは動かない。
gnome-terminal の終了同様な Ctrl+D は一行削除だ。
とりあえず Ctrl+Esc にしてみた、これはお好みで。
[Plugin] Loader=python3 Module=bottom_panel_close IAge=3 Name=Close a Bottom Panel Name[ja]=ボトムパネルを閉じる Description=Close a Bottom Panel Description[ja]=ボトムパネルを閉じる Authors=sasakima-nao <sasakimanao@gmail.com> Copyright=Copyright © 2018 sasakima-nao <sasakimanao@gmail.com> Website=http://palepoli.skr.jp/
bottom_panel_close.plugin
#!/usr/bin/env python3
# Gedit bottom_panel_close plugin version 3.30.0
# Copyright © 2011-2018 sasakima-nao <sasakimanao@gmail.com>
import gi
gi.require_version("Gtk", "3.0")
gi.require_version("Gedit", "3.0")
gi.require_version("Peas", "1.0")
from gi.repository import GObject, Gedit, Gtk, Gio
class BottomPanelCloseAppActivatable(GObject.Object, Gedit.AppActivatable):
"""
Set GMenu and Accelerator
"""
app = GObject.Property(type=Gedit.App)
def __init__(self):
GObject.Object.__init__(self)
def do_activate(self):
self.app.set_accels_for_action("win.bottomclose", ["<Control>Escape"])
self.menu_ext = self.extend_menu("tools-section")
item = Gio.MenuItem.new("Close Bottom Panel", "win.bottomclose")
self.menu_ext.append_menu_item(item)
def do_deactivate(self):
self.app.remove_accelerator("win.bottomclose", None)
class BottomPanelClosePlugin(GObject.Object, Gedit.WindowActivatable):
__gtype_name__ = "BottomPanelClosePlugin"
window = GObject.Property(type=Gedit.Window)
def __init__(self):
GObject.Object.__init__(self)
def do_activate(self):
self.action = Gio.SimpleAction.new("bottomclose", None)
self.action.connect('activate', self.on_bottom_panel_close_activate)
self.window.add_action(self.action)
def do_deactivate(self):
self.window.remove_action("bottomclose")
def on_bottom_panel_close_activate(self, action, param):
panel = self.window.get_bottom_panel()
panel.props.visible = False
bottom_panel_close.py
Ctrl+Esc で閉じることができるようになった。
これでちょっぴりプログラミングが捗る。
@ 21:51
タイトルの bottom が buttom になっていたので書き換え。
