diff options
| author | hallgren <hallgren@chalmers.se> | 2013-11-14 12:54:25 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-11-14 12:54:25 +0000 |
| commit | 982befac20880be9e047eb10b815a905dc08e191 (patch) | |
| tree | 0cdc33bc5d9b1cf4054ce3f670f5e07d2352a7f8 /src/www/gfse/editor.js | |
| parent | 198f5272556d406cb252ecc0728dcdc273dd44ab (diff) | |
gfse: re-enable example-based grammar construction
Diffstat (limited to 'src/www/gfse/editor.js')
| -rw-r--r-- | src/www/gfse/editor.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index ada8585ef..e4a8f007c 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -1104,8 +1104,8 @@ function draw_concrete(g,i) { indent([kw_lincat,draw_lincats(g,i)]), indent([kw_lin,draw_lins(g,i)]), indent([extensible([kw_param,draw_params(g,i)])]), - indent([extensible([kw_oper,draw_opers(g,i)])])/*, - exb_extra(g,i)*/ + indent([extensible([kw_oper,draw_opers(g,i)])]), + exb_extra(g,i) ]) if(navigator.onLine) { var mode_button=text_mode(g,file,i+1); |