diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index 4edc7f193..6e7d78cd5 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -1440,9 +1440,13 @@ function dir_bugfix() { } if(editor) { - initial_view(); - touch_edit(); - dir_bugfix(); + if(supports_html5_storage()) { + initial_view(); + touch_edit(); + dir_bugfix(); + } + else + editor.innerHTML="

This browser does not appear to support localStorage, and the grammar editor does not work without it. Sorry!" } //console.log("hi") diff --git a/src/www/gfse/localstorage.js b/src/www/gfse/localstorage.js index 696a432fb..162b1db3b 100644 --- a/src/www/gfse/localstorage.js +++ b/src/www/gfse/localstorage.js @@ -2,6 +2,14 @@ // Grammars are stored locally in the browser using localStorage. // See http://diveintohtml5.info/storage.html +function supports_html5_storage() { + try { + return 'localStorage' in window && window['localStorage'] !== null; + } catch (e) { + return false; + } +} + var local={ prefix:"gf.editor.simple.grammar", get: function (name,def) {