Skip to content

Commit c17a8a9

Browse files
authored
lower LED sup
1 parent 0249223 commit c17a8a9

File tree

4 files changed

+2001
-2704
lines changed

4 files changed

+2001
-2704
lines changed

index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -59,7 +59,7 @@ <h1><img style="display: inline;" src="/pluginIcon.svg" width="26">&nbsp;&nbsp;T
5959
<input type="checkbox" id="minimize-checkbox">
6060
</div>
6161
<div id="confrow2">
62-
<label>Max edit distance: <a href="https://en.wikipedia.org/wiki/Edit_distance#Language_edit_distance">LED</a> + <input id="max-edits" type="number" value="1" min="1" max="3" step="1" style="margin-right: 0.4em"></label><div style="margin-right: 4.43em"></div>
62+
<label>Max edit distance: <a href="https://en.wikipedia.org/wiki/Edit_distance#Language_edit_distance">LED</a> + <input id="max-edits" type="number" value="1" min="0" max="3" step="1" style="margin-right: 0.4em"></label><div style="margin-right: 4.43em"></div>
6363
<label for="ntstubs-checkbox">Nonterminal stubs&nbsp;</label>
6464
<input type="checkbox" id="ntstubs-checkbox" checked>
6565
</div>

python.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -60,7 +60,7 @@ <h1><img style="display: inline;" src="/pluginIcon.svg" width="26">&nbsp;&nbsp;T
6060
<input type="checkbox" id="minimize-checkbox" checked>
6161
</div>
6262
<div title="Adds nonterminal stubs to CFG." id="confrow2">
63-
<label>Max edit distance: <a href="https://en.wikipedia.org/wiki/Edit_distance#Language_edit_distance">LED</a> + <input id="max-edits" type="number" value="1" min="1" max="3" step="1" style="margin-right: 12.2em"></label><div style="margin-right: 4.43em"></div>
63+
<label>Max edit distance: <a href="https://en.wikipedia.org/wiki/Edit_distance#Language_edit_distance">LED</a> + <input id="max-edits" type="number" value="1" min="0" max="3" step="1" style="margin-right: 12.2em"></label><div style="margin-right: 4.43em"></div>
6464
<!-- <label for="ntstubs-checkbox">Nonterminal stubs&nbsp;</label>-->
6565
<!-- <input type="checkbox" id="ntstubs-checkbox" checked>-->
6666
</div>

tidyparse-web.js

Lines changed: 1998 additions & 2701 deletions
Large diffs are not rendered by default.

tidyparse-web.js.map

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)