diff options
| author | Nivesh Rajbhandari | 2012-05-24 11:11:47 -0700 |
|---|---|---|
| committer | Nivesh Rajbhandari | 2012-05-24 11:11:47 -0700 |
| commit | 209ec9524a987a8f8bc20c57e2a76ac55be15fd9 (patch) | |
| tree | 80e5bf306dc5e24c3c502181354a37a2383bdd08 /imports/codemirror/lib/util/javascript-hint.js | |
| parent | bf8a79b0ed1593b5b9e3085373dcdab9aeab055e (diff) | |
| download | ninja-209ec9524a987a8f8bc20c57e2a76ac55be15fd9.tar.gz | |
Fixed selection bug when switching/opening documents. Also, use saved scroll values when switching between documents.
Signed-off-by: Nivesh Rajbhandari <mqg734@motorola.com>
Diffstat (limited to 'imports/codemirror/lib/util/javascript-hint.js')
0 files changed, 0 insertions, 0 deletions