Initial revision
diff --git a/Demo/tkinter/guido/tkman.py b/Demo/tkinter/guido/tkman.py
new file mode 100755
index 0000000..c6610f8
--- /dev/null
+++ b/Demo/tkinter/guido/tkman.py
@@ -0,0 +1,183 @@
+#! /ufs/guido/bin/sgi/tkpython
+
+# Tk man page browser -- currently only shows the Tcl/Tk man pages
+
+import sys
+import os
+import string
+import regex
+from Tkinter import *
+from ManPage import ManPage
+
+MANDIR = '/usr/local/man/mann'
+
+def listmanpages(mandir = MANDIR):
+ files = os.listdir(mandir)
+ names = []
+ for file in files:
+ if file[-2:] == '.n':
+ names.append(file[:-2])
+ names.sort()
+ return names
+
+class SelectionBox:
+
+ def __init__(self, master=None):
+ self.choices = []
+
+ self.frame = Frame(master, {
+ Pack: {'expand': 1, 'fill': 'both'}})
+ self.master = self.frame.master
+ self.subframe = Frame(self.frame, {
+ Pack: {'expand': 0, 'fill': 'both'}})
+ self.listbox = Listbox(self.subframe,
+ {'relief': 'sunken', 'bd': 2,
+ 'geometry': '20x6',
+ Pack: {'side': 'right',
+ 'expand': 1, 'fill': 'both'}})
+ self.subsubframe = Frame(self.subframe, {
+ Pack: {'side': 'left', 'expand': 1, 'fill': 'both'}})
+ self.l1 = Label(self.subsubframe,
+ {'text': 'Display manual page named:',
+ Pack: {'side': 'top'}})
+ self.entry = Entry(self.subsubframe,
+ {'relief': 'sunken', 'bd': 2,
+ 'width': 20,
+ Pack: {'side': 'top',
+ 'expand': 0, 'fill': 'x'}})
+ self.l2 = Label(self.subsubframe,
+ {'text': 'Search (regexp, case insensitive):',
+ Pack: {'side': 'top'}})
+ self.search = Entry(self.subsubframe,
+ {'relief': 'sunken', 'bd': 2,
+ 'width': 20,
+ Pack: {'side': 'top',
+ 'expand': 0, 'fill': 'x'}})
+ self.title = Label(self.subsubframe,
+ {'text': '(none)',
+ Pack: {'side': 'bottom'}})
+ self.text = ManPage(self.frame,
+ {'relief': 'sunken', 'bd': 2,
+ 'wrap': 'none', 'width': 72,
+ Pack: {'expand': 1, 'fill': 'both'}})
+
+ self.entry.bind('<Return>', self.entry_cb)
+ self.search.bind('<Return>', self.search_cb)
+ self.listbox.bind('<Double-1>', self.listbox_cb)
+
+ self.entry.focus_set()
+
+ self.showing = None
+
+ def addchoice(self, choice):
+ if choice not in self.choices:
+ self.choices.append(choice)
+ self.choices.sort()
+ self.update()
+
+ def addlist(self, list):
+ self.choices[len(self.choices):] = list
+ self.choices.sort()
+ self.update()
+
+ def updatelist(self):
+ key = self.entry.get()
+ ok = filter(lambda name, key=key, n=len(key): name[:n]==key,
+ self.choices)
+ self.listbox.delete(0, AtEnd())
+ exactmatch = 0
+ for item in ok:
+ if item == key: exactmatch = 1
+ self.listbox.insert(AtEnd(), item)
+ if exactmatch:
+ return key
+ elif self.listbox.size() == 1:
+ return self.listbox.get(0)
+
+ def entry_cb(self, e):
+ self.update()
+
+ def update(self):
+ self.show_page(self.updatelist())
+
+ def show_page(self, name):
+ if not name:
+ return
+ if name == self.showing:
+ print 'show_page: already showing'
+ return
+ name = '%s/%s.n' % (MANDIR, name)
+ fp = os.popen('nroff -man %s | ul -i' % name, 'r')
+ self.text.delete('1.0', AtEnd())
+ frame_cursor = self.frame['cursor']
+ entry_cursor = self.entry['cursor']
+ self.entry['cursor'] = 'watch'
+ self.search['cursor'] = 'watch'
+ self.frame['cursor'] = 'watch'
+ self.text.parsefile(fp)
+ self.search['cursor'] = entry_cursor
+ self.entry['cursor'] = entry_cursor
+ self.frame['cursor'] = frame_cursor
+ self.entry.delete(0, AtEnd())
+ self.updatelist()
+
+ def listbox_cb(self, e):
+ selection = self.listbox.curselection()
+ if selection and len(selection) == 1:
+ which = self.listbox.get(selection[0])
+ self.show_page(which)
+
+ def search_cb(self, e):
+ self.search_string(self.search.get())
+
+ def search_string(self, search):
+ if not search:
+ print 'Empty search string'
+ return
+ try:
+ prog = regex.compile(search, regex.casefold)
+ except regex.error, msg:
+ print 'Regex error:', msg
+ return
+ here = self.text.index(AtInsert())
+ lineno = string.atoi(here[:string.find(here, '.')])
+ end = self.text.index(AtEnd())
+ endlineno = string.atoi(end[:string.find(end, '.')])
+ wraplineno = lineno
+ while 1:
+ lineno = lineno + 1
+ if lineno > endlineno:
+ if wraplineno <= 0:
+ break
+ endlineno = wraplineno
+ lineno = 0
+ wraplineno = 0
+ line = self.text.get('%d.0 linestart' % lineno,
+ '%d.0 lineend' % lineno)
+ i = prog.search(line)
+ if i >= 0:
+ n = max(1, len(prog.group(0)))
+ try:
+ self.text.tag_remove('sel',
+ AtSelFirst(),
+ AtSelLast())
+ except TclError:
+ pass
+ self.text.tag_add('sel',
+ '%d.%d' % (lineno, i),
+ '%d.%d' % (lineno, i+n))
+ self.text.mark_set(AtInsert(),
+ '%d.%d' % (lineno, i))
+ self.text.yview_pickplace(AtInsert())
+ break
+
+def main():
+ root = Tk()
+ sb = SelectionBox(root)
+ sb.addlist(listmanpages())
+ if sys.argv[1:]:
+ sb.show_page(sys.argv[1])
+ root.minsize(1, 1)
+ root.mainloop()
+
+main()