diff options
| author | Patrick Simianer <p@simianer.de> | 2015-12-11 15:44:16 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2015-12-11 15:44:16 +0100 |
| commit | 14a341e0b37311ce511c1eca7c2c5c4f1828939f (patch) | |
| tree | 5475f7abbf7c8d23abb52e21c622b886345b546f | |
| parent | 4aaf5365ef579e8b6bbe73a392690d8b42b55857 (diff) | |
better readable source
| -rw-r--r-- | interface.php | 24 |
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"); ?> |