diff options
author | Patrick Simianer <p@simianer.de> | 2016-01-29 18:20:38 +0100 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2016-01-29 18:20:38 +0100 |
commit | 81910d5770dc75f79f37e774238986be12718e91 (patch) | |
tree | dcba712fb3de33163a0273780cc318ce59578871 /interface.php | |
parent | 58a5a7cee304280d606c850537de2b6df9db3f31 (diff) |
interface.php: cleanup
Diffstat (limited to 'interface.php')
-rw-r--r-- | interface.php | 95 |
1 files changed, 34 insertions, 61 deletions
diff --git a/interface.php b/interface.php index 4c8bf0f..3a886e4 100644 --- a/interface.php +++ b/interface.php @@ -3,21 +3,20 @@ <meta charset="utf-8" /> <title>Post-Editing Interface (Session: #<?php echo $_GET["key"]; ?>)</title> <link rel="stylesheet" type="text/css" href="static/main.css" /> - <script src="js/jquery.min.js" charset="utf-8"></script> - <script src="js/common.js" charset="utf-8"></script> - <script src="js/lfpe.js" charset="utf-8"></script> - <script src="js/raphael-min.js" type="text/javascript" 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> + <script src="js/jquery.min.js" type="text/javascript" charset="utf-8"></script> + <script src="js/interface.js" type="text/javascript" charset="utf-8"></script> + <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> </head> <body> -<?php include("header.inc.php"); ?> +<?php include("inc/header.inc.php"); ?> <!-- Derivation editor --> <div id="derivation_editor"> - <div id="holder"><img style="margin:.4em" src="static/placeholder.png" /></div> + <div id="holder"><img id="placeholder" src="static/placeholder.png" /></div> </div> <!-- /Derivation editor--> @@ -26,21 +25,22 @@ <table> <tr> <td align="right">Source:</td> - <!--<td><textarea id="raw_source_textarea" name="source" cols="80" rows="1" disabled></textarea></td>--> <td id="raw_source_textarea"></td> </tr> <tr> <td align="right">Target:</td> - <td><textarea id="target_textarea" name="target" cols="80" rows="1" onkeypress="catch_return(event);" disabled></textarea></td> + <td> + <textarea id="target_textarea" name="target" cols="80" rows="1" onkeypress="catch_return(event);" disabled></textarea> + </td> </tr> </table> </div> <div id="oov_form"> - <p style="margin-bottom:0"><strong>Unknown words</strong><br /> - <span class="small">Please enter a translation for each source word, then click 'Next' or press return.<br /> -Note that the source word may be distorted.</span> + <p><strong>Unknown words:</strong> + Please enter a translation for each source word, then click 'Next' or simply press return.<br /> +Note that the source word may be distorted. </p> -<p><span style="text-decoration:underline;font-size:0.8em">Context:</span> <span id="oov_context"></span></p> +<p><strong>Context:</strong> <span id="oov_context"></span></p> <div id="oov_fields"></div> </div> <!-- /Source and target textboxes --> @@ -49,8 +49,8 @@ Note that the source word may be distorted.</span> <div> <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> - <span id="status"><strong>Working, please wait for next translation</strong> <img src="static/ajax-loader-large.gif" width="20px" /></span> + <button id="next" type="button" class='button' onclick="next();">Start/Continue</button> + <span id="status"><strong>Working: <span id="status_detail">...</span></strong> <img src="static/ajax-loader-large.gif" width="20px" /></span> </div> <!-- /Buttons --> @@ -60,30 +60,10 @@ Note that the source word may be distorted.</span> <!-- Session overview --> <div id="overview_wrapper"> -<p style="margin:.5em;margin-bottom:.25em"><strong>Session overview</strong></p> -<table id="overview"> -<?php -$SESSION_DIR="/fast_scratch/simianer/lfpe/sessions"; -$json = file_get_contents($SESSION_DIR."/".$_GET["key"]."/data.json"); -$db = json_decode($json); - -$class = ""; -$i = 0; -foreach($db->raw_source_segments as $s) { - if (in_array($i, $db->docs)) { - $class = "doc_title"; - } else { - $class = ""; - } - $translation = ""; - if ($i < $db->progress) { - $translation = $db->post_edits_display[$i]; - } - echo "<tr class='".$class."' id='seg_".$i."'><td class='num'>".($i+1).".</td><td>".$s."</td><td class='seg_text' id='seg_".$i."_t'>".$translation."</td></tr>"; - $i += 1; -} -?> -</table> +<p id="overview_header">Session overview</p> + <table id="overview"> + <?php include("inc/session-overview.inc.php"); ?> + </table> </div> <!-- /Session overview --> @@ -92,35 +72,28 @@ foreach($db->raw_source_segments as $s) { 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> + <?php include("inc/help.inc.php"); ?> </div> -<p class="small" style="text-align:right"><a href="#">^</a></p> <!-- /Help --> -<?php include("footer.inc.php"); ?> +<?php include("inc/footer.inc.php"); ?> </body> </html> <!-- Data --> -<textarea style="display:none" id="key"><?php echo $_GET['key']; ?></textarea> -<textarea style="display:none" id="source"></textarea> -<textarea style="display:none" id="last_post_edit"></textarea> -<textarea style="display:none" id="current_seg_id">0</textarea> -<textarea style="display:none" id="paused">0</textarea> -<textarea style="display:none" id="oov_correct">0</textarea> -<textarea style="display:none" id="oov_num_items">0</textarea> +<textarea style="display:none" id="key" ><?php echo $_GET['key']; ?></textarea> +<textarea style="display:none" id="source" ></textarea> +<textarea style="display:none" id="last_post_edit" ></textarea> +<textarea style="display:none" id="current_seg_id" >0</textarea> +<textarea style="display:none" id="paused" >0</textarea> +<textarea style="display:none" id="oov_correct" >0</textarea> +<textarea style="display:none" id="oov_num_items" >0</textarea> <textarea style="display:none" id="displayed_oov_hint">0</textarea> -<textarea style="display:none" id="port"><?php echo $db->port; ?></textarea> -<textarea style="display:none" id="init">0</textarea> -<textarea style="display:none" id="ui_type"><?php echo $_GET["ui_type"]; ?></textarea> -<textarea style="display:none" id="data"></textarea> -<textarea style="display:none" id="original_svg"></textarea> +<textarea style="display:none" id="port" ><?php echo $db->port; ?></textarea> +<textarea style="display:none" id="init" >0</textarea> +<textarea style="display:none" id="ui_type" ><?php echo $_GET["ui_type"]; ?></textarea> +<textarea style="display:none" id="data" ></textarea> +<textarea style="display:none" id="original_svg" ></textarea> <!-- /Data --> |