From 42ad2d5e95f1433d4878bb40d449efaedf841c6f Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 7 Mar 2011 21:05:29 +0000 Subject: the user can now upload their own grammars in the editor --- src/ui/gwt/www/editor/index.html | 40 ++++------------------------------------ 1 file changed, 4 insertions(+), 36 deletions(-) (limited to 'src/ui/gwt/www/editor/index.html') diff --git a/src/ui/gwt/www/editor/index.html b/src/ui/gwt/www/editor/index.html index 114a88ccb..1af492b4a 100644 --- a/src/ui/gwt/www/editor/index.html +++ b/src/ui/gwt/www/editor/index.html @@ -1,36 +1,4 @@ - - - - - - - - - - - - - - - Editor - - - - - - - - - - - - - - - - - - - - - + + + -- cgit v1.2.3