Demo/tkinter/guido/tkman.py

   1 #! /usr/local/bin/python
   2
   3 # Tk man page browser -- currently only shows the Tcl/Tk man pages
   4
   5 import sys
   6 import os
   7 import string
   8 import regex
   9 from Tkinter import *
  10
  11 import addpack
  12 addpack.addpack('/ufs/guido/src/python/Demo/guido/tkinter')
  13 from ManPage import ManPage
  14
  15 MANNDIR = '/usr/local/man/mann'
  16 MAN3DIR = '/usr/local/man/man3'
  17
  18 def listmanpages(mandir):
  19         files = os.listdir(mandir)
  20         names = []
  21         for file in files:
  22                 if file[-2:-1] == '.' and  (file[-1] in 'ln123456789'):
  23                         names.append(file[:-2])
  24         names.sort()
  25         return names
  26
  27 class SelectionBox:
  28
  29         def __init__(self, master=None):
  30                 self.choices = []
  31
  32                 self.frame = Frame(master, {
  33                         'name': 'frame',
  34                         Pack: {'expand': 1, 'fill': 'both'}})
  35                 self.master = self.frame.master
  36                 self.subframe = Frame(self.frame, {
  37                         'name': 'subframe',
  38                         Pack: {'expand': 0, 'fill': 'both'}})
  39                 self.leftsubframe = Frame(self.subframe, {
  40                         'name': 'leftsubframe',
  41                         Pack: {'side': 'left', 'expand': 1, 'fill': 'both'}})
  42                 self.rightsubframe = Frame(self.subframe, {
  43                         'name': 'rightsubframe',
  44                         Pack: {'side': 'right', 'expand': 1, 'fill': 'both'}})
  45                 self.chaptervar = StringVar(master)
  46                 self.chapter = Menubutton(self.rightsubframe,
  47                                           {'name': 'chapter',
  48                                            'text': 'Directory',
  49                                            'relief': 'raised', 'bd': 2,
  50                                            Pack: {'side': 'top'}})
  51                 self.chaptermenu = Menu(self.chapter, {'name': 'chaptermenu'})
  52                 self.chaptermenu.add_radiobutton({'label': 'C functions',
  53                                                   'value': MAN3DIR,
  54                                                   'variable': self.chaptervar,
  55                                                   'command': self.newchapter})
  56                 self.chaptermenu.add_radiobutton({'label': 'Tcl/Tk functions',
  57                                                   'value': MANNDIR,
  58                                                   'variable': self.chaptervar,
  59                                                   'command': self.newchapter})
  60                 self.chapter['menu'] = self.chaptermenu
  61                 self.listbox = Listbox(self.rightsubframe,
  62                                        {'name': 'listbox',
  63                                         'relief': 'sunken', 'bd': 2,
  64                                         'geometry': '20x5',
  65                                         Pack: {'expand': 1, 'fill': 'both'}})
  66                 self.l1 = Button(self.leftsubframe,
  67                                 {'name': 'l1',
  68                                  'text': 'Display manual page named:',
  69                                  'command': self.entry_cb,
  70                                  Pack: {'side': 'top'}})
  71                 self.entry = Entry(self.leftsubframe,
  72                                    {'name': 'entry',
  73                                     'relief': 'sunken', 'bd': 2,
  74                                     'width': 20,
  75                                     Pack: {'side': 'top',
  76                                            'expand': 0, 'fill': 'x'}})
  77                 self.l2frame = Frame(self.leftsubframe,
  78                                      {'name': 'l2frame',
  79                                       Pack: {'expand': 0, 'fill': 'none'}})
  80                 self.l2 = Button(self.l2frame,
  81                                 {'name': 'l2',
  82                                  'text': 'Search regexp:',
  83                                  'command': self.search_cb,
  84                                  Pack: {'side': 'left'}})
  85                 self.casesense = Checkbutton(self.l2frame,
  86                                              {'name': 'casesense',
  87                                               'text': 'Case sensitive',
  88                                               'variable': 'casesense',
  89                                               'relief': 'flat',
  90                                               Pack: {'side': 'left'}})
  91                 self.search = Entry(self.leftsubframe,
  92                                    {'name': 'search',
  93                                     'relief': 'sunken', 'bd': 2,
  94                                     'width': 20,
  95                                     Pack: {'side': 'top',
  96                                            'expand': 0, 'fill': 'x'}})
  97                 self.title = Label(self.leftsubframe,
  98                                    {'name': 'title',
  99                                     'text': '(none)',
 100                                     Pack: {'side': 'bottom'}})
 101                 self.text = ManPage(self.frame,
 102                                          {'name': 'text',
 103                                           'relief': 'sunken', 'bd': 2,
 104                                           'wrap': 'none', 'width': 72,
 105                                           Pack: {'expand': 1, 'fill': 'both'}})
 106
 107                 self.entry.bind('<Return>', self.entry_cb)
 108                 self.search.bind('<Return>', self.search_cb)
 109                 self.listbox.bind('<Double-1>', self.listbox_cb)
 110
 111                 self.entry.bind('<Tab>', self.entry_tab)
 112                 self.search.bind('<Tab>', self.search_tab)
 113                 self.text.bind('<Tab>', self.text_tab)
 114
 115                 self.entry.focus_set()
 116
 117                 self.chaptervar.set(MANNDIR)
 118                 self.newchapter()
 119
 120         def newchapter(self):
 121                 mandir = self.chaptervar.get()
 122                 self.choices = []
 123                 self.addlist(listmanpages(mandir))
 124
 125         def addchoice(self, choice):
 126                 if choice not in self.choices:
 127                         self.choices.append(choice)
 128                         self.choices.sort()
 129                 self.update()
 130
 131         def addlist(self, list):
 132                 self.choices[len(self.choices):] = list
 133                 self.choices.sort()
 134                 self.update()
 135
 136         def entry_cb(self, *e):
 137                 self.update()
 138
 139         def listbox_cb(self, e):
 140                 selection = self.listbox.curselection()
 141                 if selection and len(selection) == 1:
 142                         name = self.listbox.get(selection[0])
 143                         self.show_page(name)
 144
 145         def search_cb(self, *e):
 146                 self.search_string(self.search.get())
 147
 148         def entry_tab(self, e):
 149                 self.search.focus_set()
 150
 151         def search_tab(self, e):
 152                 self.entry.focus_set()
 153
 154         def text_tab(self, e):
 155                 self.entry.focus_set()
 156
 157         def updatelist(self):
 158                 key = self.entry.get()
 159                 ok = filter(lambda name, key=key, n=len(key): name[:n]==key,
 160                          self.choices)
 161                 self.listbox.delete(0, AtEnd())
 162                 exactmatch = 0
 163                 for item in ok:
 164                         if item == key: exactmatch = 1
 165                         self.listbox.insert(AtEnd(), item)
 166                 if exactmatch:
 167                         return key
 168                 elif self.listbox.size() == 1:
 169                         return self.listbox.get(0)
 170                 # Else return None, meaning not a unique selection
 171
 172         def update(self):
 173                 name = self.updatelist()
 174                 if name:
 175                         self.show_page(name)
 176                         self.entry.delete(0, AtEnd())
 177                         self.updatelist()
 178
 179         def show_page(self, name):
 180                 file = '%s/%s.?' % (self.chaptervar.get(), name)
 181                 fp = os.popen('nroff -man %s | ul -i' % file, 'r')
 182                 self.text.kill()
 183                 self.title['text'] = name
 184                 self.text.parsefile(fp)
 185
 186         def search_string(self, search):
 187                 if not search:
 188                         print 'Empty search string'
 189                         return
 190                 if self.frame.tk.getvar('casesense') != '1':
 191                         map = regex.casefold
 192                 else:
 193                         map = None
 194                 try:
 195                         if map:
 196                                 prog = regex.compile(search, map)
 197                         else:
 198                                 prog = regex.compile(search)
 199                 except regex.error, msg:
 200                         print 'Regex error:', msg
 201                         return
 202                 here = self.text.index(AtInsert())
 203                 lineno = string.atoi(here[:string.find(here, '.')])
 204                 end = self.text.index(AtEnd())
 205                 endlineno = string.atoi(end[:string.find(end, '.')])
 206                 wraplineno = lineno
 207                 while 1:
 208                         lineno = lineno + 1
 209                         if lineno > endlineno:
 210                                 if wraplineno <= 0:
 211                                         break
 212                                 endlineno = wraplineno
 213                                 lineno = 0
 214                                 wraplineno = 0
 215                         line = self.text.get('%d.0 linestart' % lineno,
 216                                              '%d.0 lineend' % lineno)
 217                         i = prog.search(line)
 218                         if i >= 0:
 219                                 n = max(1, len(prog.group(0)))
 220                                 try:
 221                                         self.text.tag_remove('sel',
 222                                                              AtSelFirst(),
 223                                                              AtSelLast())
 224                                 except TclError:
 225                                         pass
 226                                 self.text.tag_add('sel',
 227                                                   '%d.%d' % (lineno, i),
 228                                                   '%d.%d' % (lineno, i+n))
 229                                 self.text.mark_set(AtInsert(),
 230                                                    '%d.%d' % (lineno, i))
 231                                 self.text.yview_pickplace(AtInsert())
 232                                 break
 233
 234 def main():
 235         root = Tk()
 236         sb = SelectionBox(root)
 237         if sys.argv[1:]:
 238                 sb.show_page(sys.argv[1])
 239         root.minsize(1, 1)
 240         root.mainloop()
 241
 242 main()