mirror of
https://github.com/rbreaves/kinto.git
synced 2025-08-05 18:38:26 +02:00
- Fixed bug that causes app to close prematurely in some cases
This commit is contained in:
@@ -752,8 +752,8 @@ class MyWindow(Gtk.Window):
|
|||||||
if openWin and self.get_title() == "Keyboard Assistant":
|
if openWin and self.get_title() == "Keyboard Assistant":
|
||||||
openWin = False
|
openWin = False
|
||||||
win.show_all()
|
win.show_all()
|
||||||
else:
|
elif self.get_title() == "Keyboard Assistant":
|
||||||
Gtk.main_quit()
|
Gtk.main_quit()
|
||||||
|
|
||||||
self.hide()
|
self.hide()
|
||||||
self.destroy()
|
self.destroy()
|
||||||
@@ -1357,5 +1357,6 @@ win = MyWindow()
|
|||||||
win.connect("delete-event", Gtk.main_quit)
|
win.connect("delete-event", Gtk.main_quit)
|
||||||
if openWin:
|
if openWin:
|
||||||
win.show_all()
|
win.show_all()
|
||||||
|
openWin = False
|
||||||
|
|
||||||
Gtk.main()
|
Gtk.main()
|
Reference in New Issue
Block a user