From a654e4ecace2d506d1b10f1dde2c287ebe84ef37 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 26 Mar 2016 23:59:59 -0700 Subject: 2812 --- html/084console.mu.html | 29 +++++++++++++++++++---------- 1 file changed, 19 insertions(+), 10 deletions(-) (limited to 'html/084console.mu.html') diff --git a/html/084console.mu.html b/html/084console.mu.html index c93444a7..13bc38b6 100644 --- a/html/084console.mu.html +++ b/html/084console.mu.html @@ -3,26 +3,34 @@ Mu - 084console.mu - - + + - + + + + -
+
 # Wrappers around interaction primitives that take a potentially fake object
 # and are thus easier to test.
 
@@ -97,7 +105,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   return *c, console/same-as-ingredient:0, 1/found, 0/quit
 ]
 
-def send-keys-to-channel console:address:shared:console, chan:address:shared:channel, screen:address:shared:screen -> console:address:shared:console, chan:address:shared:channel, screen:address:shared:screen [
+def send-keys-to-channel console:address:shared:console, chan:address:shared:sink:character, screen:address:shared:screen -> console:address:shared:console, chan:address:shared:sink:character, screen:address:shared:screen [
   local-scope
   load-ingredients
   {
@@ -134,3 +142,4 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
 

 
 
+
-- 
cgit 1.4.1-2-gfad0