mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-08 10:42:50 -06:00
5e915fe766
The minibar is now displayed inside the editor, intead of on a separate page. This makes the context clearer and makes it more obiovous how to return to the editor.
55 lines
2.1 KiB
HTML
55 lines
2.1 KiB
HTML
<!DOCTYPE html>
|
||
<html> <!-- manifest="gfse.manifest" -->
|
||
<head>
|
||
<title>GF online editor for simple multilingual grammars</title>
|
||
<meta charset="UTF-8">
|
||
<link rel="stylesheet" type="text/css" href="editor.css" title="Cloud">
|
||
<link rel="stylesheet" type="text/css" href="../minibar/minibar.css">
|
||
<link rel="alternate stylesheet" type="text/css" href="molto.css" title="MOLTO">
|
||
|
||
<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">
|
||
|
||
</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>
|
||
<div id=compiler_output class=compiler_output></div>
|
||
|
||
<noscript>
|
||
This page does not work without JavaScript.
|
||
</noscript>
|
||
|
||
<hr>
|
||
<div class=modtime><small>
|
||
HTML
|
||
<!-- hhmts start --> Last modified: Mon Feb 13 18:05:45 CET 2012 <!-- hhmts end -->
|
||
</small></div>
|
||
<a href="about.html">About</a>
|
||
<pre id=debug></pre>
|
||
<script type="text/javascript" src="config.js"></script> <!-- optional -->
|
||
<script type="text/javascript" src="../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="example_based.js"></script>
|
||
<script type="text/javascript" src="editor.js"></script>
|
||
<script type="text/javascript" src="cloud2.js"></script>
|
||
<script type="text/javascript" src="sort.js"></script>
|
||
<script type="text/JavaScript" src="../minibar/minibar.js"></script>
|
||
<script type="text/JavaScript" src="../minibar/minibar_input.js"></script>
|
||
<script type="text/JavaScript" src="../minibar/minibar_translations.js"></script>
|
||
<script type="text/JavaScript" src="../minibar/minibar_support.js"></script>
|
||
<script type="text/JavaScript" src="../minibar/pgf_online.js"></script>
|
||
</body>
|
||
</html>
|