Path: utzoo!attcan!uunet!husc6!bloom-beacon!earth.cray.COM!jlf
From: jlf@earth.cray.COM (John Freeman)
Newsgroups: comp.windows.x
Subject: More Text Widget Questions
Message-ID: <8812222359.AA01399@thelake.cray.com>
Date: 22 Dec 88 23:59:57 GMT
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 12

In all of these, I am using an AsciiDiskWidget to display a file.

Question 1: I would like to select a line with the mouse, 
and figure out what line number that is in the file.  How?

Question 2:  Related to number 1, given a line number in the
file, how do I display that part of the file, ie. linenumber -n 
to linenumber +n?

Question 3: How do I change the source file name?  I want to
display a different file without exiting.  I don't want to 
change (edit) the current file, I want to display a different file.