← Back to branch summary

~gnome-terminator/terminator/gtk3

« back to all changes in this revision

Viewing changes to terminatorlib/prefseditor.py

  • Committer: Stephen Boddy
  • Date: 2016-12-06 01:01:48 UTC
  • Revision ID: stephen.j.boddy@gmail.com-20161206010148-3gsj4vdjrm4a4ins
https://launchpad.net/bugs/1522575
Allow larger separators

Show diffs side-by-side

added added

removed removed

Lines of Context:
terminatorlib/prefseditor.py
1036
1036
        """Handle size changed"""
1037
1037
        value = widget.get_value()  # This one is rounded according to the UI.
1038
1038
        value = int(value)          # Cast to int.
1039
 
        if value > 5:
1040
 
            value = 5
 
1039
        if value > 20:
 
1040
            value = 20
1041
1041
        self.config['handle_size'] = value
1042
1042
        self.config.save()
1043
1043