Hi, steps to reproduce the bug using the attached file jedit-test.txt -activate soft wrap -put the caret just befoer "UTF-8" on line 3 -select all from here to the end of the document (ctrl+shift+end) -press "delete" -here I have a painting bug
I can't reproduce this with current head code, revision 20403.
screenshot from jEdit 5.0pre1
it goes away after a window resize. Maybe it is specific to metal L&F. Screenshot attached.
probably a buggy video driver then.
Log in to post a comment.
I can't reproduce this with current head code, revision 20403.
screenshot from jEdit 5.0pre1
it goes away after a window resize. Maybe it is specific to metal L&F. Screenshot attached.
probably a buggy video driver then.