#! /home/guido/bin.sgi/python #! /usr/local/bin/python # Tk man page browser -- currently only shows the Tcl/Tk man pages import sys import os import string import regex from Tkinter import * import addpack addpack.addpack('/ufs/guido/src/python/Demo/guido/tkinter') from ManPage import ManPage MANNDIR = '/usr/local/man/mann' MAN3DIR = '/usr/local/man/man3' MANNDIR = '/depot/sundry/man/mann' MAN3DIR = '/depot/sundry/man/man3' def listmanpages(mandir): files = os.listdir(mandir) names = [] for file in files: if file[-2:-1] == '.' and (file[-1] in 'ln123456789'): names.append(file[:-2]) names.sort() return names class SelectionBox: def __init__(self, master=None): self.choices = [] self.frame = Frame(master, { 'name': 'frame', Pack: {'expand': 1, 'fill': 'both'}}) self.master = self.frame.master self.subframe = Frame(self.frame, { 'name': 'subframe', Pack: {'expand': 0, 'fill': 'both'}}) self.leftsubframe = Frame(self.subframe, { 'name': 'leftsubframe', Pack: {'side': 'left', 'expand': 1, 'fill': 'both'}}) self.rightsubframe = Frame(self.subframe, { 'name': 'rightsubframe', Pack: {'side': 'right', 'expand': 1, 'fill': 'both'}}) self.chaptervar = StringVar(master) self.chapter = Menubutton(self.rightsubframe, {'name': 'chapter', 'text': 'Directory', 'relief': 'raised', 'bd': 2, Pack: {'side': 'top'}}) self.chaptermenu = Menu(self.chapter, {'name': 'chaptermenu'}) self.chaptermenu.add_radiobutton({'label': 'C functions', 'value': MAN3DIR, 'variable': self.chaptervar, 'command': self.newchapter}) self.chaptermenu.add_radiobutton({'label': 'Tcl/Tk functions', 'value': MANNDIR, 'variable': self.chaptervar, 'command': self.newchapter}) self.chapter['menu'] = self.chaptermenu self.listbox = Listbox(self.rightsubframe, {'name': 'listbox', 'relief': 'sunken', 'bd': 2, 'width': 20, 'height': 5, Pack: {'expand': 1, 'fill': 'both'}}) self.l1 = Button(self.leftsubframe, {'name': 'l1', 'text': 'Display manual page named:', 'command': self.entry_cb, Pack: {'side': 'top'}}) self.entry = Entry(self.leftsubframe, {'name': 'entry', 'relief': 'sunken', 'bd': 2, 'width': 20, Pack: {'side': 'top', 'expand': 0, 'fill': 'x'}}) self.l2frame = Frame(self.leftsubframe, {'name': 'l2frame', Pack: {'expand': 0, 'fill': 'none'}}) self.l2 = Button(self.l2frame, {'name': 'l2', 'text': 'Search regexp:', 'command': self.search_cb, Pack: {'side': 'left'}}) self.casesense = Checkbutton(self.l2frame, {'name': 'casesense', 'text': 'Case sensitive', 'variable': 'casesense', 'relief': 'flat', Pack: {'side': 'left'}}) self.search = Entry(self.leftsubframe, {'name': 'search', 'relief': 'sunken', 'bd': 2, 'width': 20, Pack: {'side': 'top', 'expand': 0, 'fill': 'x'}}) self.title = Label(self.leftsubframe, {'name': 'title', 'text': '(none)', Pack: {'side': 'bottom'}}) self.text = ManPage(self.frame, {'name': 'text', 'relief': 'sunken', 'bd': 2, 'wrap': 'none', 'width': 72, 'selectbackground': 'pink', Pack: {'expand': 1, 'fill': 'both'}}) self.entry.bind('', self.entry_cb) self.search.bind('', self.search_cb) self.listbox.bind('', self.listbox_cb) self.entry.bind('', self.entry_tab) self.search.bind('', self.search_tab) self.text.bind('', self.text_tab) self.entry.focus_set() self.chaptervar.set(MANNDIR) self.newchapter() def newchapter(self): mandir = self.chaptervar.get() self.choices = [] self.addlist(listmanpages(mandir)) 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 entry_cb(self, *e): self.update() def listbox_cb(self, e): selection = self.listbox.curselection() if selection and len(selection) == 1: name = self.listbox.get(selection[0]) self.show_page(name) def search_cb(self, *e): self.search_string(self.search.get()) def entry_tab(self, e): self.search.focus_set() def search_tab(self, e): self.entry.focus_set() def text_tab(self, e): self.entry.focus_set() def updatelist(self): key = self.entry.get() ok = filter(lambda name, key=key, n=len(key): name[:n]==key, self.choices) if not ok: self.frame.bell() 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 n = self.listbox.size() if n == 1: return self.listbox.get(0) # Else return None, meaning not a unique selection def update(self): name = self.updatelist() if name: self.show_page(name) self.entry.delete(0, AtEnd()) self.updatelist() def show_page(self, name): file = '%s/%s.?' % (self.chaptervar.get(), name) fp = os.popen('nroff -man %s | ul -i' % file, 'r') self.text.kill() self.title['text'] = name self.text.parsefile(fp) def search_string(self, search): if not search: self.frame.bell() print 'Empty search string' return if self.frame.tk.getvar('casesense') != '1': map = regex.casefold else: map = None try: if map: prog = regex.compile(search, map) else: prog = regex.compile(search) except regex.error, msg: self.frame.bell() 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 found = 0 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: found = 1 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 if not found: self.frame.bell() def main(): root = Tk() sb = SelectionBox(root) if sys.argv[1:]: sb.show_page(sys.argv[1]) root.minsize(1, 1) root.mainloop() main()