summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--header.php4
-rw-r--r--interface.php6
-rw-r--r--lfpe.css9
-rw-r--r--lfpe.js23
4 files changed, 33 insertions, 9 deletions
diff --git a/header.php b/header.php
index d7b84eb..ae5dac3 100644
--- a/header.php
+++ b/header.php
@@ -3,8 +3,8 @@
<!-- Header -->
<div id="header">
- <img id="uni" src="img/logo_neu_204x107.jpg" />
- <img id="cl" src="img/institut_cl.png" />
+ <img id="uni" style="width:129px" src="img/logo_neu_204x107.jpg" />
+ <img id="cl" style="width:128px" src="img/institut_cl.png" />
</div>
<!-- /Header -->
diff --git a/interface.php b/interface.php
index 66a33db..19a8cbd 100644
--- a/interface.php
+++ b/interface.php
@@ -61,10 +61,10 @@ foreach($db->raw_source_segments as $s) {
<!-- /Session overview -->
<!-- Help -->
-<div id="help">
-<strong>Help</strong><br />
+<button id="help_button" onclick="toggleDisplay(document.getElementById('help'));">Help</button>
+<div id="help" style="display:none">
<p>Press the 'Next' button to submit your post-edit and to request the next segment for translation.
-Alternatively, just press enter when the 'Target' text area is focused. The session can be stopped at any time and continued later; However, if you have to pause your session, wait until the activity notification disappears and then press 'Pause', as we are collecting timing information. You may also just reload this site and re-request the next segment upon your return. Please only use <em>one</em> browser window at once. Going back to earlier examples is not possible, please take great care when interacting with the system.<br/>
+Alternatively, just press enter when you finished the post-edit and the 'Target' text area is in focus. Warning: Past post-edits can not be altered. The session can be stopped at any time and continued later; However, if you have to pause your session, wait until the activity notification disappears and then press 'Pause', as we are collecting timing information. You may also just reload this site and re-request the next segment upon your return. Please only use <em>one</em> browser window at once. Going back to earlier examples is not possible, please take great care when interacting with the system.<br/>
The interface was only tested with Firefox 31.</p>
<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>
diff --git a/lfpe.css b/lfpe.css
index 4609715..a79aafa 100644
--- a/lfpe.css
+++ b/lfpe.css
@@ -30,6 +30,12 @@ span#status {
float: right
}
+/* Edit */
+#raw_source_textarea, #target_textarea {
+ font-family: "Times New Roman", Georgia, Serif;
+}
+/* /Edit */
+
/* Session overview */
div#overview_wrapper { margin-top:1em }
table#overview { font-size:.8em }
@@ -64,10 +70,9 @@ p#footer {
/* Help */
div#help {
- margin-top: 2em;
+ margin-top: .5em;
font-size: .8em;
width: 70%;
- color: #ccc;
text-align: justify
}
div#help a { color:#ccc }
diff --git a/lfpe.js b/lfpe.js
index b98d202..10c3093 100644
--- a/lfpe.js
+++ b/lfpe.js
@@ -79,6 +79,10 @@ function catch_return(e)
return false;
}
+/*
+ * check oov correction input
+ *
+ */
function check_oov_correction()
{
var need = trim(document.getElementById("raw_source_textarea").value).split(";").length;
@@ -131,6 +135,21 @@ function removeClass(node, className)
}
/*
+ *
+ *
+ */
+function toggleDisplay(node)
+{
+ if (node.style.display=='none') {
+ node.style.display = 'block';
+ } else {
+ node.style.display = 'none';
+ }
+
+ return false;
+}
+
+/*
* trim string
*
*/
@@ -225,8 +244,8 @@ function Next()
}
var x = xhr.responseText.split("\t");
if (x == "fi") { // done -> hide/disable functional elements
- raw_source_textarea.style.display = "none";
- target_textarea.style.display = "none";
+ raw_source_textarea.setAttribute("disabled", "disabled");
+ target_textarea.setAttribute("disabled", "disabled");
status.style.display = "none";
button.innerHTML = "Session finished, thank you!";
button.setAttribute("disabled", "disabled");