diff options
author | Patrick Simianer <p@simianer.de> | 2016-03-10 15:49:41 +0100 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2016-03-10 15:49:41 +0100 |
commit | 5d3f588582ff0bd27df34139e4fae4517c177ba7 (patch) | |
tree | f2073f81e500b0540f13c2d0a9df57ed0793c309 /interface.php | |
parent | ee35a6ec4c43906173446207d4ec441b9eaa461a (diff) |
improved help, hid meta stuff, fix db
Diffstat (limited to 'interface.php')
-rw-r--r-- | interface.php | 28 |
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> |