jEdit 5.1.0 Win 7 64 Java 1.7.0_17 Text Area Display issues
Submitted by on Sunday, 2 March, 2014 - 17:06
Hi folks,
I've been using jEdit for a *very long time*. Many thanks
I'm currently having an issue which is repeatable. The text area display is not being refreshed fully as I am editing/moving around a file - typically lines of text aren't refreshed, disappear or are displayed wrong.
For example:
1. Open jEdit. The text area size is approximate 70 lines of text.
2. Select Macros -> Properties -> System Properties.
3. Properties are loaded into buffer. These run to 64 lines on my system.
3. Click on a line > 45.
4. lines of text disappear below line 45. I can still see the gutter numbers. The line I click on is sometimes displayed after a delay.
I've checked the various display property switches for the JVM (opengl, disable 3d etc) and none of these have made a difference. I find it strange that it is the text area only that seems to be affected.
Any ideas/suggestions?
Thanks, Mark
I've been using jEdit for a *very long time*. Many thanks
I'm currently having an issue which is repeatable. The text area display is not being refreshed fully as I am editing/moving around a file - typically lines of text aren't refreshed, disappear or are displayed wrong.
For example:
1. Open jEdit. The text area size is approximate 70 lines of text.
2. Select Macros -> Properties -> System Properties.
3. Properties are loaded into buffer. These run to 64 lines on my system.
3. Click on a line > 45.
4. lines of text disappear below line 45. I can still see the gutter numbers. The line I click on is sometimes displayed after a delay.
I've checked the various display property switches for the JVM (opengl, disable 3d etc) and none of these have made a difference. I find it strange that it is the text area only that seems to be affected.
Any ideas/suggestions?
Thanks, Mark
