From: Fred Drake Date: Mon, 19 Oct 1998 21:40:45 +0000 (+0000) Subject: No longer needed since we have nice, contributed navigation buttons. X-Git-Tag: v1.5.2b1~306 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=9dcc9f77643d98f0b9e5580f45daf2dbe458baac;p=python No longer needed since we have nice, contributed navigation buttons. --- diff --git a/Doc/tools/tkbuttons.py b/Doc/tools/tkbuttons.py deleted file mode 100644 index 70e5b4d6db..0000000000 --- a/Doc/tools/tkbuttons.py +++ /dev/null @@ -1,35 +0,0 @@ -#! /usr/bin/env python - -"""Script to create a window with a bunch of buttons. - -Once the window with the buttons is displayed on-screen, capture the image -and make a copy for each GIF image. Use xv or similar to crop individual -buttons & giftrans to make them transparent. xv will tell you the #value -of the background if you press button-2 over a background pixel; that should -be passed as a parameter to the -t argument of giftrans. -""" -__version__ = '$Revision$' - - -import sys -import Tkinter -Tk = Tkinter - - -def add_button(w, text): - b = Tk.Button(w, text=text, - font="-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*") - b.pack(pady=5, fill=Tk.X) - -def main(): - tk = Tk.Tk() - w = Tk.Toplevel() - w.protocol("WM_DELETE_WINDOW", tk.quit) - tk.withdraw() - for word in sys.argv[1:]: - add_button(w, word) - w.mainloop() - - -if __name__ == "__main__": - main()