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 |