From: <no...@so...> - 2002-09-02 10:01:50
|
Bugs item #603414, was opened at 2002-09-02 03:01 You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438935&aid=603414&group_id=44253 Category: Other Group: Serious Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Can't start stable (?) DrJava in Win2k Initial Comment: "drjava-stable-20020814.jar" do not start "drjava-beta-20020619-0308.jar" always worked in same configuration It seems something related to keystroke to action association in configuration routines: it doesn't recognize keystrokes identified by strings like "ctrl maiusc S" Logs follow bye, Stefano *********************************************** C:\temp> ver Microsoft Windows 2000 [Versione 5.00.2195] (NB: w2k Italian version) ************************************************ C:\temp>java -version java version "1.4.0_01" Java(TM) 2 Runtime Environment, Standard Edition (build 1.4.0_01-b03) Java HotSpot(TM) Client VM (build 1.4.0_01-b03, mixed mode) ************************************************ C:\temp>java -jar drjava-stable-20020814.jar Exception in thread "main" java.lang.ExceptionInInitializerError at edu.rice.cs.drjava.config.SavableConfiguration.loadConfiguration(Sava bleConfiguration.java:71) at edu.rice.cs.drjava.config.FileConfiguration.loadConfiguration(FileCon figuration.java:66) at edu.rice.cs.drjava.config.DefaultFileConfig.evaluate(ConfigurationToo l.java:81) at edu.rice.cs.drjava.config.ConfigurationTool.<clinit>(ConfigurationToo l.java:64) at edu.rice.cs.drjava.DrJava.<clinit>(DrJava.java:64) Caused by: Could not parse configuration option. Option: key.save.file.as Given value: "ctrl maiusc S" Must be a valid string representation of a Keystroke. at edu.rice.cs.drjava.config.KeyStrokeOption.parse(KeyStrokeOption.java: 114) at edu.rice.cs.drjava.config.KeyStrokeOption.parse(KeyStrokeOption.java: 52) at edu.rice.cs.drjava.config.OptionParser.setString(OptionParser.java:10 4) at edu.rice.cs.drjava.config.KeyStrokeOption.setString(KeyStrokeOption.j ava:52) at edu.rice.cs.drjava.config.DefaultOptionMap.setString(DefaultOptionMap .java:68) at edu.rice.cs.drjava.config.OptionMapLoader.<clinit>(OptionMapLoader.ja va:75) ... 5 more ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438935&aid=603414&group_id=44253 |