From 9e751bb8c0cdf771d34c839cb6591d892b8e62de Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 7 Mar 2017 01:41:48 -0800 Subject: 3761 --- html/filesystem.mu.html | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) (limited to 'html/filesystem.mu.html') diff --git a/html/filesystem.mu.html b/html/filesystem.mu.html index 6e04a561..b4613166 100644 --- a/html/filesystem.mu.html +++ b/html/filesystem.mu.html @@ -15,13 +15,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color a { text-decoration: none; } a:hover { text-decoration: underline; } * { font-size: 12pt; font-size: 1em; } -.Delimiter { color: #800080; } -.muControl { color: #c0a020; } +.muRecipe { color: #ff8700; } .Special { color: #c00000; } +.Conceal { color: #4e4e4e; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .LineNr { color: #444444; } -.muRecipe { color: #ff8700; } +.muControl { color: #c0a020; } --> @@ -66,10 +67,10 @@ if ('onhashchange' in window) { 8 source-file:&:source:char <- start-reading 0/real-filesystem, [/tmp/mu-x] 9 sink-file:&:sink:char, write-routine:num <- start-writing 0/real-filesystem, [/tmp/mu-y] 10 { -11 c:char, done?:bool, source-file <- read source-file -12 break-if done? -13 sink-file <- write sink-file, c -14 loop +11 ¦ c:char, done?:bool, source-file <- read source-file +12 ¦ break-if done? +13 ¦ sink-file <- write sink-file, c +14 ¦ loop 15 } 16 close sink-file 17 # make sure to wait for the file to be actually written to disk -- cgit 1.4.1-2-gfad0