25 Feb
2003
25 Feb
'03
8:49 p.m.
On Tuesday, Feb 25, 2003, at 15:32 US/Eastern, Just van Rossum wrote:
Line *numbers* will be shown, the lines themselves won't.
Oh, never mind. That's perfectly fine -- as long as the information is there, a cmd-l ### <cr> sequence is a small cost until one of us takes the time to figure out how to display the actual line from a zip... ... or maybe the answer is to look on the path and see if there is a corresponding source file somewhere? Obviously, this just went beyond python 2.3 discussion. b.bum