[DrJava] [ drjava-Bugs-2925280 ] Cannot type brackets (2)

[SourceForge.net <no...@so...>]

Bugs item #2925280, was opened at 2010-01-03 18:32
Message generated for change (Tracker Item Submitted) made by marieluise
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=2925280&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Marie-Luise Herrmann (marieluise)
Assigned to: Nobody/Anonymous (nobody)
Summary: Cannot type brackets (2)

Initial Comment:
UUps, I don't know what happened. I cannot see my and your comments anymore. So I opened a new one - excuse me.

Here are the
System Properties:
DrJava Version drjava-20090821-r5004
DrJava Build Time 20090821-1520

drjava.debug.port = 55925
java.runtime.name = Java(TM) SE Runtime Environment
sun.boot.library.path = /System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Libraries
java.vm.version = 14.3-b01-101
awt.nativeDoubleBuffering = true
gopherProxySet = false
mrj.build = 10M3025
java.vm.vendor = Apple Inc.
java.vendor.url = http://www.apple.com/
path.separator = :
java.vm.name = Java HotSpot(TM) 64-Bit Server VM
file.encoding.pkg = sun.io
user.country = DE
sun.os.patch.level = unknown
java.vm.specification.name = Java Virtual Machine Specification
user.dir = <anonymized user.dir>
java.runtime.version = 1.6.0_17-b04-248-10M3025
java.awt.graphicsenv = apple.awt.CGraphicsEnvironment
java.endorsed.dirs = /System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Home/lib/endorsed
os.arch = x86_64
edu.rice.cs.drjava.icon = <anonymized user.dir>/DrJava.app/Contents/Resources/DrJava.icns
apple.awt.graphics.UseOpenGL = false
java.io.tmpdir = /var/folders/1j/1j6k44yX2RWrbU+8ZLeWBU+++TI/-Tmp-/
line.separator = "\u000a"
java.vm.specification.vendor = Sun Microsystems Inc.
os.name = Mac OS X
apple.laf.useScreenMenuBar = true
sun.jnu.encoding = MacRoman
java.library.path = <anonymized user.dir>/DrJava.app/Contents/Resources/Java:/System/Library/PrivateFrameworks/JavaApplicationLauncher.framework/Resources:.:/Library/Java/Extensions:/System/Library/Java/Extensions:/usr/lib/java
java.specification.name = Java Platform API Specification
java.class.version = 50.0
sun.management.compiler = HotSpot 64-Bit Server Compiler
os.version = 10.6.2
http.nonProxyHosts = local|*.local|169.254/16|*.169.254/16
user.home = <anonymized user.home>
user.timezone = Europe/Berlin
java.awt.printerjob = apple.awt.CPrinterJob
file.encoding = MacRoman
java.specification.version = 1.6
java.class.path = <anonymized user.dir>/DrJava.app/Contents/Resources/Java/drjava.jar
user.name = <anonymized user.name>
apple.awt.graphics.UseQuartz = false
java.vm.specification.version = 1.0
java.home = /System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Home
sun.arch.data.model = 64
user.language = de
java.specification.vendor = Sun Microsystems Inc.
awt.toolkit = apple.awt.CToolkit
java.vm.info = mixed mode
java.version = 1.6.0_17
java.ext.dirs = /Library/Java/Extensions:/System/Library/Java/Extensions:/System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Home/lib/ext
sun.boot.class.path = /System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Classes/jsfd.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Classes/classes.jar:/System/Library/Frameworks/JavaVM.framework/Frameworks/JavaRuntimeSupport.framework/Resources/Java/JavaRuntimeSupport.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Classes/ui.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Classes/laf.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Classes/sunrsasign.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Classes/jsse.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Classes/jce.jar:/System/Library/Frameworks/JavaVM.framework/Versions/1.6.0/Classes/charsets.jar:/System/Library/PrivateFrameworks/JavaApplicationLauncher.framework/Resources/LauncherSupport.jar
java.vendor = Apple Inc.
file.separator = /
java.vendor.url.bug = http://bugreport.apple.com/
sun.io.unicode.encoding = UnicodeLittle
sun.cpu.endian = little
java.rmi.server.hostname = 127.0.0.1
mrj.version = 1060.1.6.0_17-248
socksNonProxyHosts = local|*.local|169.254/16|*.169.254/16
ftp.nonProxyHosts = local|*.local|169.254/16|*.169.254/16
sun.awt.exception.handler = apple.awt.CToolkit$EventQueueExceptionHandler
sun.cpu.isalist = 

#DrJava configuration file
#Sun Jan 03 18:27:19 CET 2010
browser.file = /Applications/Safari.app
font.main = Courier New-12
lineenum.enabled = true
key.delete.next = [shift DELETE]
key.delete.previous = [shift BACK_SPACE]
indent.level = 4
recent.files = [<anonymized user.home>/Documents/drjava/testfile.java]
window.x = 240
window.y = 162
last.dir = <anonymized user.home>/Documents/drjava
last.interactions.dir = <anonymized user.home>/Documents/drjava
tabbedpanes.state = 840 525 700 400
new.version.notification.last = 1262517264848
drjava.survey.notification.last = 1262539611484
drjava.survey.result.last = http://www.drjava.org/submit-usage.php?rev=5004&os.name=Mac%20OS%20X&os.version=10.6.2&java.version=1.6.0_17&java.vendor=Apple%20Inc.


Used memory: about 22,14 megabytes
Free memory: about 57,24 megabytes
Total memory: about 79,38 megabytes
Total memory can expand to: about 81,44 megabytes

Number of processors/cores: 16


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=2925280&group_id=44253