Menu
▾
▴
#796 status duplicated over menu bar
Every time the status changes the current status message is duplicated at the top left of the program window, which happens to be on top of the menu bar (see the attached image). These messages over the menu bar pile up, but certain actions clear them Opening a menu, like "Project" for example, clears the errant status messages from the menu button's location and rightward, but not leftward. Compiling clears these overlapping status messages entirely.
I am using drjava-weekly-20091006-r5105.jar with JDK 6.0_16 on a Samsung NC10 running Arch Linux.
A view of the bug.
We need to know a little bit more about your system to fix this bug. Please go to "Help -> About" and click on "System Properties". Then, click the "Copy System Properties" button and paste the results here in a new comment.
Thanks,
The DrJava Team
What window manager are you using? Have you tried using a different one? Have you experimented with using a different look-and-feel for DrJava (see Preferences/Display Options)?
System Properties:
DrJava Version drjava-20091006-r5105
DrJava Build Time 20091006-0514
drjava.debug.port = 38299
java.runtime.name = Java(TM) SE Runtime Environment
sun.boot.library.path = /opt/java/jre/lib/i386
java.vm.version = 14.2-b01
java.vm.vendor = Sun Microsystems Inc.
java.vendor.url = http://java.sun.com/
path.separator = :
java.vm.name = Java HotSpot(TM) Client VM
file.encoding.pkg = sun.io
sun.java.launcher = SUN_STANDARD
user.country = US
sun.os.patch.level = unknown
java.vm.specification.name = Java Virtual Machine Specification
user.dir = <anonymized user.home>
java.runtime.version = 1.6.0_16-b01
java.awt.graphicsenv = sun.awt.X11GraphicsEnvironment
java.endorsed.dirs = /opt/java/jre/lib/endorsed
os.arch = i386
java.io.tmpdir = /tmp
line.separator = "\u000a"
java.vm.specification.vendor = Sun Microsystems Inc.
os.name = Linux
sun.jnu.encoding = ISO-8859-1
java.library.path = /opt/java/jre/lib/i386/client:/opt/java/jre/lib/i386:/opt/java/jre/../lib/i386:/usr/java/packages/lib/i386:/lib:/usr/lib
java.specification.name = Java Platform API Specification
java.class.version = 50.0
sun.management.compiler = HotSpot Client Compiler
os.version = 2.6.30-ARCH
user.home = <anonymized user.home>
user.timezone = America/Los_Angeles
java.awt.printerjob = sun.print.PSPrinterJob
file.encoding = ISO-8859-1
java.specification.version = 1.6
java.class.path = /opt/drjava/drjava-weekly-20091006-r5105.jar
user.name = <anonymized user.name>
java.vm.specification.version = 1.0
java.home = /opt/java/jre
sun.arch.data.model = 32
user.language = en
java.specification.vendor = Sun Microsystems Inc.
java.vm.info = mixed mode
java.version = 1.6.0_16
java.ext.dirs = /opt/java/jre/lib/ext:/usr/java/packages/lib/ext
sun.boot.class.path = /opt/java/jre/lib/resources.jar:/opt/java/jre/lib/rt.jar:/opt/java/jre/lib/sunrsasign.jar:/opt/java/jre/lib/jsse.jar:/opt/java/jre/lib/jce.jar:/opt/java/jre/lib/charsets.jar:/opt/java/jre/classes
java.vendor = Sun Microsystems Inc.
file.separator = /
java.vendor.url.bug = http://java.sun.com/cgi-bin/bugreport.cgi
sun.io.unicode.encoding = UnicodeLittle
sun.cpu.endian = little
java.rmi.server.hostname = 127.0.0.1
sun.cpu.isalist =
#DrJava configuration file
#Wed Oct 07 10:01:37 PDT 2009
javac.location = /opt/java/lib/tools.jar
extra.classpath = <anonymized user.home>/school/csc142/lib/NsccLibrary.jar
font.main = Monospaced-11
font.line.numbers = Monospaced-11
toolbar.enabled = false
key.delete.next = [shift DELETE]
key.delete.previous = [shift BACK_SPACE]
recent.files = [<anonymized user.home>/school/csc142/lab1/CompilerErrors.java]
window.height = 576
window.x = 107
window.y = 13
last.dir = <anonymized user.home>/school/csc142/lab1
last.interactions.dir = <anonymized user.home>
tabbedpanes.state = 512 300 700 400
new.version.notification.last = 1254909829228
drjava.survey.notification.last = 1254934861868
drjava.survey.result.last = http://www.drjava.org/submit-usage.php?rev=5105&os.name=Linux&os.version=2.6.30-ARCH&java.version=1.6.0_16&java.vendor=Sun%20Microsystems%20Inc.
Used memory: about 15.53 megabytes
Free memory: about 5.66 megabytes
Total memory: about 21.19 megabytes
Total memory can expand to: about 63.56 megabytes
Number of processors/cores: 2
----------
I am using the Openbox window manager and so far I haven't tried another one, but I have changed the look-and-feel of DrJava to with no noticable effect on the problem.