summaryrefslogtreecommitdiff
path: root/src/editor/simple/index.html
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2011-02-17 14:38:46 +0000
committerhallgren <hallgren@chalmers.se>2011-02-17 14:38:46 +0000
commitcc2f9d012cc965e03034c6276e7bb9461066f561 (patch)
treebdf2cc8b9529cedaaf478587bdeb5ea9ec4da159 /src/editor/simple/index.html
parentc6825f38dfee0ea966f65901876e3704f4f7253c (diff)
Adding the prototype GF editor for simple multilingual grammars
Diffstat (limited to 'src/editor/simple/index.html')
-rw-r--r--src/editor/simple/index.html42
1 files changed, 42 insertions, 0 deletions
diff --git a/src/editor/simple/index.html b/src/editor/simple/index.html
new file mode 100644
index 000000000..ef3843379
--- /dev/null
+++ b/src/editor/simple/index.html
@@ -0,0 +1,42 @@
+<!DOCTYPE HTML>
+<html manifest="gfse.manifest">
+<head>
+<title>GF online editor for simple multilingual grammars</title>
+<link rel=stylesheet href="editor.css">
+
+<link rel=author href="http://www.cse.chalmers.se/~hallgren/" title="Thomas Hallgren">
+
+<meta name = "viewport" content = "width = device-width">
+<meta http-equiv="Content-type" content="text/html;charset=UTF-8">
+<meta charset="UTF-8">
+
+</head>
+
+<body class=hover>
+
+<h2>GF online editor for simple multilingual grammars</h2>
+<div id=editor>
+</div>
+<small class="hidden">
+<span class=more>+</span>=Add an item,
+<span class=delete>×</span>=Delete item,
+<span class=edit>%</span>=Edit item.
+</small>
+<small class="ifhover">Hover over items for hints and editing options.</small>
+
+<noscript>
+This page does not work without JavaScript.
+</noscript>
+
+<hr>
+<div class=modtime><small>
+HTML
+<!-- hhmts start --> Last modified: Wed Feb 16 15:10:52 CET 2011 <!-- hhmts end -->
+</small></div>
+<a href="about.html">About</a>
+<script type="text/javascript" src="../../runtime/javascript/minibar/support.js"></script>
+<script type="text/javascript" src="localstorage.js"></script>
+<script type="text/javascript" src="gf_abs.js"></script>
+<script type="text/javascript" src="editor.js"></script>
+</body>
+</html>