[DrJava] [ drjava-Bugs-1468601 ] Line numbers not correctly flowing with document

[SourceForge.net <no...@so...>]

Bugs item #1468601, was opened at 2006-04-11 10:02
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1468601&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Definitions (source editor)
Group: 2: Annoying
Status: Open
Resolution: None
Priority: 9
Submitted By: Dan Smith (dlsmith)
Assigned to: Nobody/Anonymous (nobody)
Summary: Line numbers not correctly flowing with document

Initial Comment:
To reproduce:
1) Create a new document.  There are no line numbers.
2) Type a character.  Still no line numbers.
3) Type a semicolon (to prevent automatic spaces being added on the 
next line).
4) Type a newline.  Line 1 is now labeled.
5) Use "backspace" to erase all text.  Line 1 remains labeled.
6) Repeat steps 1-4.  This time, erase the document's contents by 
selecting it and then hitting "backspace."  The line 1 label disappears.

Personally, I find the empty space where line numbers used to be (in small 
documents) disconcerting.  I liked it better before.  I think the "ruler bar" 
in word processors is a good analogy -- even if your document is smaller 
than the window, the ruler extends across the window.  

If we are going to do dynamically-numbered documents, though, the 
numbers need to be correct.  I believe we're trying to maintain the 
invariant that all selectable lines, with the exception of the last, empty 
line in a document, should be numbered.  That exception is incorrect, 
because most text-processing tools will treat that empty line as a 
separate line.  For example, this code, when compiled by javac, will 
produce an error on line 3 (newlines have been made explicit):

1  class Foo44 {<newline>
2  ;<newline>



----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1468601&group_id=44253