RE: [ jEdit-users ] RecentFileList Plugin

[Jamie L. <ja...@ea...>]

howdy,
i have been experiencing a bug that occurs when i start jEdit in the
background (w/o GUI), then start it up later with the gui. the scroll bars
dont seem to be "attached" to the textarea until i resize jEdit. in other
words, the scrolling has no effect until i resize. not a huge bug, but
rather annoying.

WINNT4, jEdit 2.5pre4, jdk1.3
thanx.
____________________________
///o-o\\\