From 03f3baeba3e4921446846828a2974e81e766f934 Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 24 Feb 2012 17:12:38 +0000 Subject: 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. --- src/www/gfse/editor.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/www') 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)]) -- cgit v1.2.3