diff options
| author | hallgren <hallgren@chalmers.se> | 2014-01-28 16:51:21 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-01-28 16:51:21 +0000 |
| commit | 0386334f49fde8c5e4a5f438ae5cf9ed285e4579 (patch) | |
| tree | 2a2cbc6f62e4c0345a736da2c19ca823eca26cc9 /src/www/gfse/cloud2.js | |
| parent | 06bb2a1dad1ab82f79cabbdaafcf61a86af4494c (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.js | 4 |
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) } |
