itdominator
/
terminator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #519 from caprinux/master 

Fix terminal separator size setting
This commit is contained in:
Matt Rose 2021-11-02 16:57:29 -04:00 committed by GitHub
parent a9e4fcd2ad c8cd50ba9a
commit 5d43005df1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
terminatorlib/config.py
View File

@ -84,7 +84,7 @@ DEFAULTS = {
'global_config': { 'global_config': {
'dbus' : True, 'dbus' : True,
'focus' : 'click', 'focus' : 'click',
'handle_size' : -1, 'handle_size' : 1,
'geometry_hinting' : False, 'geometry_hinting' : False,
'window_state' : 'normal', 'window_state' : 'normal',
'borderless' : False, 'borderless' : False,

4
terminatorlib/preferences.glade
View File

@ -307,9 +307,9 @@
</data> </data>
</object> </object>
<object class="GtkAdjustment" id="adjustment1"> <object class="GtkAdjustment" id="adjustment1">
<property name="lower">-1</property> <property name="lower">1</property>
<property name="upper">20</property> <property name="upper">20</property>
<property name="value">-1</property> <property name="value">1</property>
<property name="step-increment">1</property> <property name="step-increment">1</property>
<property name="page-increment">2</property> <property name="page-increment">2</property>
</object> </object>

2
terminatorlib/prefseditor.py
View File

@ -1271,6 +1271,8 @@ class PrefsEditor:
value = int(value) # Cast to int. value = int(value) # Cast to int.
if value > 20: if value > 20:
value = 20 value = 20
if value < 1:
value = 1
self.config['handle_size'] = value self.config['handle_size'] = value
self.config.save() self.config.save()
guiget = self.builder.get_object guiget = self.builder.get_object