Comment 6 for bug 998954

Revision history for this message
Scott Howard (showard314) wrote :

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.