Commit Graph

115 Commits

Author SHA1 Message Date
Guido van Rossum 119749b7d7 Adapted to new async ManPage interface (kill, busy);
Added case sensitive searching;
Added explicit buttons for man page display and search (in addition to
<Return> and double clicking in the listbox)
1994-07-08 14:28:38 +00:00
Guido van Rossum 7d5e4217ef Rewritten somewhat again, distinguished between internal and external
methods (internal ones start with '_'), asynchronous transfers are now
killed synchronously (i.e. after t.kill(), t.busy() is false immediately).
1994-07-08 14:15:05 +00:00
Guido van Rossum 9755b26fa9 Always insert at 'end' 1994-07-08 09:17:26 +00:00
Guido van Rossum fdfa2b5136 parsefile() now calls self.update() while filling the buffer,
so you can read the top of the man page while the rest is being parsed
1994-07-08 09:14:54 +00:00
Guido van Rossum 72cb020b19 Don't use self.text -- it's self now! 1994-07-06 21:53:18 +00:00
Guido van Rossum f09b770f68 Initial revision 1994-07-06 21:17:21 +00:00
Guido van Rossum 639b8b8d9a Misc changes by Steen 1994-07-06 09:27:00 +00:00
Guido van Rossum e20864d6c2 * kill.py: Don't use the exec Tcl command. 1994-07-06 09:26:20 +00:00
Guido van Rossum 50df381f44 Initial revision 1994-06-28 13:52:31 +00:00
Guido van Rossum f713247ed7 Initial revision 1994-06-27 08:00:16 +00:00
Guido van Rossum e7571856f3 Fix initial fill color of square
.,
1994-06-20 11:36:09 +00:00
Guido van Rossum df09691e7c Adapt to new Tkinter.py 1994-06-20 09:08:51 +00:00
Guido van Rossum 8d1e439b89 Moved tk.record() to record whole commands instead of lines 1994-06-20 08:13:02 +00:00
Guido van Rossum 3c1d087b19 Adapted to new Tkinter.py. 1994-06-20 08:11:36 +00:00
Guido van Rossum 1846882254 Initial revision 1994-06-20 07:49:28 +00:00