summaryrefslogtreecommitdiff
path: root/src/www/gfse/cloud2.js
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2014-01-28 16:51:21 +0000
committerhallgren <hallgren@chalmers.se>2014-01-28 16:51:21 +0000
commit0386334f49fde8c5e4a5f438ae5cf9ed285e4579 (patch)
tree2a2cbc6f62e4c0345a736da2c19ca823eca26cc9 /src/www/gfse/cloud2.js
parent06bb2a1dad1ab82f79cabbdaafcf61a86af4494c (diff)
Wide coverage translation web demo improvements
+ Add lexing/unlexing + Add a button to swap input and output + Minor layout adjustments
Diffstat (limited to 'src/www/gfse/cloud2.js')
-rw-r--r--src/www/gfse/cloud2.js4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/www/gfse/cloud2.js b/src/www/gfse/cloud2.js
index dbb322ed8..318e2739e 100644
--- a/src/www/gfse/cloud2.js
+++ b/src/www/gfse/cloud2.js
@@ -272,3 +272,7 @@ function check_exp(s,cont) {
}
gfshell("cc "+s,check);
}
+
+// Lexing/unlexing text
+function lextext(txt,cont) { gfshell('ps -lextext "'+txt+'"',cont) }
+function unlextext(txt,cont) { gfshell('ps -bind -unlextext "'+txt+'"',cont) }