I recently switched my work machine over to Ubuntu 8.04, and I'm seeing some very weird behavior with jEdit. jEdit starts up fine, and I can edit and use all functionality - but when I try put jEdit into maximized mode the buffer stays the same size as when it was minimized.
I tried with the 4.3pre15 deb binary from the site, and compiling the source manually.
I'm using Java 5 (The Sun JDK from the Package Manager). I also have the desktop effects and dual monitor set up (using EnvyNG).
I checked the activity log, and it looks like everything is normal - I didn't see any exceptions. It's a clean install, I haven't installed any plugins.
Has anyone had this issue before, or have a way to fix it?
Learn from the past. Live in the present. Plan for the future.