diff options
| author | krasimir <krasimir@chalmers.se> | 2011-03-07 21:05:29 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2011-03-07 21:05:29 +0000 |
| commit | 42ad2d5e95f1433d4878bb40d449efaedf841c6f (patch) | |
| tree | 7c0dad4b8dc97ba9c6334e26b6b00c594f375b5a /src/ui/gwt/www/editor/index.html | |
| parent | 62c85f1bb6a56ba7236497a4e6dcd8457d9bdcd4 (diff) | |
the user can now upload their own grammars in the editor
Diffstat (limited to 'src/ui/gwt/www/editor/index.html')
| -rw-r--r-- | src/ui/gwt/www/editor/index.html | 40 |
1 files changed, 4 insertions, 36 deletions
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 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> -<!-- The HTML 4.01 Transitional DOCTYPE declaration--> -<!-- above set at the top of the file will set --> -<!-- the browser's rendering engine into --> -<!-- "Quirks Mode". Replacing this declaration --> -<!-- with a "Standards Mode" doctype is supported, --> -<!-- but may lead to some differences in layout. --> - -<html> - <head> - <meta http-equiv="content-type" content="text/html; charset=UTF-8"> - <!-- --> - <!-- Any title is fine --> - <!-- --> - <title>Editor</title> - - <!-- --> - <!-- This script loads your compiled module. --> - <!-- If you add any GWT meta tags, they must --> - <!-- be added before this line. --> - <!-- --> - <script type="text/javascript" language="javascript" src="org.grammaticalframework.ui.gwt.EditorApp/org.grammaticalframework.ui.gwt.EditorApp.nocache.js"></script> - </head> - - <!-- --> - <!-- The body can have arbitrary html, or --> - <!-- you can leave the body empty if you want --> - <!-- to create a completely dynamic UI. --> - <!-- --> - <body> - - <!-- OPTIONAL: include this if you want history support --> - <iframe src="javascript:''" id="__gwt_historyFrame" tabIndex='-1' style="position:absolute;width:0;height:0;border:0"></iframe> - - </body> -</html> +<HEAD> +<META HTTP-EQUIV="REFRESH" + content="0; url=https://www.google.com/accounts/o8/ud?openid.ns=http://specs.openid.net/auth/2.0&openid.ns.max_auth_age=300&openid.claimed_id=http://specs.openid.net/auth/2.0/identifier_select&openid.identity=http://specs.openid.net/auth/2.0/identifier_select&openid.return_to=http://localhost:8080/editor/grammars.content&openid.realm=http://localhost:8080/&openid.mode=checkid_immediate&openid.ns.ax=http://openid.net/srv/ax/1.0&openid.ax.mode=fetch_request&openid.ax.type.email=http://axschema.org/contact/email&openid.ax.required=email"> +</HEAD> |