diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/gfse/editor.js | 4 | ||||
| -rw-r--r-- | src/www/gfse/example_based.js | 2 |
2 files changed, 3 insertions, 3 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); diff --git a/src/www/gfse/example_based.js b/src/www/gfse/example_based.js index bcdf110af..22fddd2de 100644 --- a/src/www/gfse/example_based.js +++ b/src/www/gfse/example_based.js @@ -59,7 +59,7 @@ function ask_possibilities(g,ci) { } var parser = { Eng: "ParseEngAbs.pgf", - Swe: "AllSweAbs.pgf" + Swe: "ParseSwe.pgf" } function exb_extra(g,ci) { |