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

Merge pull request #416 from Vulcalien/master 

Fixed geometry hints
This commit is contained in:
Matt Rose 2021-04-09 09:12:09 -04:00 committed by GitHub
parent d72b6eb88f c00a54d867
commit ebe58449b6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
terminatorlib/terminal.py
View File

@ -1330,6 +1330,9 @@ class Terminal(Gtk.VBox):
if self.config['geometry_hinting']: if self.config['geometry_hinting']:
window = self.get_toplevel() window = self.get_toplevel()
window.deferred_set_rough_geometry_hints() window.deferred_set_rough_geometry_hints()
else:
window = self.get_toplevel()
window.disable_geometry_hints()
def on_vte_notify_enter(self, term, event): def on_vte_notify_enter(self, term, event):
"""Handle the mouse entering this terminal""" """Handle the mouse entering this terminal"""

5
terminatorlib/window.py
View File

@ -667,7 +667,10 @@ class Window(Container, Gtk.Window):
geometry.base_height = extra_height geometry.base_height = extra_height
geometry.width_inc = font_width geometry.width_inc = font_width
geometry.height_inc = font_height geometry.height_inc = font_height
self.set_geometry_hints(self, geometry, Gdk.WindowHints.BASE_SIZE | Gdk.WindowHints.RESIZE_INC) self.set_geometry_hints(None, geometry, Gdk.WindowHints.BASE_SIZE | Gdk.WindowHints.RESIZE_INC)
def disable_geometry_hints(self):
self.set_geometry_hints(None, None, 0)
def tab_change(self, widget, num=None): def tab_change(self, widget, num=None):
"""Change to a specific tab""" """Change to a specific tab"""