From 886337bdf83c33edf2361ffa45239aa5195ca367 Mon Sep 17 00:00:00 2001 From: Patrick Simianer Date: Fri, 6 Nov 2015 16:10:02 +0100 Subject: cleanup --- derivation_to_json/derivation_to_json.rb | 2 +- external/README | 4 ++-- footer.inc.php | 11 +++++++++++ footer.php | 11 ----------- header.inc.php | 8 ++++++++ header.php | 8 -------- index.php | 4 ++-- interface.php | 4 ++-- js/common.js | 11 +++++++---- js/debug.js | 3 --- js/lfpe.js | 7 +------ 11 files changed, 34 insertions(+), 39 deletions(-) create mode 100644 footer.inc.php delete mode 100644 footer.php create mode 100644 header.inc.php delete mode 100644 header.php diff --git a/derivation_to_json/derivation_to_json.rb b/derivation_to_json/derivation_to_json.rb index afd62b7..f7307cc 100755 --- a/derivation_to_json/derivation_to_json.rb +++ b/derivation_to_json/derivation_to_json.rb @@ -83,7 +83,7 @@ class Rule x -= rx y -= ry if @ha[x] - @ha[x] << y + @ha[x] << y else @ha[x] = [y] end diff --git a/external/README b/external/README index 166b2d9..c14f4eb 100644 --- a/external/README +++ b/external/README @@ -1,5 +1,5 @@ +scripts taken from Moses [https://github.com/moses-smt/mosesdecoder] + github.com/pks/scripts @e137509a77e3a8c12af32852ebba893dacb53f85 moses @7b02017da1e2a09486627b543446ec78e51541a7 -taken from Moses [https://github.com/moses-smt/mosesdecoder] - diff --git a/footer.inc.php b/footer.inc.php new file mode 100644 index 0000000..8709538 --- /dev/null +++ b/footer.inc.php @@ -0,0 +1,11 @@ + + + + + + + diff --git a/footer.php b/footer.php deleted file mode 100644 index 8709538..0000000 --- a/footer.php +++ /dev/null @@ -1,11 +0,0 @@ - - - - - - - diff --git a/header.inc.php b/header.inc.php new file mode 100644 index 0000000..e812943 --- /dev/null +++ b/header.inc.php @@ -0,0 +1,8 @@ + +
+ + + + + diff --git a/header.php b/header.php deleted file mode 100644 index e812943..0000000 --- a/header.php +++ /dev/null @@ -1,8 +0,0 @@ - -
- - - - - diff --git a/index.php b/index.php index 22118e2..cab79c6 100644 --- a/index.php +++ b/index.php @@ -8,7 +8,7 @@ - +
Please enter your session key: @@ -40,7 +40,7 @@

- + diff --git a/interface.php b/interface.php index 5a27ae1..ab38f72 100644 --- a/interface.php +++ b/interface.php @@ -15,7 +15,7 @@ - +
@@ -102,7 +102,7 @@ foreach($db->raw_source_segments as $s) {

^

- + diff --git a/js/common.js b/js/common.js index 92dc74b..4e7d3fe 100644 --- a/js/common.js +++ b/js/common.js @@ -1,6 +1,9 @@ -var data, - ui_type; - +/* + * (common) global vars + * + */ +var data, // data (from JSON) + ui_type; // 't' (text) or 'g' (graphical) /* * hacky way to remove class from node @@ -17,7 +20,7 @@ function removeClass(node, className) } /* - * + * toggle display of element (by id) * */ function toggleDisplay(id) diff --git a/js/debug.js b/js/debug.js index d69dd2b..76c7b80 100644 --- a/js/debug.js +++ b/js/debug.js @@ -9,6 +9,3 @@ $().ready(function() }) }) -$("#reset").click(function(){ - -}); diff --git a/js/lfpe.js b/js/lfpe.js index fec5d99..30f7787 100644 --- a/js/lfpe.js +++ b/js/lfpe.js @@ -72,7 +72,7 @@ function catch_return(e) } /* - * + * working/not working * */ function working() @@ -103,11 +103,6 @@ function working() pause_button.setAttribute("disabled", "disabled"); target_textarea.setAttribute("disabled", "disabled"); } - -/* - * - * - */ function not_working(fadein=true) { // elements -- cgit v1.2.3