Helper script used in creating navigation buttons.
diff --git a/Doc/tools/tkbuttons.py b/Doc/tools/tkbuttons.py
new file mode 100644
index 0000000..70e5b4d
--- /dev/null
+++ b/Doc/tools/tkbuttons.py
@@ -0,0 +1,35 @@
+#! /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()