diff options
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) } |