On Sat, Oct 18, 2008 at 1:57 AM, Eric Berry <email@example.com
> Hey all,
> 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
> 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
> 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.