Fixed geometry hints
This commit is contained in:
parent
d72b6eb88f
commit
c00a54d867
|
@ -1330,6 +1330,9 @@ class Terminal(Gtk.VBox):
|
|||
if self.config['geometry_hinting']:
|
||||
window = self.get_toplevel()
|
||||
window.deferred_set_rough_geometry_hints()
|
||||
else:
|
||||
window = self.get_toplevel()
|
||||
window.disable_geometry_hints()
|
||||
|
||||
def on_vte_notify_enter(self, term, event):
|
||||
"""Handle the mouse entering this terminal"""
|
||||
|
|
|
@ -667,7 +667,10 @@ class Window(Container, Gtk.Window):
|
|||
geometry.base_height = extra_height
|
||||
geometry.width_inc = font_width
|
||||
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):
|
||||
"""Change to a specific tab"""
|
||||
|
|
Loading…
Reference in New Issue