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
|
