Guido van Rossum | 504b0bf | 1999-01-02 21:28:54 +0000 | [diff] [blame] | 1 | from Tkinter import * |
| 2 | |
| 3 | class WindowList: |
| 4 | |
| 5 | def __init__(self): |
| 6 | self.dict = {} |
| 7 | |
| 8 | def add(self, window): |
| 9 | self.dict[str(window)] = window |
| 10 | |
| 11 | def delete(self, window): |
| 12 | try: |
| 13 | del self.dict[str(window)] |
| 14 | except KeyError: |
| 15 | # Sometimes, destroy() is called twice |
| 16 | pass |
| 17 | |
| 18 | def add_windows_to_menu(self, menu): |
| 19 | list = [] |
| 20 | for key in self.dict.keys(): |
| 21 | window = self.dict[key] |
Guido van Rossum | ec119a3 | 1999-02-08 22:27:49 +0000 | [diff] [blame^] | 22 | try: |
| 23 | title = window.get_title() |
| 24 | except TclError: |
| 25 | continue |
Guido van Rossum | 504b0bf | 1999-01-02 21:28:54 +0000 | [diff] [blame] | 26 | list.append((title, window)) |
| 27 | list.sort() |
| 28 | for title, window in list: |
| 29 | if title == "Python Shell": |
| 30 | # Hack -- until we have a better way to this |
| 31 | continue |
| 32 | menu.add_command(label=title, command=window.wakeup) |
| 33 | |
| 34 | registry = WindowList() |
| 35 | |
| 36 | def add_windows_to_menu(menu): |
| 37 | registry.add_windows_to_menu(menu) |
| 38 | |
| 39 | class ListedToplevel(Toplevel): |
| 40 | |
| 41 | def __init__(self, master, **kw): |
| 42 | Toplevel.__init__(self, master, kw) |
| 43 | registry.add(self) |
| 44 | |
| 45 | def destroy(self): |
| 46 | registry.delete(self) |
| 47 | Toplevel.destroy(self) |
| 48 | |
| 49 | def get_title(self): |
| 50 | # Subclass can override |
| 51 | return self.wm_title() |
| 52 | |
| 53 | def wakeup(self): |
Guido van Rossum | 2403b0c | 1999-01-09 22:01:33 +0000 | [diff] [blame] | 54 | try: |
Guido van Rossum | 36911a1 | 1999-01-18 15:18:57 +0000 | [diff] [blame] | 55 | if self.wm_state() == "iconic": |
| 56 | self.wm_deiconify() |
| 57 | else: |
| 58 | self.tkraise() |
Guido van Rossum | 2403b0c | 1999-01-09 22:01:33 +0000 | [diff] [blame] | 59 | self.focus_set() |
| 60 | except TclError: |
| 61 | # This can happen when the window menu was torn off. |
| 62 | # Simply ignore it. |
| 63 | pass |