Hello all, This appears to be a bug in Ubuntu's JRE. It appears that it is getting "menu" and "menu bar" mixed up.
This is affecting numerous java apps in Ubuntu (see bug #932274, which this is a duplicate of). Also see http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7169111 where it was reported.
The Arduino developer's list is discussing how to handle this, either a workaround by switching to another theme or seeing if it is fixed in future light-themes or OpenJDK packages.
Hello all,
This appears to be a bug in Ubuntu's JRE. It appears that it is getting "menu" and "menu bar" mixed up.
This is affecting numerous java apps in Ubuntu (see bug #932274, which this is a duplicate of). Also see http:// bugs.sun. com/bugdatabase /view_bug. do?bug_ id=7169111 where it was reported.
The Arduino developer's list is discussing how to handle this, either a workaround by switching to another theme or seeing if it is fixed in future light-themes or OpenJDK packages.