From 02e128d493b9e2e38a95ed8d29a08443f834a239 Mon Sep 17 00:00:00 2001 From: hallgren Date: Tue, 9 Oct 2012 13:44:34 +0000 Subject: [PATCH] gfse: show the grammar list if the currently selected grammar can not be loaded Avoid showing a blank page if there is an unexpected problem with the grammars in localStorage. --- src/www/gfse/editor.js | 12 +++++++++--- 1 file 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) {