From 9e91a21ef385e33ca373e4308ca3227c228fe09b Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 25 Feb 2016 22:18:05 -0800 Subject: 2710 --- html/edit/004-programming-environment.mu.html | 3 --- html/edit/005-sandbox.mu.html | 6 ------ html/edit/010-errors.mu.html | 8 -------- 3 files changed, 17 deletions(-) (limited to 'html/edit') diff --git a/html/edit/004-programming-environment.mu.html b/html/edit/004-programming-environment.mu.html index adcb7c8c..4b9e508c 100644 --- a/html/edit/004-programming-environment.mu.html +++ b/html/edit/004-programming-environment.mu.html @@ -20,7 +20,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .SalientComment { color: #00ffff; } -.CommentedCode { color: #6c6c6c; } .Delimiter { color: #a04060; } .muScenario { color: #00af00; } --> @@ -416,9 +415,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } # top menu trace 11, [app], [render top menu] width:number <- screen-width screen -#? $print [draw menu], 10/newline draw-horizontal screen, 0, 0/left, width, 32/space, 0/black, 238/grey -#? $print [draw menu end], 10/newline button-start:number <- subtract width, 20 button-on-screen?:boolean <- greater-or-equal button-start, 0 assert button-on-screen?, [screen too narrow for menu] diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html index d7a18512..c48f90d7 100644 --- a/html/edit/005-sandbox.mu.html +++ b/html/edit/005-sandbox.mu.html @@ -20,7 +20,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .SalientComment { color: #00ffff; } -.CommentedCode { color: #6c6c6c; } .Delimiter { color: #a04060; } .muScenario { color: #00af00; } --> @@ -163,14 +162,11 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } { do-run?:boolean <- equal *k, 65532/F4 break-unless do-run? -#? $log [F4 pressed] status:address:shared:array:character <- new [running... ] screen <- update-status screen, status, 245/grey error?:boolean, env, screen <- run-sandboxes env, screen # F4 might update warnings and results on both sides -#? $print [render-all begin], 10/newline screen <- render-all screen, env -#? $print [render-all end], 10/newline { break-if error? status:address:shared:array:character <- new [ ] @@ -279,7 +275,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } recipe! render-sandbox-side screen:address:shared:screen, env:address:shared:programming-environment-data -> screen:address:shared:screen [ local-scope load-ingredients -#? $log [render sandbox side] trace 11, [app], [render sandbox side] current-sandbox:address:shared:editor-data <- get *env, current-sandbox:offset row:number, column:number <- copy 1, 0 @@ -304,7 +299,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } recipe render-sandboxes screen:address:shared:screen, sandbox:address:shared:sandbox-data, left:number, right:number, row:number, render-from:number, idx:number -> row:number, screen:address:shared:screen, sandbox:address:shared:sandbox-data [ local-scope load-ingredients -#? $log [render sandbox] reply-unless sandbox screen-height:number <- screen-height screen at-bottom?:boolean <- greater-or-equal row, screen-height diff --git a/html/edit/010-errors.mu.html b/html/edit/010-errors.mu.html index b72ce428..1616c8cf 100644 --- a/html/edit/010-errors.mu.html +++ b/html/edit/010-errors.mu.html @@ -20,7 +20,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .SalientComment { color: #00ffff; } -.CommentedCode { color: #6c6c6c; } .Delimiter { color: #a04060; } .muScenario { color: #00af00; } --> @@ -44,7 +43,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } recipe! update-recipes env:address:shared:programming-environment-data, screen:address:shared:screen -> errors-found?:boolean, env:address:shared:programming-environment-data, screen:address:shared:screen [ local-scope load-ingredients -#? $log [update recipes] recipes:address:shared:editor-data <- get *env, recipes:offset in:address:shared:array:character <- editor-contents recipes save [recipes.mu], in @@ -110,9 +108,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } status-template:address:shared:array:character <- new [errors found (_) ] error-index-text:address:shared:array:character <- to-text error-index status:address:shared:array:character <- interpolate status-template, error-index-text -#? $print [update-status: sandbox error], 10/newline update-status screen, status, 1/red -#? $print [run sandboxes end], 10/newline } ] @@ -123,13 +119,11 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } recipe! update-sandbox sandbox:address:shared:sandbox-data, env:address:shared:programming-environment-data, idx:number -> sandbox:address:shared:sandbox-data, env:address:shared:programming-environment-data [ local-scope load-ingredients -#? $log [update sandbox] data:address:shared:array:character <- get *sandbox, data:offset response:address:address:shared:array:character <- get-address *sandbox, response:offset errors:address:address:shared:array:character <- get-address *sandbox, errors:offset trace:address:address:shared:array:character <- get-address *sandbox, trace:offset fake-screen:address:address:shared:screen <- get-address *sandbox, screen:offset -#? $print [run-interactive], 10/newline *response, *errors, *fake-screen, *trace, completed?:boolean <- run-interactive data { break-if *errors @@ -139,13 +133,11 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } } { break-unless *errors -#? $print [setting error-index to ], idx, 10/newline error-index:address:number <- get-address *env, error-index:offset error-not-set?:boolean <- equal *error-index, -1 break-unless error-not-set? *error-index <- copy idx } -#? $print [done with run-interactive], 10/newline ] # make sure we render any trace -- cgit 1.4.1-2-gfad0