diff options
| author | hallgren <hallgren@chalmers.se> | 2012-03-22 14:33:42 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-03-22 14:33:42 +0000 |
| commit | 4673aeca7b4a89cecc3a6ca24cd4657c022cbf5a (patch) | |
| tree | 2519f382bc37542f40598856aa55222b2392da0f /src/runtime/javascript/editorGrammar.js | |
| parent | f8ea4b8046b8ddd218694609532546f68641f628 (diff) | |
minibar: word-for-word replacement fixes
Check that the reconstructed abstract syntax tree is type correct before
enabling word-for-word replacement. Show an error message if word replacement
nevertheless fails.
Diffstat (limited to 'src/runtime/javascript/editorGrammar.js')
0 files changed, 0 insertions, 0 deletions