|
From: Shlomy R. <sre...@gm...> - 2012-01-17 13:02:30
|
Hi, I was wrong. This does not depend on the JVM nor on BufferTabs - it's the Look&Feel that determines the behavior of tabbed panes. If you switch to Metal Look&Feel, you won't have this problem. Shlomy On Tue, Jan 17, 2012 at 2:03 PM, Tom <to...@li...> wrote: > On 17/01/12 11:56, Shlomy Reinstein wrote: > > > >> I guess you just have an old version of BufferTabs (maybe one that goes > with your version of jEdit). Which version of BufferTabs do you have? > > Shlomy > > > > I have jEdit 4.5pre1 > > jedit -version > jEdit 4.5pre1 > > > with BufferTabs 1.2.2 > > and this is with > > java -version > java version "1.6.0_22" > OpenJDK Runtime Environment (IcedTea6 1.10.4) > (fedora-60.1.10.4.fc15-x86_64) > OpenJDK 64-Bit Server VM (build 20.0-b11, mixed mode) > > |