Re: [ jEdit-users ] RecentFileList Plugin

[Slava P. <sp...@gj...>]

Jamie LaScolea wrote:
> 
> 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.

Does this occur if buffer tabs is disabled? Buffer tabs might be the
curplit here, because of the slightly strange manner in which it adds
and removes the text area (adding and removing causes the text area's
size to be recalculated, which might be causing the scroll bar problem).

Slava