Improve hack of glitch in position of widgets in notebook

By calling display when switching tabs, it loose the value of focused widget
because value is reset before the focus-out is proceed.

issue2571
review353001
(transplanted from 9c863c7e1626ca96677d04de19ab59957f5d7253)
This commit is contained in:
Cédric Krier committed 2012-05-05 09:30:41 +02:00
1 parent 3c324001a9
commit ec8a7f3e51
1 file changed
+1
+1
View File
@@ -30,6 +30,7 @@ class ViewForm(ParserView):
for notebook in notebooks:
def switch(notebook, page, page_num):
if page_num not in display_done.setdefault(notebook, []):
notebook.grab_focus()
display_done[notebook].append(page_num)
self.display()
notebook.connect('switch-page', switch)