| edu.rice.cs.drjava.config.KeyStrokeOption
| KeyStrokeOption | | public class KeyStrokeOption extends Option (Code) | | Class representing all configuration options with values of type KeyStroke. Only runs in the event thread, so no
synchronization is necessary (or advisable).
|
| Method Summary | |
| public String | format(KeyStroke k)
Parameters:
k - The instance of class KeyStroke to be formatted. | | public KeyStroke | parse(String s)
Parameters:
s - The String to be parsed, must be the string representation ofthe KeyStroke to be created. |
| KeyStrokeOption | | public KeyStrokeOption(String key, KeyStroke def)(Code) | | Standard constructor
Parameters:
key - The name of this option. |
| format | | public String format(KeyStroke k)(Code) | |
Parameters:
k - The instance of class KeyStroke to be formatted. A String representing the KeyStroke "k". |
| parse | | public KeyStroke parse(String s)(Code) | |
Parameters:
s - The String to be parsed, must be the string representation ofthe KeyStroke to be created. Uses the method KeyStroke.getKeyStroke(String s)which returns a KeyStroke if the string is correctly formatted or nullotherwise. The KeyStroke object corresponding to the input string "s". |
|
|