2000-08-14 22:13:23 -03:00
|
|
|
from Tkinter import *
|
|
|
|
|
|
|
|
class WindowList:
|
|
|
|
|
|
|
|
def __init__(self):
|
|
|
|
self.dict = {}
|
|
|
|
self.callbacks = []
|
|
|
|
|
|
|
|
def add(self, window):
|
|
|
|
window.after_idle(self.call_callbacks)
|
|
|
|
self.dict[str(window)] = window
|
|
|
|
|
|
|
|
def delete(self, window):
|
|
|
|
try:
|
|
|
|
del self.dict[str(window)]
|
|
|
|
except KeyError:
|
|
|
|
# Sometimes, destroy() is called twice
|
|
|
|
pass
|
|
|
|
self.call_callbacks()
|
|
|
|
|
|
|
|
def add_windows_to_menu(self, menu):
|
|
|
|
list = []
|
|
|
|
for key in self.dict.keys():
|
|
|
|
window = self.dict[key]
|
|
|
|
try:
|
|
|
|
title = window.get_title()
|
|
|
|
except TclError:
|
|
|
|
continue
|
|
|
|
list.append((title, window))
|
|
|
|
list.sort()
|
|
|
|
for title, window in list:
|
|
|
|
menu.add_command(label=title, command=window.wakeup)
|
|
|
|
|
|
|
|
def register_callback(self, callback):
|
|
|
|
self.callbacks.append(callback)
|
|
|
|
|
|
|
|
def unregister_callback(self, callback):
|
|
|
|
try:
|
2001-07-12 02:35:17 -03:00
|
|
|
self.callbacks.remove(callback)
|
2000-08-14 22:13:23 -03:00
|
|
|
except ValueError:
|
|
|
|
pass
|
|
|
|
|
|
|
|
def call_callbacks(self):
|
|
|
|
for callback in self.callbacks:
|
|
|
|
try:
|
|
|
|
callback()
|
|
|
|
except:
|
2006-03-17 01:49:33 -04:00
|
|
|
t, v, tb = sys.exc_info()
|
|
|
|
print "warning: callback failed in WindowList", t, ":", v
|
2000-08-14 22:13:23 -03:00
|
|
|
|
|
|
|
registry = WindowList()
|
|
|
|
|
|
|
|
add_windows_to_menu = registry.add_windows_to_menu
|
|
|
|
register_callback = registry.register_callback
|
|
|
|
unregister_callback = registry.unregister_callback
|
|
|
|
|
|
|
|
|
|
|
|
class ListedToplevel(Toplevel):
|
|
|
|
|
|
|
|
def __init__(self, master, **kw):
|
|
|
|
Toplevel.__init__(self, master, kw)
|
|
|
|
registry.add(self)
|
2004-08-22 02:14:32 -03:00
|
|
|
self.focused_widget = self
|
2000-08-14 22:13:23 -03:00
|
|
|
|
|
|
|
def destroy(self):
|
|
|
|
registry.delete(self)
|
|
|
|
Toplevel.destroy(self)
|
2002-10-04 18:54:41 -03:00
|
|
|
# If this is Idle's last window then quit the mainloop
|
|
|
|
# (Needed for clean exit on Windows 98)
|
|
|
|
if not registry.dict:
|
|
|
|
self.quit()
|
2000-08-14 22:13:23 -03:00
|
|
|
|
2003-06-06 18:58:38 -03:00
|
|
|
def update_windowlist_registry(self, window):
|
|
|
|
registry.call_callbacks()
|
|
|
|
|
2000-08-14 22:13:23 -03:00
|
|
|
def get_title(self):
|
|
|
|
# Subclass can override
|
|
|
|
return self.wm_title()
|
|
|
|
|
|
|
|
def wakeup(self):
|
|
|
|
try:
|
|
|
|
if self.wm_state() == "iconic":
|
2004-08-22 02:14:32 -03:00
|
|
|
self.wm_withdraw()
|
2000-08-14 22:13:23 -03:00
|
|
|
self.wm_deiconify()
|
2004-08-22 02:14:32 -03:00
|
|
|
self.tkraise()
|
|
|
|
self.focused_widget.focus_set()
|
2000-08-14 22:13:23 -03:00
|
|
|
except TclError:
|
|
|
|
# This can happen when the window menu was torn off.
|
|
|
|
# Simply ignore it.
|
|
|
|
pass
|