From 0386334f49fde8c5e4a5f438ae5cf9ed285e4579 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Tue, 28 Jan 2014 16:51:21 +0000
Subject: Wide coverage translation web demo improvements

+ Add lexing/unlexing
+ Add a button to swap input and output
+ Minor layout adjustments
---
 src/www/gfse/cloud2.js | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/www/gfse/cloud2.js')

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) }
-- 
cgit v1.2.3