diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/gfse/editor.js | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index 81901a3bd..9d3c0d753 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -199,9 +199,15 @@ function clone_grammar(i) { function open_grammar(i) { var g=get_grammar(i); - g.index=i; - local.put("current",i+1); - edit_grammar(g); + if(g) { + g.index=i; + local.put("current",i+1); + edit_grammar(g); + } + else { + alert("Something went wrong: grammar at index "+i+" is not usable.") + draw_grammar_list() + } } function open_public(file) { |