diff options
Diffstat (limited to 'Tools/webchecker')
| -rw-r--r-- | Tools/webchecker/tktools.py | 367 |
1 files changed, 367 insertions, 0 deletions
diff --git a/Tools/webchecker/tktools.py b/Tools/webchecker/tktools.py new file mode 100644 index 0000000..6734530 --- /dev/null +++ b/Tools/webchecker/tktools.py @@ -0,0 +1,367 @@ +"""Assorted Tk-related subroutines used in Grail.""" + + +import string +from types import * +from Tkinter import * + +def _clear_entry_widget(event): + try: + widget = event.widget + widget.delete(0, INSERT) + except: pass +def install_keybindings(root): + root.bind_class('Entry', '<Control-u>', _clear_entry_widget) + + +def make_toplevel(master, title=None, class_=None): + """Create a Toplevel widget. + + This is a shortcut for a Toplevel() instantiation plus calls to + set the title and icon name of the widget. + + """ + + if class_: + widget = Toplevel(master, class_=class_) + else: + widget = Toplevel(master) + if title: + widget.title(title) + widget.iconname(title) + return widget + +def set_transient(widget, master, relx=0.5, rely=0.3, expose=1): + """Make an existing toplevel widget transient for a master. + + The widget must exist but should not yet have been placed; in + other words, this should be called after creating all the + subwidget but before letting the user interact. + """ + + widget.withdraw() # Remain invisible while we figure out the geometry + widget.transient(master) + widget.update_idletasks() # Actualize geometry information + if master.winfo_ismapped(): + m_width = master.winfo_width() + m_height = master.winfo_height() + m_x = master.winfo_rootx() + m_y = master.winfo_rooty() + else: + m_width = master.winfo_screenwidth() + m_height = master.winfo_screenheight() + m_x = m_y = 0 + w_width = widget.winfo_reqwidth() + w_height = widget.winfo_reqheight() + x = m_x + (m_width - w_width) * relx + y = m_y + (m_height - w_height) * rely + widget.geometry("+%d+%d" % (x, y)) + if expose: + widget.deiconify() # Become visible at the desired location + return widget + + +def make_scrollbars(parent, hbar, vbar, pack=1, class_=None, name=None, + takefocus=0): + + """Subroutine to create a frame with scrollbars. + + This is used by make_text_box and similar routines. + + Note: the caller is responsible for setting the x/y scroll command + properties (e.g. by calling set_scroll_commands()). + + Return a tuple containing the hbar, the vbar, and the frame, where + hbar and vbar are None if not requested. + + """ + if class_: + if name: frame = Frame(parent, class_=class_, name=name) + else: frame = Frame(parent, class_=class_) + else: + if name: frame = Frame(parent, name=name) + else: frame = Frame(parent) + + if pack: + frame.pack(fill=BOTH, expand=1) + + corner = None + if vbar: + if not hbar: + vbar = Scrollbar(frame, takefocus=takefocus) + vbar.pack(fill=Y, side=RIGHT) + else: + vbarframe = Frame(frame, borderwidth=0) + vbarframe.pack(fill=Y, side=RIGHT) + vbar = Scrollbar(frame, name="vbar", takefocus=takefocus) + vbar.pack(in_=vbarframe, expand=1, fill=Y, side=TOP) + sbwidth = vbar.winfo_reqwidth() + corner = Frame(vbarframe, width=sbwidth, height=sbwidth) + corner.propagate(0) + corner.pack(side=BOTTOM) + else: + vbar = None + + if hbar: + hbar = Scrollbar(frame, orient=HORIZONTAL, name="hbar", + takefocus=takefocus) + hbar.pack(fill=X, side=BOTTOM) + else: + hbar = None + + return hbar, vbar, frame + + +def set_scroll_commands(widget, hbar, vbar): + + """Link a scrollable widget to its scroll bars. + + The scroll bars may be empty. + + """ + + if vbar: + widget['yscrollcommand'] = (vbar, 'set') + vbar['command'] = (widget, 'yview') + + if hbar: + widget['xscrollcommand'] = (hbar, 'set') + hbar['command'] = (widget, 'xview') + + widget.vbar = vbar + widget.hbar = hbar + + +def make_text_box(parent, width=0, height=0, hbar=0, vbar=1, + fill=BOTH, expand=1, wrap=WORD, pack=1, + class_=None, name=None, takefocus=None): + + """Subroutine to create a text box. + + Create: + - a both-ways filling and expanding frame, containing: + - a text widget on the left, and + - possibly a vertical scroll bar on the right. + - possibly a horizonta; scroll bar at the bottom. + + Return the text widget and the frame widget. + + """ + hbar, vbar, frame = make_scrollbars(parent, hbar, vbar, pack, + class_=class_, name=name, + takefocus=takefocus) + + widget = Text(frame, wrap=wrap, name="text") + if width: widget.config(width=width) + if height: widget.config(height=height) + widget.pack(expand=expand, fill=fill, side=LEFT) + + set_scroll_commands(widget, hbar, vbar) + + return widget, frame + + +def make_list_box(parent, width=0, height=0, hbar=0, vbar=1, + fill=BOTH, expand=1, pack=1, class_=None, name=None, + takefocus=None): + + """Subroutine to create a list box. + + Like make_text_box(). + """ + hbar, vbar, frame = make_scrollbars(parent, hbar, vbar, pack, + class_=class_, name=name, + takefocus=takefocus) + + widget = Listbox(frame, name="listbox") + if width: widget.config(width=width) + if height: widget.config(height=height) + widget.pack(expand=expand, fill=fill, side=LEFT) + + set_scroll_commands(widget, hbar, vbar) + + return widget, frame + + +def make_canvas(parent, width=0, height=0, hbar=1, vbar=1, + fill=BOTH, expand=1, pack=1, class_=None, name=None, + takefocus=None): + + """Subroutine to create a canvas. + + Like make_text_box(). + + """ + + hbar, vbar, frame = make_scrollbars(parent, hbar, vbar, pack, + class_=class_, name=name, + takefocus=takefocus) + + widget = Canvas(frame, scrollregion=(0, 0, width, height), name="canvas") + if width: widget.config(width=width) + if height: widget.config(height=height) + widget.pack(expand=expand, fill=fill, side=LEFT) + + set_scroll_commands(widget, hbar, vbar) + + return widget, frame + + + +def make_form_entry(parent, label, borderwidth=None): + + """Subroutine to create a form entry. + + Create: + - a horizontally filling and expanding frame, containing: + - a label on the left, and + - a text entry on the right. + + Return the entry widget and the frame widget. + + """ + + frame = Frame(parent) + frame.pack(fill=X) + + label = Label(frame, text=label) + label.pack(side=LEFT) + + if borderwidth is None: + entry = Entry(frame, relief=SUNKEN) + else: + entry = Entry(frame, relief=SUNKEN, borderwidth=borderwidth) + entry.pack(side=LEFT, fill=X, expand=1) + + return entry, frame + +# This is a slightly modified version of the function above. This +# version does the proper alighnment of labels with their fields. It +# should probably eventually replace make_form_entry altogether. +# +# The one annoying bug is that the text entry field should be +# expandable while still aligning the colons. This doesn't work yet. +# +def make_labeled_form_entry(parent, label, entrywidth=20, entryheight=1, + labelwidth=0, borderwidth=None, + takefocus=None): + """Subroutine to create a form entry. + + Create: + - a horizontally filling and expanding frame, containing: + - a label on the left, and + - a text entry on the right. + + Return the entry widget and the frame widget. + """ + if label and label[-1] != ':': label = label + ':' + + frame = Frame(parent) + + label = Label(frame, text=label, width=labelwidth, anchor=E) + label.pack(side=LEFT) + if entryheight == 1: + if borderwidth is None: + entry = Entry(frame, relief=SUNKEN, width=entrywidth) + else: + entry = Entry(frame, relief=SUNKEN, width=entrywidth, + borderwidth=borderwidth) + entry.pack(side=RIGHT, expand=1, fill=X) + frame.pack(fill=X) + else: + entry = make_text_box(frame, entrywidth, entryheight, 1, 1, + takefocus=takefocus) + frame.pack(fill=BOTH, expand=1) + + return entry, frame, label + + +def make_double_frame(master=None, class_=None, name=None, relief=RAISED, + borderwidth=1): + """Create a pair of frames suitable for 'hosting' a dialog.""" + if name: + if class_: frame = Frame(master, class_=class_, name=name) + else: frame = Frame(master, name=name) + else: + if class_: frame = Frame(master, class_=class_) + else: frame = Frame(master) + top = Frame(frame, name="topframe", relief=relief, + borderwidth=borderwidth) + bottom = Frame(frame, name="bottomframe") + bottom.pack(fill=X, padx='1m', pady='1m', side=BOTTOM) + top.pack(expand=1, fill=BOTH, padx='1m', pady='1m') + frame.pack(expand=1, fill=BOTH) + top = Frame(top) + top.pack(expand=1, fill=BOTH, padx='2m', pady='2m') + + return frame, top, bottom + + +def make_group_frame(master, name=None, label=None, fill=Y, + side=None, expand=None, font=None): + """Create nested frames with a border and optional label. + + The outer frame is only used to provide the decorative border, to + control packing, and to host the label. The inner frame is packed + to fill the outer frame and should be used as the parent of all + sub-widgets. Only the inner frame is returned. + + """ + font = font or "-*-helvetica-medium-r-normal-*-*-100-*-*-*-*-*-*" + outer = Frame(master, borderwidth=2, relief=GROOVE) + outer.pack(expand=expand, fill=fill, side=side) + if label: + Label(outer, text=label, font=font, anchor=W).pack(fill=X) + inner = Frame(master, borderwidth='1m', name=name) + inner.pack(expand=1, fill=BOTH, in_=outer) + inner.forget = outer.forget + return inner + + +def unify_button_widths(*buttons): + """Make buttons passed in all have the same width. + + Works for labels and other widgets with the 'text' option. + + """ + wid = 0 + for btn in buttons: + wid = max(wid, len(btn["text"])) + for btn in buttons: + btn["width"] = wid + + +def flatten(msg): + """Turn a list or tuple into a single string -- recursively.""" + t = type(msg) + if t in (ListType, TupleType): + msg = string.join(map(flatten, msg)) + elif t is ClassType: + msg = msg.__name__ + else: + msg = str(msg) + return msg + + +def boolean(s): + """Test whether a string is a Tk boolean, without error checking.""" + if string.lower(s) in ('', '0', 'no', 'off', 'false'): return 0 + else: return 1 + + +def test(): + """Test make_text_box(), make_form_entry(), flatten(), boolean().""" + import sys + root = Tk() + entry, eframe = make_form_entry(root, 'Boolean:') + text, tframe = make_text_box(root) + def enter(event, entry=entry, text=text): + s = boolean(entry.get()) and '\nyes' or '\nno' + text.insert('end', s) + entry.bind('<Return>', enter) + entry.insert(END, flatten(sys.argv)) + root.mainloop() + + +if __name__ == '__main__': + test() |