changed nxvl's changes: grab_focus should be called on the widget
anytime we zoom/unzoom, this can be done in toggle_zoom
This commit is contained in:
commit
cac4852ee9
|
@ -1545,7 +1545,6 @@ class Terminator:
|
||||||
self.zoom_term (widget)
|
self.zoom_term (widget)
|
||||||
if self.conf.titlebars:
|
if self.conf.titlebars:
|
||||||
widget._titlebox.hide()
|
widget._titlebox.hide()
|
||||||
widget._vte.grab_focus()
|
|
||||||
else:
|
else:
|
||||||
self.unzoom_term (widget)
|
self.unzoom_term (widget)
|
||||||
if self.conf.titlebars and \
|
if self.conf.titlebars and \
|
||||||
|
@ -1584,6 +1583,7 @@ class Terminator:
|
||||||
self.old_parent.set_current_page(self.old_page)
|
self.old_parent.set_current_page(self.old_page)
|
||||||
print "\nPARENT IS A NOTEBOOK\n"
|
print "\nPARENT IS A NOTEBOOK\n"
|
||||||
self._zoomed = False
|
self._zoomed = False
|
||||||
|
|
||||||
return
|
return
|
||||||
else:
|
else:
|
||||||
return
|
return
|
||||||
|
|
Loading…
Reference in New Issue