visual-lambda: update REDAME

Author: bntre

README.md

@@ -1,22 +1,24 @@
-Project moved from https://code.google.com/archive/p/visual-lambda/  
-and from https://bitbucket.org/bntr/visual-lambda too.
+<sub>The project has been moved from https://code.google.com/archive/p/visual-lambda/ and from https://bitbucket.org/bntr/visual-lambda as well.</sub>
 
 # Visual Lambda Calculus
 
-![logo](http://bntr.planet.ee/lambda/loop_.gif)
+![logo](https://bntr.planet.ee/lambda/loop_.gif)
 
 The Visual Lambda environment enables intuitive manipulation of lambda calculus expressions.
 
 ![](https://raw.githubusercontent.com/bntre/visual-lambda/master/screenshot.png)
 
-## Notation
-- [Basics](http://bntr.planet.ee/lambda/visual_lambda_bubble_notation.gif)
-- More detailed in this thesis: [visual_lambda.pdf](http://bntr.planet.ee/lambda/work/visual_lambda.pdf)
+Also available online at: [https://bntr.itch.io/visual-lambda](https://bntr.itch.io/visual-lambda)
 
-## Reduction animation examples
-- ['MULT 3 2' evaluation](http://bntr.planet.ee/lambda/visual_lambda_MULT_3_2_=_6.gif)
-- ['((λgm.m(gg))(λgm.m(gg)))M' building and evaluation](http://bntr.planet.ee/lambda/lambda_F_anim.gif)
-- ['Y I' evaluation](http://bntr.planet.ee/lambda/Y_I.gif)
+## Notation
+- [Basics](https://bntr.planet.ee/lambda/visual_lambda_bubble_notation.gif)
+- More detailed in this thesis: [visual_lambda.pdf](https://bntr.planet.ee/lambda/work/visual_lambda.pdf)
+
+## Examples
+- Pairs, construction, reduction: [https://www.youtube.com/watch?v=YEyyyzUuUJQ](https://www.youtube.com/watch?v=YEyyyzUuUJQ)
+- ['MULT 3 2' evaluation](https://bntr.planet.ee/lambda/visual_lambda_MULT_3_2_=_6.gif) (gif)
+- ['((λgm.m(gg))(λgm.m(gg)))M' building and evaluation](https://bntr.planet.ee/lambda/lambda_F_anim.gif) (gif)
+- ['Y I' evaluation](https://bntr.planet.ee/lambda/Y_I.gif) (gif)
 
 
 ## Dependencies

config.cfg

@@ -8,10 +8,12 @@ eatingsec=2.0
 bold_lambda=1
 
 # Main window size
-windowsize=1024x768
+windowsize=800x600
+#windowsize=1280x960
 
 # Menu font size
 fontsize=11
+#fontsize=15
 
 # Library file
 library=library.txt

controls.txt

@@ -7,7 +7,7 @@ Controls
 Items
     Input from console                  I
         Examples:
-            >> \\x y. (\\x. x)
+            >> \x y. (\x. x)
             >> FACT 3                   (see library.txt)
             >> "Label"
 
@@ -21,7 +21,7 @@ Items
 
 
 Zoom View                               Mouse Wheel, +/-
-Move View                               Middle mouse button
+Move View                               Middle mouse button, Arrows
 Refresh View                            F5
 
 

pygbag_index_html.tmpl

@@ -512,24 +512,28 @@ frameborder="1"
         console.log("loadWorkspace(workspaceName) - load a workspace from localStorage, e.g. loadWorkspace('combinators3')");
     }
 
+    // Allow using browser console through an iframe on itch.io
     window.addEventListener('message', event => {
         //console.log(event);
         if (event.origin !== "https://bntr.itch.io") return;
         const method = event.data[0];
         if (method === "addItem") {
             addItem(event.data[1]);
-        } else if (method === "v") {
+        } else if (method === "clearWorkspace") {
             clearWorkspace();
         } else if (method === "saveWorkspace") {
             saveWorkspace(event.data[1])
         } else if (method === "loadWorkspace") {
             loadWorkspace(event.data[1]);
         }
     });
-    // Use on itch.io in browser console:
-    //> var w = document.getElementById("game_drop").contentWindow;
-    //> w.postMessage(['addItem','\\x.x x'], '*')
-    //> w.postMessage(['clearWorkspace'], '*')
+    
+    // Then in browser console:
+    //> function vl(...args) { document.getElementById("game_drop").contentWindow.postMessage(args, "*") }
+    //> vl('addItem','MULT 2 (\\f x. f (f x))')
+    //> vl('clearWorkspace')
+    //> vl('saveWorkspace', 'combinators3')
+    //> vl('loadWorkspace', 'combinators3')
 
     </script>
 

window.py

@@ -23,7 +23,7 @@ def __init__( self, caption, size ):
 
         fontsize = int( config.get( 'fontsize' ) )  or  11
         if config.IS_WEB_PLATFORM: 
-            fontsize = fontsize * 3//2  #!!! fixing pygbag
+            fontsize = fontsize * 2  #!!! fixing pygbag
         self.font = pygame.font.SysFont( 'lucidaconsole', fontsize )
         self.fontAntialias = config.IS_WEB_PLATFORM  #!!! fixing pygbag