summaryrefslogtreecommitdiff
path: root/interface.php
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2015-12-11 15:44:16 +0100
committerPatrick Simianer <p@simianer.de>2015-12-11 15:44:16 +0100
commit14a341e0b37311ce511c1eca7c2c5c4f1828939f (patch)
tree5475f7abbf7c8d23abb52e21c622b886345b546f /interface.php
parent4aaf5365ef579e8b6bbe73a392690d8b42b55857 (diff)
better readable source
Diffstat (limited to 'interface.php')
-rw-r--r--interface.php24
1 files changed, 15 insertions, 9 deletions
diff --git a/interface.php b/interface.php
index dd08b10..baf1768 100644
--- a/interface.php
+++ b/interface.php
@@ -7,7 +7,9 @@
<script src="js/common.js" charset="utf-8"></script>
<script src="js/lfpe.js" charset="utf-8"></script>
<script src="https://raw.githubusercontent.com/DmitryBaranovskiy/raphael/v2.1.2/raphael-min.js" type="text/javascript" charset="utf-8"></script>
- <!--<script src="https://raw.githubusercontent.com/marmelab/Raphael.InlineTextEditing/fd578f0eddd4172e6d9b3fde4cb67576cf546dc1/raphael.inline_text_editing.js" charset="utf-8"></script>-->
+<!--
+ <script src="https://raw.githubusercontent.com/marmelab/Raphael.InlineTextEditing/fd578f0eddd4172e6d9b3fde4cb67576cf546dc1/raphael.inline_text_editing.js" charset="utf-8"></script>
+-->
<script src="js/derivation_editor/raphael.inline_text_editing.js" charset="utf-8"></script>
<script src="js/derivation_editor/derivation-editor.js" charset="utf-8"></script>
@@ -47,7 +49,6 @@ Note that the source word may be distorted.</span>
</div>
<!-- /Source and target textboxes -->
-
<!-- Buttons -->
<div>
<button id="pause_button" class='button' type="button" onclick="pause()">Pause</button>
@@ -91,15 +92,20 @@ foreach($db->raw_source_segments as $s) {
<!-- /Session overview -->
<!-- Help -->
-<button id="help_button" class="button" onclick="$('#help').toggle('blind')">Help</button>
-<div id="help" style="display:none;margin-left:1em">
-<?php include("help.inc.php"); ?>
-<p class="xtrasmall">Support: <a href="mailto://simianer@cl.uni-heidelberg.de">Mail</a></p>
-<p class="xtrasmall">Session: #<?php echo $_GET["key"]; ?> | <a href="http://coltrane.cl.uni-heidelberg.de:<?php echo $db->port; ?>/debug" target="_blank">Debug</a></p>
+<button id="help_button" class="button" onclick="$('#help').toggle('blind')">
+ Help
+</button>
+<div id="help">
+ <?php include("help.inc.php"); ?>
+ <p class="xtrasmall">
+ Support: <a href="mailto://simianer@cl.uni-heidelberg.de">Mail</a>
+ </p>
+ <p class="xtrasmall">Session: #<?php echo $_GET["key"]; ?> |
+ <a href="http://coltrane.cl.uni-heidelberg.de:<?php echo $db->port; ?>/debug" target="_blank">Debug</a>
+ </p>
</div>
-<!-- /Help -->
-
<p class="small" style="text-align:right"><a href="#">^</a></p>
+<!-- /Help -->
<?php include("footer.inc.php"); ?>