diff options
| author | Pushkar Joshi | 2012-04-27 10:47:42 -0700 |
|---|---|---|
| committer | Pushkar Joshi | 2012-04-27 10:47:42 -0700 |
| commit | ed7d22edf3cbca82ae43a4e3373a93a8666ba4a1 (patch) | |
| tree | c68a2437948bcb1625347c7562122b03ef66349a /imports/codemirror/lib/util/match-highlighter.js | |
| parent | 40a4d9dbc12e802e2d0a7c3acd69bc7e394d4529 (diff) | |
| download | ninja-ed7d22edf3cbca82ae43a4e3373a93a8666ba4a1.tar.gz | |
add event handlers for open, close, and switch document to pen tool, fixes:
1532 Pen: Anchor points get carried over to the new document
Diffstat (limited to 'imports/codemirror/lib/util/match-highlighter.js')
0 files changed, 0 insertions, 0 deletions