summaryrefslogtreecommitdiff
path: root/interface.php
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2016-03-10 15:49:41 +0100
committerPatrick Simianer <p@simianer.de>2016-03-10 15:49:41 +0100
commit5d3f588582ff0bd27df34139e4fae4517c177ba7 (patch)
treef2073f81e500b0540f13c2d0a9df57ed0793c309 /interface.php
parentee35a6ec4c43906173446207d4ec441b9eaa461a (diff)
improved help, hid meta stuff, fix db
Diffstat (limited to 'interface.php')
-rw-r--r--interface.php28
1 files changed, 18 insertions, 10 deletions
diff --git a/interface.php b/interface.php
index 3dcffa9..8df7fd0 100644
--- a/interface.php
+++ b/interface.php
@@ -8,15 +8,18 @@
<script src="js/raphael-min.js" type="text/javascript" charset="utf-8"></script>
<script src="js/derivation_editor/raphael.inline_text_editing.js" type="text/javascript" charset="utf-8"></script>
<script src="js/derivation_editor/derivation-editor.js" type="text/javascript" charset="utf-8"></script>
+ <script src="js/jquery.scrollTo.min.js" type="text/javascript" charset="utf-8"></script>
</head>
<body>
+<?php include("inc/db.inc.php"); ?>
+
<?php include("inc/header.inc.php"); ?>
<!-- Derivation editor -->
<div id="derivation_editor">
- <div id="holder"><img id="placeholder" src="static/placeholder.png" /></div>
+ <div id="holder" style="width:100px; overflow-x:scroll"></div>
</div>
<!-- /Derivation editor-->
@@ -47,6 +50,7 @@ Note that the source word may be distorted.
<!-- Buttons -->
<div>
+ <button id="help_button" class="button" onclick="$('#help').toggle('blind')">Help</button>
<button id="pause_button" class='button' type="button" onclick="pause()">Pause</button>
<button id="reset_button" class='button' type="button" onclick="DE_init()">Reset</button>
<button id="next" type="button" class='button' onclick="next();">Start/Continue</button>
@@ -54,6 +58,19 @@ Note that the source word may be distorted.
</div>
<!-- /Buttons -->
+<!-- Help -->
+<div id="help">
+ <?php include("inc/help.inc.php"); ?>
+ <p class="tiny">
+ Support: <a href="mailto://simianer@cl.uni-heidelberg.de">Mail</a>
+ </p>
+ <p class="tiny">Session: <?php echo $_GET["key"]; ?> |
+ <a href="http://postedit.cl.uni-heidelberg.de:<?php echo $db->port; ?>/debug" target="_blank">Debug</a>
+ </p>
+</div>
+<!-- /Help -->
+
+
<!-- Debug -->
<div id="debug"></div>
<!-- /Debug -->
@@ -67,15 +84,6 @@ Note that the source word may be distorted.
</div>
<!-- /Session overview -->
-<!-- Help -->
-<button id="help_button" class="button" onclick="$('#help').toggle('blind')">
- Help
-</button>
-<div id="help">
- <?php include("inc/help.inc.php"); ?>
-</div>
-<!-- /Help -->
-
<?php include("inc/footer.inc.php"); ?>
</body>