Ich hätte auch noch einen Patch anzubieten:
diff -u myexit.new/myexit.py myexit/myexit.py
--- myexit.new/myexit.py 2010-06-20 12:28:16.000000000 +0200
+++ myexit/myexit.py 2010-06-20 12:28:50.000000000 +0200
@@ -95,7 +95,7 @@
data.popup( None, None, None, 3, time )
def __init__( self ):
- self.window = gtk.Window( gtk.WINDOW_TOPLEVEL )
+ self.window = gtk.Window( gtk.WINDOW_POPUP )
self.window.set_title( "Exit" )
self.window.connect( "delete_event", self.delete_event )
self.window.connect( "window-state-event", self.state_event )