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

Merge pull request #849 from vssdeo/835-crash-after-unzooming-a-single-terminal-inside-a-tab 

[bug 835] 835-crash-after-unzooming-a-single-terminal-inside-a-tab #835
This commit is contained in:
Matt Rose 2024-02-15 22:28:29 -05:00 committed by GitHub
parent 3ed6ea7d16 c7c9fd0d4b
commit 594537f9ed
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 0 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
terminatorlib/notebook.py
View File

@ -343,10 +343,6 @@ class Notebook(Container, Gtk.Notebook):
self.set_current_page(tabpos) self.set_current_page(tabpos)
self.show_all() self.show_all()
if maker.isinstance(term_widget, 'Terminal'): if maker.isinstance(term_widget, 'Terminal'):
#notify plugins of tab-change
dbg("emit tab-change for tabpos: %s " % tabpos)
term_widget.emit('tab-change', tabpos)
self.set_current_page(tabpos)
widget.grab_focus() widget.grab_focus()
def wrapcloseterm(self, widget): def wrapcloseterm(self, widget):

7
terminatorlib/terminator.py
View File

@ -185,13 +185,6 @@ class Terminator(Borg):
for terminal in self.terminals: for terminal in self.terminals:
dbg('checking: %s (%s)' % (terminal.uuid.urn, terminal)) dbg('checking: %s (%s)' % (terminal.uuid.urn, terminal))
if terminal.uuid.urn == uuid: if terminal.uuid.urn == uuid:
if terminal.get_toplevel().is_child_notebook():
topchild = terminal.get_toplevel().get_child()
current_page = topchild.get_current_page()
#we need to emit signal for plugin and retain same page
dbg("current_page for tab-change-signal:%s" % current_page)
terminal.emit('tab-change', current_page)
return terminal return terminal
return None return None