mirror of
https://github.com/python/cpython.git
synced 2025-10-30 21:21:22 +00:00
255 lines
6.6 KiB
Python
Executable file
255 lines
6.6 KiB
Python
Executable file
#! /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('<Return>', self.entry_cb)
|
|
self.search.bind('<Return>', self.search_cb)
|
|
self.listbox.bind('<Double-1>', self.listbox_cb)
|
|
|
|
self.entry.bind('<Tab>', self.entry_tab)
|
|
self.search.bind('<Tab>', self.search_tab)
|
|
self.text.bind('<Tab>', 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()
|