diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-24 17:12:38 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-24 17:12:38 +0000 |
| commit | 03f3baeba3e4921446846828a2974e81e766f934 (patch) | |
| tree | be14419a0a3d2e27f6a2f707ed57d603f065397e /src/www | |
| parent | 92aa961205b84d89184a954b1050d4bc31f2f568 (diff) | |
gfse: text mode editing: accept grammars with printname judgements
But printname judgements are ignored for now.
Also fixed an UTF-8 encoding bug when parsing uploaded grammars in gf -server
mode.
Diffstat (limited to 'src/www')
| -rw-r--r-- | src/www/gfse/editor.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index 64b44e36c..72999ce72 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -536,7 +536,7 @@ function text_mode(g,file,ix) { var mode_button=div_class("right",[button("Guided mode",switch_to_guided_mode)]) clear(file) appendChildren(file,[mode_button,ta]) - ta.style.height=ta.scrollHeight+"px"; + //ta.style.height=ta.scrollHeight+"px"; ta.focus(); } var mode_button=div_class("right",[button("Text mode",switch_to_text_mode)]) |