From 81910d5770dc75f79f37e774238986be12718e91 Mon Sep 17 00:00:00 2001 From: Patrick Simianer Date: Fri, 29 Jan 2016 18:20:38 +0100 Subject: interface.php: cleanup --- interface.php | 95 +++++++++++++++++++++-------------------------------------- 1 file 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 @@ Post-Editing Interface (Session: #<?php echo $_GET["key"]; ?>) - - - - - - + + + + + - +
-
+
@@ -26,21 +25,22 @@ - - +
Source:
Target: + +
-

Unknown words
- Please enter a translation for each source word, then click 'Next' or press return.
-Note that the source word may be distorted. +

Unknown words: + Please enter a translation for each source word, then click 'Next' or simply press return.
+Note that the source word may be distorted.

-

Context:

+

Context:

@@ -49,8 +49,8 @@ Note that the source word may be distorted.
- - Working, please wait for next translation + + Working: ...
@@ -60,30 +60,10 @@ Note that the source word may be distorted.
-

Session overview

- -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 ""; - $i += 1; -} -?> -
".($i+1).".".$s."".$translation."
+

Session overview

+ + +
@@ -92,35 +72,28 @@ foreach($db->raw_source_segments as $s) { Help
- -

- Support: Mail -

-

Session: # | - Debug -

+
-

^

- + - - - - - - - + + + + + + + - - - - - + + + + + -- cgit v1.2.3