diff --git a/docs/index.html b/docs/index.html index aa6ae3b..4588dcc 100644 --- a/docs/index.html +++ b/docs/index.html @@ -1,14 +1,14 @@ -PEG Playground - v0.1.5 +PEG Playground - v0.1.6
{{syntax}}
@@ -16,11 +16,16 @@
{{source}}
+
AST

+    
Optimized AST      + On:    + Filters:  +

     
diff --git a/docs/index.js b/docs/index.js index 6622316..b34b229 100644 --- a/docs/index.js +++ b/docs/index.js @@ -27,6 +27,9 @@ codeAstOptimized.setOptions({ }) codeAstOptimized.renderer.$cursorLayer.element.style.opacity=0; +$('#optimize').prop('checked', localStorage.getItem('optimize') == 'true'); +$('#filters').val(localStorage.getItem('filters')); + function generateErrorListHTML(errors) { let html = '