Add menu to change directories -- also generalize acceptable names from *.n

into *.[ln123456789]
This commit is contained in:
Guido van Rossum 1994-07-11 13:15:05 +00:00
parent 0f650f4107
commit 36ea0e760e

View file

@ -9,13 +9,14 @@ import regex
from Tkinter import *
from ManPage import ManPage
MANDIR = '/usr/local/man/mann'
MANNDIR = '/usr/local/man/mann'
MAN3DIR = '/usr/local/man/man3'
def listmanpages(mandir = MANDIR):
def listmanpages(mandir):
files = os.listdir(mandir)
names = []
for file in files:
if file[-2:] == '.n':
if file[-2:-1] == '.' and (file[-1] in 'ln123456789'):
names.append(file[:-2])
names.sort()
return names
@ -30,23 +31,39 @@ class SelectionBox:
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, {
self.leftsubframe = Frame(self.subframe, {
Pack: {'side': 'left', 'expand': 1, 'fill': 'both'}})
self.l1 = Button(self.subsubframe,
self.rightsubframe = Frame(self.subframe, {
Pack: {'side': 'right', 'expand': 1, 'fill': 'both'}})
self.chaptervar = StringVar(master)
self.chapter = Menubutton(self.rightsubframe,
{'text': 'Directory',
'relief': 'raised', 'bd': 2,
Pack: {'side': 'top'}})
self.chaptermenu = Menu(self.chapter)
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,
{'relief': 'sunken', 'bd': 2,
'geometry': '20x5',
Pack: {'expand': 1, 'fill': 'both'}})
self.l1 = Button(self.leftsubframe,
{'text': 'Display manual page named:',
'command': self.entry_cb,
Pack: {'side': 'top'}})
self.entry = Entry(self.subsubframe,
self.entry = Entry(self.leftsubframe,
{'relief': 'sunken', 'bd': 2,
'width': 20,
Pack: {'side': 'top',
'expand': 0, 'fill': 'x'}})
self.l2frame = Frame(self.subsubframe, {
self.l2frame = Frame(self.leftsubframe, {
Pack: {'expand': 0, 'fill': 'none'}})
self.l2 = Button(self.l2frame,
{'text': 'Search regexp:',
@ -57,12 +74,12 @@ class SelectionBox:
'variable': 'casesense',
'relief': 'flat',
Pack: {'side': 'left'}})
self.search = Entry(self.subsubframe,
self.search = Entry(self.leftsubframe,
{'relief': 'sunken', 'bd': 2,
'width': 20,
Pack: {'side': 'top',
'expand': 0, 'fill': 'x'}})
self.title = Label(self.subsubframe,
self.title = Label(self.leftsubframe,
{'text': '(none)',
Pack: {'side': 'bottom'}})
self.text = ManPage(self.frame,
@ -80,6 +97,14 @@ class SelectionBox:
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)
@ -135,7 +160,7 @@ class SelectionBox:
self.updatelist()
def show_page(self, name):
file = '%s/%s.n' % (MANDIR, 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
@ -192,7 +217,6 @@ class SelectionBox:
def main():
root = Tk()
sb = SelectionBox(root)
sb.addlist(listmanpages())
if sys.argv[1:]:
sb.show_page(sys.argv[1])
root.minsize(1, 1)