diff options
| author | Pushkar Joshi | 2012-05-22 13:21:32 -0700 |
|---|---|---|
| committer | Pushkar Joshi | 2012-05-22 13:21:32 -0700 |
| commit | f4df8204a57e1bc6021b651ebb2259f9931cf26f (patch) | |
| tree | 629352d8c01214a0fa1a08be1f4a4961aa64aa32 /imports/codemirror/mode/sparql/sparql.js | |
| parent | 11cfa9ef2871002b600f1c18f4e06e55a826163c (diff) | |
| download | ninja-f4df8204a57e1bc6021b651ebb2259f9931cf26f.tar.gz | |
allow changes in the pen subtool in options to be seen by the pen tool code (can now select the pen plus, pen minus subtools) AND
add keyboard shortcut for brush tool
Diffstat (limited to 'imports/codemirror/mode/sparql/sparql.js')
0 files changed, 0 insertions, 0 deletions