def do_cleanup(self):
if self.x11_filter:
self.x11_filter = False
cleanup_x11_filter()
#try a few times:
#errors happen because windows are being destroyed
#(even more so when we cleanup)
#and we don't really care too much about this
for l in (log, log, log, log, log.warn):
try:
with xsync:
cleanup_all_event_receivers()
#all went well, we're done
break
except Exception as e:
l("failed to remove event receivers: %s", e)
if self.fake_xinerama:
cleanup_fakeXinerama()
with xswallow:
clean_keyboard_state()
GTKServerBase.do_cleanup(self)
log("close_gdk_display_source()")
close_gdk_display_source()
def do_cleanup(self):
GTKServerBase.do_cleanup(self)
if self.fake_xinerama:
cleanup_fakeXinerama()
with xswallow:
clean_keyboard_state()
def do_cleanup(self, *args):
GTKServerBase.do_cleanup(self)
cleanup_fakeXinerama()
def do_cleanup(self, *args):
GTKServerBase.do_cleanup(self)
cleanup_fakeXinerama()
def do_cleanup(self, *args):
GTKServerBase.do_cleanup(self)
cleanup_fakeXinerama()
self.cleanup_input_devices()
