diff --git a/terminatorlib/preferences.glade b/terminatorlib/preferences.glade index 42616d93..2e2e1e4f 100644 --- a/terminatorlib/preferences.glade +++ b/terminatorlib/preferences.glade @@ -562,7 +562,7 @@ - + True False @@ -679,8 +679,8 @@ 0 - 4 - 3 + 5 + 4 @@ -694,53 +694,6 @@ True - - 0 - 6 - 3 - - - - - True - False - 12 - - - True - False - 12 - - - True - False - Custom URL handler: - 0 - - - False - True - 0 - - - - - True - True - • - False - False - - - - True - True - 1 - - - - - 0 7 @@ -808,15 +761,65 @@ 0 - 5 + 6 4 - + + Disable mouse paste + True + True + False + 0.5 + True + + + + 0 + 4 + 4 + - + + True + False + 12 + 12 + + + True + False + Custom URL handler: + + + False + True + 0 + + + + + True + True + • + False + False + + + + True + True + 1 + + + + + 0 + 8 + 4 + diff --git a/terminatorlib/prefseditor.py b/terminatorlib/prefseditor.py index 58dcfc58..c24251f9 100755 --- a/terminatorlib/prefseditor.py +++ b/terminatorlib/prefseditor.py @@ -356,6 +356,9 @@ class PrefsEditor: # Clear selection on copy widget = guiget('clear_select_on_copy') widget.set_active(self.config['clear_select_on_copy']) + # Disable mouse paste + widget = guiget('disable_mouse_paste') + widget.set_active(self.config['disable_mouse_paste']) ## Profile tab # Populate the profile list @@ -842,6 +845,11 @@ class PrefsEditor: self.config['clear_select_on_copy'] = widget.get_active() self.config.save() + def on_disable_mouse_paste_toggled(self, widget): + """Disable mouse paste""" + self.config['disable_mouse_paste'] = widget.get_active() + self.config.save() + def on_cursor_blink_toggled(self, widget): """Cursor blink setting changed""" self.config['cursor_blink'] = widget.get_active()