#796 status duplicated over menu bar

3: Ugly
open
nobody
5
2009-10-07
2009-10-07
Michael
No

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.

Discussion

  • Michael

    Michael - 2009-10-07

    A view of the bug.

     
  • Mathias Ricken

    Mathias Ricken - 2009-10-07

    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

     
  • Mathias Ricken

    Mathias Ricken - 2009-10-07

    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)?

     
  • Michael

    Michael - 2009-10-07

    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.

     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks