[DrJava] [ drjava-Bugs-2933565 ] square brackets on osx10.6 not working

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

Bugs item #2933565, was opened at 2010-01-16 22:24
Message generated for change (Tracker Item Submitted) made by nobody
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=2933565&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: UI: MacOS X-specific
Group: 2: Annoying
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: square brackets on osx10.6 not working

Initial Comment:
hey there,
the very same bug has already been submitted by marie-luise and obviously been fixed, but the solution has not been posted in comments. so here we go again: i can't type [] in drjava (obviously it works just fine in other programs). german keyboard layout, mac os x 10.6.2
any hints about a proper solution to this?

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

drjava.debug.port = 50956
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/m2/m21+m8PJGPCzUTYb76vAek+++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
#Sat Jan 16 23:23:17 CET 2010
toolbar.icons.enabled = false
lineenum.enabled = true
look.and.feel = javax.swing.plaf.metal.MetalLookAndFeel
key.delete.next = [shift DELETE]
key.delete.previous = [shift BACK_SPACE]
quit.prompt = false
interactions.reset.prompt = false
save.before.compile = true
warn.change.laf = false
window.height = 933
window.width = 1236
window.x = 205
window.y = 35
last.dir = <anonymized user.home>/Documents/DrJava Projects/Variables.java
last.interactions.dir = <anonymized user.home>/Documents/DrJava Projects
tabbedpanes.state = 840 525 700 400
new.version.notification.last = 1263657195369
drjava.survey.notification.last = 1263680586937
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 34,80 megabytes
Free memory: about 44,58 megabytes
Total memory: about 79,38 megabytes
Total memory can expand to: about 81,44 megabytes

Number of processors/cores: 2

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

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