class SelectionBox:
def __init__(self, master=None):
self.choices = []
self.frame = Frame(master, name="frame")
self.frame.pack(expand=1, fill=BOTH)
self.master = self.frame.master
self.subframe = Frame(self.frame, name="subframe")
self.subframe.pack(expand=0, fill=BOTH)
self.leftsubframe = Frame(self.subframe, name='leftsubframe')
self.leftsubframe.pack(side=LEFT, expand=1, fill=BOTH)
self.rightsubframe = Frame(self.subframe, name='rightsubframe')
self.rightsubframe.pack(side=RIGHT, expand=1, fill=BOTH)
self.chaptervar = StringVar(master)
self.chapter = Menubutton(self.rightsubframe,
name='chapter',
text='Directory',
relief=RAISED,
borderwidth=2)
self.chapter.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,
borderwidth=2,
width=20,
height=5)
self.listbox.pack(expand=1, fill=BOTH)
self.l1 = Button(self.leftsubframe,
name='l1',
text='Display manual page named:',
command=self.entry_cb)
self.l1.pack(side=TOP)
self.entry = Entry(self.leftsubframe,
name='entry',
relief=SUNKEN,
borderwidth=2,
width=20)
self.entry.pack(expand=0, fill=X)
self.l2frame = Frame(self.leftsubframe, name='l2frame')
self.l2frame.pack(expand=0, fill=NONE)
self.l2 = Button(self.l2frame,
name='l2',
text='Search regexp:',
command=self.search_cb)
self.l2.pack(side=LEFT)
self.casevar = BooleanVar()
self.casesense = Checkbutton(self.l2frame,
name='casesense',
text='Case sensitive',
variable=self.casevar,
relief=FLAT)
self.casesense.pack(side=LEFT)
self.search = Entry(self.leftsubframe,
name='search',
relief=SUNKEN,
borderwidth=2,
width=20)
self.search.pack(expand=0, fill=X)
self.title = Label(self.leftsubframe, name='title', text='(none)')
self.title.pack(side=BOTTOM)
self.text = ManPage(self.frame,
name='text',
relief=SUNKEN,
borderwidth=2,
wrap=NONE,
width=72,
selectbackground='pink')
self.text.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 not self.casevar.get():
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 __init__(self, master=None):
self.choices = []
self.frame = Frame(master, name="frame")
self.frame.pack(expand=1, fill=BOTH)
self.master = self.frame.master
self.subframe = Frame(self.frame, name="subframe")
self.subframe.pack(expand=0, fill=BOTH)
self.leftsubframe = Frame(self.subframe, name='leftsubframe')
self.leftsubframe.pack(side=LEFT, expand=1, fill=BOTH)
self.rightsubframe = Frame(self.subframe, name='rightsubframe')
self.rightsubframe.pack(side=RIGHT, expand=1, fill=BOTH)
self.chaptervar = StringVar(master)
self.chapter = Menubutton(self.rightsubframe,
name='chapter',
text='Directory',
relief=RAISED,
borderwidth=2)
self.chapter.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,
borderwidth=2,
width=20,
height=5)
self.listbox.pack(expand=1, fill=BOTH)
self.l1 = Button(self.leftsubframe,
name='l1',
text='Display manual page named:',
command=self.entry_cb)
self.l1.pack(side=TOP)
self.entry = Entry(self.leftsubframe,
name='entry',
relief=SUNKEN,
borderwidth=2,
width=20)
self.entry.pack(expand=0, fill=X)
self.l2frame = Frame(self.leftsubframe, name='l2frame')
self.l2frame.pack(expand=0, fill=NONE)
self.l2 = Button(self.l2frame,
name='l2',
text='Search regexp:',
command=self.search_cb)
self.l2.pack(side=LEFT)
self.casevar = BooleanVar()
self.casesense = Checkbutton(self.l2frame,
name='casesense',
text='Case sensitive',
variable=self.casevar,
relief=FLAT)
self.casesense.pack(side=LEFT)
self.search = Entry(self.leftsubframe,
name='search',
relief=SUNKEN,
borderwidth=2,
width=20)
self.search.pack(expand=0, fill=X)
self.title = Label(self.leftsubframe, name='title', text='(none)')
self.title.pack(side=BOTTOM)
self.text = ManPage(self.frame,
name='text',
relief=SUNKEN,
borderwidth=2,
wrap=NONE,
width=72,
selectbackground='pink')
self.text.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 __init__(self, master=None):
self.choices = []
self.frame = Frame(master, name="frame")
self.frame.pack(expand=1, fill=BOTH)
self.master = self.frame.master
self.subframe = Frame(self.frame, name="subframe")
self.subframe.pack(expand=0, fill=BOTH)
self.leftsubframe = Frame(self.subframe, name='leftsubframe')
self.leftsubframe.pack(side=LEFT, expand=1, fill=BOTH)
self.rightsubframe = Frame(self.subframe, name='rightsubframe')
self.rightsubframe.pack(side=RIGHT, expand=1, fill=BOTH)
self.chaptervar = StringVar(master)
self.chapter = Menubutton(self.rightsubframe, name='chapter',
text='Directory', relief=RAISED,
borderwidth=2)
self.chapter.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, borderwidth=2,
width=20, height=5)
self.listbox.pack(expand=1, fill=BOTH)
self.l1 = Button(self.leftsubframe, name='l1',
text='Display manual page named:',
command=self.entry_cb)
self.l1.pack(side=TOP)
self.entry = Entry(self.leftsubframe, name='entry',
relief=SUNKEN, borderwidth=2,
width=20)
self.entry.pack(expand=0, fill=X)
self.l2frame = Frame(self.leftsubframe, name='l2frame')
self.l2frame.pack(expand=0, fill=NONE)
self.l2 = Button(self.l2frame, name='l2',
text='Search regexp:',
command=self.search_cb)
self.l2.pack(side=LEFT)
self.casevar = BooleanVar()
self.casesense = Checkbutton(self.l2frame, name='casesense',
text='Case sensitive',
variable=self.casevar,
relief=FLAT)
self.casesense.pack(side=LEFT)
self.search = Entry(self.leftsubframe, name='search',
relief=SUNKEN, borderwidth=2,
width=20)
self.search.pack(expand=0, fill=X)
self.title = Label(self.leftsubframe, name='title',
text='(none)')
self.title.pack(side=BOTTOM)
self.text = ManPage(self.frame, name='text',
relief=SUNKEN, borderwidth=2,
wrap=NONE, width=72,
selectbackground='pink')
self.text.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()
class SelectionBox:
def __init__(self, master=None):
self.choices = []
self.frame = Frame(master, name="frame")
self.frame.pack(expand=1, fill=BOTH)
self.master = self.frame.master
self.subframe = Frame(self.frame, name="subframe")
self.subframe.pack(expand=0, fill=BOTH)
self.leftsubframe = Frame(self.subframe, name='leftsubframe')
self.leftsubframe.pack(side=LEFT, expand=1, fill=BOTH)
self.rightsubframe = Frame(self.subframe, name='rightsubframe')
self.rightsubframe.pack(side=RIGHT, expand=1, fill=BOTH)
self.chaptervar = StringVar(master)
self.chapter = Menubutton(self.rightsubframe, name='chapter',
text='Directory', relief=RAISED,
borderwidth=2)
self.chapter.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, borderwidth=2,
width=20, height=5)
self.listbox.pack(expand=1, fill=BOTH)
self.l1 = Button(self.leftsubframe, name='l1',
text='Display manual page named:',
command=self.entry_cb)
self.l1.pack(side=TOP)
self.entry = Entry(self.leftsubframe, name='entry',
relief=SUNKEN, borderwidth=2,
width=20)
self.entry.pack(expand=0, fill=X)
self.l2frame = Frame(self.leftsubframe, name='l2frame')
self.l2frame.pack(expand=0, fill=NONE)
self.l2 = Button(self.l2frame, name='l2',
text='Search regexp:',
command=self.search_cb)
self.l2.pack(side=LEFT)
self.casevar = BooleanVar()
self.casesense = Checkbutton(self.l2frame, name='casesense',
text='Case sensitive',
variable=self.casevar,
relief=FLAT)
self.casesense.pack(side=LEFT)
self.search = Entry(self.leftsubframe, name='search',
relief=SUNKEN, borderwidth=2,
width=20)
self.search.pack(expand=0, fill=X)
self.title = Label(self.leftsubframe, name='title',
text='(none)')
self.title.pack(side=BOTTOM)
self.text = ManPage(self.frame, name='text',
relief=SUNKEN, borderwidth=2,
wrap=NONE, width=72,
selectbackground='pink')
self.text.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 not self.casevar.get():
map = re.IGNORECASE
else:
map = None
try:
if map:
prog = re.compile(search, map)
else:
prog = re.compile(search)
except re.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 __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,
'geometry': '20x5',
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,
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()
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,
'geometry': '20x5',
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,
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)
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)
# 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:
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:
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
#! /usr/bin/env python