jEdit has some strange issue on my xfce 4.10 - when the garbage collector runs, some
of the views disappear from the toolbar where the minimised windows reside. However
they're still accessible through ctrl+tab and when brought to focus, their minimise
button is gone, while the maximise and close buttons are still there.
jEdit versions: 5.0pre1, 5.1.0
Platform: Xubuntu 12.10
Java: java version "1.6.0_27"
OpenJDK Runtime Environment (IcedTea6 1.12.6) (6b27-1.12.6-1ubuntu0.12.10.2)
OpenJDK Client VM (build 20.0-b12, mixed mode, sharing)
Steps to reproduce: Open several views and run the GC, some of the views will disappear from the panel
|Submitted||mlntdrv - 2013-08-30 - 12:13:30z||Assigned||nobody|