// 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) {
	var id=this.prefix+name
	return localStorage[id] ? JSON.parse(localStorage[id]) : def;
    },
    put: function (name,value) {
	var id=this.prefix+name;
	localStorage[id]=JSON.stringify(value);
    },
    remove: function(name) {
	var id=this.prefix+name;
	localStorage.removeItem(id);
    },
    get count() { return this.get("count",0); },
    set count(v) { this.put("count",v); }
}