diff options
| author | Patrick Simianer <p@simianer.de> | 2015-12-04 00:33:21 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2015-12-04 00:33:21 +0100 |
| commit | 958ce7102f5b0c9fac27d164394c8b13cf8b24f2 (patch) | |
| tree | 5588612cadaa14a3490e43d553f4657ae044f3eb /help.inc.php | |
| parent | a51b3ba4aee67f0c0ef9d9c2250b17f6718404ce (diff) | |
integrated phrase-phrase-extraction, save svg
Diffstat (limited to 'help.inc.php')
| -rw-r--r-- | help.inc.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/help.inc.php b/help.inc.php index 5132620..e571a6d 100644 --- a/help.inc.php +++ b/help.inc.php @@ -1,4 +1,4 @@ -<p style="margin-top:-1em">Press the 'Next' button to <strong>submit</strong> your post-edit and to request the next segment for post-edition. +<p>Press the 'Next' button to <strong>submit</strong> your post-edit and to request the next segment for post-edition. Alternatively, in the textual interface, you may just press return when you finished the post-edit ('Target' text area is in focus).</p> <p>The session can be paused 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 segment to reset the timer.</p> |