diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-05-24 21:21:06 +0200 |
|---|---|---|
| committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-05-24 21:21:06 +0200 |
| commit | a7dceab464dbac7fa51e932373170ed8847a5be5 (patch) | |
| tree | 63127584ffddc4b60962c7b9a181f3bf3e47bc5e | |
| parent | ae63a6f67d8addbb0e22872704621e7eaae1b344 (diff) | |
terminal: Use Gtk.CheckMenuItem for config options
| -rw-r--r-- | saneterm/terminal.py | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/saneterm/terminal.py b/saneterm/terminal.py index 4ab7a29..ebae1db 100644 --- a/saneterm/terminal.py +++ b/saneterm/terminal.py @@ -146,13 +146,10 @@ class Terminal(Gtk.Window): popup.append(Gtk.SeparatorMenuItem()) for key, enabled in self.config.items(): - mitem = Gtk.MenuItem() - if enabled: - mitem.set_label(F'Disable {key}') - else: - mitem.set_label(F'Enable {key}') + mitem = Gtk.CheckMenuItem(key.capitalize()) + mitem.set_active(enabled) - mitem.connect('activate', toggle_config, key) + mitem.connect('toggled', toggle_config, key) popup.append(mitem) popup.show_all() |