-
In my case, this bug is much more discretely documented here: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1764901&group_id=588
I'm happy to mark this bug as a duplicate of the one above.
2007-10-25 16:02:13 UTC in jEdit
-
Screenshot: http://www.commoner.com/lsimon/jedit-textarea.png (sorry I can't send the file)
Properties: http://www.commoner.com/lsimon/jedit.properties
Sorry I don't have more of a testcase. I'll send a file that it happens in soon.
In my case these are CSS and HTML files where I experience this, and right after Ctrl-S.
2007-08-15 20:56:55 UTC in jEdit
-
Here's a link to my properties file http://www.commoner.com/lsimon/jedit.properties.
2007-08-14 05:09:20 UTC in jEdit
-
See Bug#1633393 in the regular jEdit tracker - I have repeatedly experienced this bug only when the XML plugin is enabled. I would really love to be using the XML plugin, but weird garbled text on my screen after save (which I do way too often) is a killa. I've seen it mentioned that it is perhaps caused by Sidekick, but I do not know.
2007-07-31 20:50:42 UTC in jEdit
-
I only encounter this bug with the XML plugin enabled. If I disable it, the problem goes away. I'm seeing it currently on an ubuntu dapper and feisty system with jedit 4.3pre10 using Java 1.6.0_01.
2007-07-31 20:48:01 UTC in jEdit
-
I take that back, I just saw it again. Sorry.
2007-02-10 07:39:07 UTC in jEdit
-
That seems to indeed "fix" my problem, I see a relevant bug in the list that IS this bug, so thanks!!!
2007-02-10 00:06:33 UTC in jEdit
-
I found the option in the Mouse options. I'll let you know if I encounter the buffer corruption...
2007-02-09 21:43:42 UTC in jEdit
-
Hmm. I looked in Global Options -> Text Area and there is nothing there about Drag & Drop. Can you tell me where said conf option is to be found? Also, for note, I experienced the same buffer badness in a CSS file repeatedly yesterday, so it's not isolated to HTML mode.
2007-02-09 18:40:04 UTC in jEdit
-
See the screenshot: http://www.commoner.com/lsimon/JEditBufferCorruption.png.
2007-02-08 19:12:04 UTC in jEdit
