diff options
author | Patrick Simianer <p@simianer.de> | 2016-06-08 15:45:58 +0200 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2016-06-08 15:45:58 +0200 |
commit | ec76c2c915ab02cbb06934c7dfeb109f00dcea3c (patch) | |
tree | 9b0bcfb4f304c4991fa000c34a2742aab9a3240c /index.php | |
parent | 457ab6312a19281e1c33b54411cb13878913e774 (diff) |
over-engineering
Diffstat (limited to 'index.php')
-rw-r--r-- | index.php | 44 |
1 files changed, 35 insertions, 9 deletions
@@ -3,6 +3,9 @@ <meta charset="utf-8" /> <title>Post-Editing Interface</title> <script src="js/jquery.min.js" charset="utf-8"></script> + <script type="text/javascript"> + + </script> <link rel="stylesheet" type="text/css" href="static/main.css" /> </head> @@ -12,10 +15,10 @@ <form method="get" action="interface.php"> <strong>Please enter your session key:</strong> - <input type="text" id="key" name="key" style="width:20em" /> + <input type="text" id="key" name="key" style="width:8em" /> Session type: <select name="ui_type"> - <option value="g">graphical</option> + <!--<option value="g">graphical</option>--> <option value="t">text</option> </select> @@ -23,10 +26,34 @@ </form> <!--<div class="small" style="background:#eee;margin: 5em 0 5em 0;padding:.5em; max-width:25%"> -<p>Select: -<select class="small"> - <option value="g0_0_nomt" onclick="document.getElementById('key').value=this.value;">#0 (from scratch)</option> + +<?php +//if ($_GET['manual']) { +echo "<p>Select session: "; +echo "<select class='small'>"; + + $f = fopen("../sessions/sessions", "r"); + $a = array(); + while (($line = fgets($f)) !== false) { + $x = explode("\t", $line, 4); + $a[$x[3]] = $x[0]; + } + fclose($f); + + asort($a); + + foreach ($a as $key => $val) { + echo "<option value='".$val."' onclick=\"document.getElementById('key').value=this.value;\">Session ".$key."</option>"; + } + echo "</select></p>"; +//} else { +// echo '<p style="padding:1em"><a style="font-size:1.2em;color:#000" href="pool.php">Assignment</a></p><p><a href="?manual=1">Manual</a>'; +//} +?> +--> + +<!-- <option value="g0_0_nomt" >#0 (from scratch)</option> <option value="g0_0_pe" onclick="document.getElementById('key').value=this.value;">#0 (post-editing)</option> <optgroup label="________________"></optgroup> <option value="g0_1_nomt" onclick="document.getElementById('key').value=this.value;">#1 (from scratch)</option> @@ -133,11 +160,10 @@ <option value="product_en-de_beta_test_1_D" onclick="document.getElementById('key').value=this.value;">D* en-de</option> </optgroup>--> -<!--</select> -</p> -</div>--> -<a style="font-size:1.2em;color:#000" href="pool.php">Assignment</a> + +</div> + <?php include("inc/footer.inc.php"); ?> |