blob: 71d40fe587ebc7320a704b990d0fac57942879f6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
<html>
<head>
<meta charset="utf-8" />
<title>Post-editing application (Session: #<?php echo $_GET["key"]; ?>)</title>
<link rel="stylesheet" type="text/css" href="static/main.css" />
<script src="http://ajax.googleapis.com/ajax/libs/jquery/1.11.2/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="https://raw.githubusercontent.com/DmitryBaranovskiy/raphael/v2.1.2/raphael-min.js" type="text/javascript" charset="utf-8"></script>
<script src="https://raw.githubusercontent.com/marmelab/Raphael.InlineTextEditing/fd578f0eddd4172e6d9b3fde4cb67576cf546dc1/raphael.inline_text_editing.js" charset="utf-8"></script>
<script src="js/derivation_editor/derivation-editor.js" charset="utf-8"></script>
</head>
<body>
<?php include("header.php"); ?>
<!-- Derivation editor -->
<div id="derivation_editor">
<div id="holder"><img style="margin:.4em" src="static/placeholder.png" /></div>
<input type="button" value="+" onclick="DE_add_object()" />
<input type="button" value="Reset" onclick="DE_init();" />
</div>
<!-- /Derivation editor-->
<!-- Source and target textboxes -->
<div id="textboxes">
<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>
</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>
<p><span style="text-decoration:underline;font-size:0.8em">Context:</span> <span id="oov_context"></span></p>
<div id="oov_fields"></div>
</div>
<!-- /Source and target textboxes -->
<!-- Buttons -->
<div>
<button id="pause_button" type="button" onclick="pause()">Pause</button>
<button id="next" type="button" onclick="Next();">Start/Continue</button>
<span id="status"><strong>Working, please wait for next segment</strong> <img src="static/ajax-loader-large.gif" width="20px" /></span>
</div>
<!-- /Buttons -->
<!-- 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_raw[$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>
</div>
<!-- /Session overview -->
<!-- Help -->
<button id="help_button" onclick="$('#help').toggle('blind')">Help</button>
<div id="help" style="display:none">
<?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>
</div>
<!-- /Help -->
<p class="small" style="text-align:right"><a href="#">^</a></p>
<?php include("footer.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="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>
<!-- /Data -->
|
