[ jEdit-devel ] [ jedit-Bugs-1030641 ] Comment lines disappear

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

Bugs item #1030641, was opened at 2004-09-19 13:23
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1030641&group_id=588

Category: text area and syntax packages
Group: severe bug
Status: Open
Resolution: None
Priority: 5
Submitted By: A. Bernard (aleaur)
Assigned to: Nobody/Anonymous (nobody)
Summary: Comment lines disappear

Initial Comment:
I'm using jEdit 4.1 I plan to move to 4.2 but I still
want to now if somebody had the same problem with 4.1
or 4.2 version of jEdit.

Here the bug :

Yesterday I opened a file with about 600 lines of PHP code.
Inside this file a block of indented commented lines
(using /* and */) was not visible.
If I unindented the block it reappeared and if I
indented again  it disappeared.

I opened several files and in all my files the
commented blocks had the same bug if they were quite
indented (about 4 indentations of 3 spaces) 

The characters were still their because when I saved
the file and reopened it all the commented lines were
in the document.

The bug didn't show up again after a close and relaunch
of jEdit.

I'm quite sure it's something about syntax hilighting
but whatever it is it's a severe bug because you can
remove code thinking you are removing blank lines.

I'm not abble to reproduce the bug today.

My config :

jEdit 4.1
java 1.4.2
Linux SuSe 8.0


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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1030641&group_id=588