diff options
| author | Patrick Simianer <p@simianer.de> | 2016-06-03 13:36:55 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2016-06-03 13:36:55 +0200 |
| commit | 6c62dc57ae90fc6b016da507cae22d96fc128af2 (patch) | |
| tree | 28e955964b96e7a568517d3f25b2574d86b64e1c /interface.php | |
| parent | 8596c2775346757c7f7c37e603f015a671f86b88 (diff) | |
| parent | 0885987afd448fe1aedba7c6a2fdeff64c426623 (diff) | |
Merge branch 'master' of github.com:pks/lfpe
Diffstat (limited to 'interface.php')
| -rw-r--r-- | interface.php | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/interface.php b/interface.php index 46b07f0..5ea96ae 100644 --- a/interface.php +++ b/interface.php @@ -33,7 +33,7 @@ <tr> <td align="right">Target:</td> <td> - <textarea id="target_textarea" name="target" cols="80" rows="1" onkeypress="TEXT_handle_keypress(event);" disabled></textarea> + <textarea id="target_textarea" name="target" cols="80" rows="2" onkeypress="TEXT_handle_keypress(event);" disabled></textarea> </td> </tr> </table> @@ -48,6 +48,10 @@ Note that the source word may be distorted. </div> <!-- /Source and target textboxes --> +<!-- Summary --> +<div id="view_summary" style="display:none;margin:2em"><strong>Session finished, thank you!</strong> View <a href="http://postedit.cl.uni-heidelberg.de:<?php echo $db->port; ?>/summary" target="_blank">summary</a>.</div> +<!-- /Summary --> + <!-- Buttons --> <div> <button id="help_button" class="button" onclick="$('#help').toggle('blind')">Help</button> @@ -65,7 +69,8 @@ Note that the source word may be distorted. 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> + <a href="http://postedit.cl.uni-heidelberg.de:<?php echo $db->port; ?>/debug" target="_blank">Debug</a> | + <a href="http://postedit.cl.uni-heidelberg.de:<?php echo $db->port; ?>/summary" target="_blank">Summary</a> </p> </div> <!-- /Help --> |