implement tab selection

Author: breandan

index.html

@@ -28,15 +28,15 @@ <h1><img style="display: inline;" src="/pluginIcon.svg" width="26">&nbsp;&nbsp;T
 
    • Nonterminal stubs are enclosed in angle brackets, &lt;F&gt;.
 
+     • Use the [Tab] key to replace nonterminal stubs.
+
    • Any symbol to the left of <span style="color: gray; ">-></span> is considered a nonterminal
      and all other symbols are considered terminals in a CFG.
 
    • <span style="color: blue; ">---</span> and <span style="color: gray; ">-></span> are reserved for the following scenarios:
      • <span style="color: blue; ">---</span> is used to separate the CFG from the test cases.
      • <span style="color: gray; ">-></span> separates the left and right sides of a production.
 
-   • The symbol ε is reserved and must not be used anywhere.
-
    • Any line in the CFG that does not contain <span style="color: gray; ">-></span> is ignored.
 
    • Tidyparse adds ε-productions, {V} <span style="color: gray; ">-></span> ε {V} <span style="color: gray; ">|</span> {V} ε, and

python.html

@@ -50,6 +50,8 @@ <h1><img style="display: inline;" src="/pluginIcon.svg" width="26">&nbsp;&nbsp;T
     • Use the ↑/↓ keys to scroll completions, then ↵ to apply.
 
     • Invalid snippets are marked with <u>a squiggly underline</u>.
+
+    • Use the [Tab] key to fill in NAME, NUMBER and STRING stubs.
     </div>
 </div>
 <div title="Minimizes total edits per repair." id="confrow1">