From f344b250f6f062a1a1902bf69b23ebf9b565de0e Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 17 Sep 2016 15:01:51 -0700 Subject: 3395 --- html/edit/006-sandbox-copy.mu.html | 80 +++++++++++++++++++------------------- 1 file changed, 40 insertions(+), 40 deletions(-) (limited to 'html/edit/006-sandbox-copy.mu.html') diff --git a/html/edit/006-sandbox-copy.mu.html b/html/edit/006-sandbox-copy.mu.html index fe86e811..987f38f9 100644 --- a/html/edit/006-sandbox-copy.mu.html +++ b/html/edit/006-sandbox-copy.mu.html @@ -48,8 +48,8 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color assume-console [ press F4 ] - 3:address:programming-environment-data <- new-programming-environment screen:address:screen, 1:text, 2:text - event-loop screen:address:screen, console:address:console, 3:address:programming-environment-data + 3:&:programming-environment-data <- new-programming-environment screen:&:screen, 1:text, 2:text + event-loop screen:&:screen, console:&:console, 3:&:programming-environment-data screen-should-contain [ . run (F4) . . ┊ . @@ -65,7 +65,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color left-click 3, 69 ] run [ - event-loop screen:address:screen, console:address:console, 3:address:programming-environment-data + event-loop screen:&:screen, console:&:console, 3:&:programming-environment-data ] # it copies into editor screen-should-contain [ @@ -83,7 +83,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color type [0] ] run [ - event-loop screen:address:screen, console:address:console, 3:address:programming-environment-data + event-loop screen:&:screen, console:&:console, 3:&:programming-environment-data ] screen-should-contain [ . run (F4) . @@ -110,8 +110,8 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color assume-console [ press F4 ] - 3:address:programming-environment-data <- new-programming-environment screen:address:screen, 1:text, 2:text - event-loop screen:address:screen, console:address:console, 3:address:programming-environment-data + 3:&:programming-environment-data <- new-programming-environment screen:&:screen, 1:text, 2:text + event-loop screen:&:screen, console:&:console, 3:&:programming-environment-data screen-should-contain [ . run (F4) . . ┊ . @@ -127,7 +127,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color left-click 3, 84 ] run [ - event-loop screen:address:screen, console:address:console, 3:address:programming-environment-data + event-loop screen:&:screen, console:&:console, 3:&:programming-environment-data ] # it copies into editor screen-should-contain [ @@ -145,7 +145,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color type [0] ] run [ - event-loop screen:address:screen, console:address:console, 3:address:programming-environment-data + event-loop screen:&:screen, console:&:console, 3:&:programming-environment-data ] screen-should-contain [ . run (F4) . @@ -162,7 +162,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color after <global-touch> [ # support 'copy' button { - copy?:boolean <- should-attempt-copy? click-row, click-column, env + copy?:bool <- should-attempt-copy? click-row, click-column, env break-unless copy? copy?, env <- try-copy-sandbox click-row, env break-unless copy? @@ -175,34 +175,34 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] # some preconditions for attempting to copy a sandbox -def should-attempt-copy? click-row:number, click-column:number, env:address:programming-environment-data -> result:boolean [ +def should-attempt-copy? click-row:num, click-column:num, env:&:programming-environment-data -> result:bool [ local-scope load-ingredients # are we below the sandbox editor? - click-sandbox-area?:boolean <- click-on-sandbox-area? click-row, click-column, env + click-sandbox-area?:bool <- click-on-sandbox-area? click-row, click-column, env reply-unless click-sandbox-area?, 0/false # narrower, is the click in the columns spanning the 'copy' button? - first-sandbox:address:editor-data <- get *env, current-sandbox:offset + first-sandbox:&:editor-data <- get *env, current-sandbox:offset assert first-sandbox, [!!] - sandbox-left-margin:number <- get *first-sandbox, left:offset - sandbox-right-margin:number <- get *first-sandbox, right:offset - _, _, copy-button-left:number, copy-button-right:number, _ <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin - copy-button-vertical-area?:boolean <- within-range? click-column, copy-button-left, copy-button-right + sandbox-left-margin:num <- get *first-sandbox, left:offset + sandbox-right-margin:num <- get *first-sandbox, right:offset + _, _, copy-button-left:num, copy-button-right:num, _ <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin + copy-button-vertical-area?:bool <- within-range? click-column, copy-button-left, copy-button-right reply-unless copy-button-vertical-area?, 0/false # finally, is sandbox editor empty? - current-sandbox:address:editor-data <- get *env, current-sandbox:offset + current-sandbox:&:editor-data <- get *env, current-sandbox:offset result <- empty-editor? current-sandbox ] -def try-copy-sandbox click-row:number, env:address:programming-environment-data -> clicked-on-copy-button?:boolean, env:address:programming-environment-data [ +def try-copy-sandbox click-row:num, env:&:programming-environment-data -> clicked-on-copy-button?:bool, env:&:programming-environment-data [ local-scope load-ingredients # identify the sandbox to copy, if the click was actually on the 'copy' button - sandbox:address:sandbox-data <- find-sandbox env, click-row + sandbox:&:sandbox-data <- find-sandbox env, click-row return-unless sandbox, 0/false clicked-on-copy-button? <- copy 1/true text:text <- get *sandbox, data:offset - current-sandbox:address:editor-data <- get *env, current-sandbox:offset + current-sandbox:&:editor-data <- get *env, current-sandbox:offset current-sandbox <- insert-text current-sandbox, text # reset scroll *env <- put *env, render-from:offset, -1 @@ -210,14 +210,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color *env <- put *env, sandbox-in-focus?:offset, 1/true ] -def find-sandbox env:address:programming-environment-data, click-row:number -> result:address:sandbox-data [ +def find-sandbox env:&:programming-environment-data, click-row:num -> result:&:sandbox-data [ local-scope load-ingredients - curr-sandbox:address:sandbox-data <- get *env, sandbox:offset + curr-sandbox:&:sandbox-data <- get *env, sandbox:offset { break-unless curr-sandbox - start:number <- get *curr-sandbox, starting-row-on-screen:offset - found?:boolean <- equal click-row, start + start:num <- get *curr-sandbox, starting-row-on-screen:offset + found?:bool <- equal click-row, start return-if found?, curr-sandbox curr-sandbox <- get *curr-sandbox, next-sandbox:offset loop @@ -225,32 +225,32 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color return 0/not-found ] -def click-on-sandbox-area? click-row:number, click-column:number, env:address:programming-environment-data -> result:boolean [ +def click-on-sandbox-area? click-row:num, click-column:num, env:&:programming-environment-data -> result:bool [ local-scope load-ingredients - current-sandbox:address:editor-data <- get *env, current-sandbox:offset - sandbox-left-margin:number <- get *current-sandbox, left:offset - on-sandbox-side?:boolean <- greater-or-equal click-column, sandbox-left-margin + current-sandbox:&:editor-data <- get *env, current-sandbox:offset + sandbox-left-margin:num <- get *current-sandbox, left:offset + on-sandbox-side?:bool <- greater-or-equal click-column, sandbox-left-margin return-unless on-sandbox-side?, 0/false - first-sandbox:address:sandbox-data <- get *env, sandbox:offset + first-sandbox:&:sandbox-data <- get *env, sandbox:offset return-unless first-sandbox, 0/false - first-sandbox-begins:number <- get *first-sandbox, starting-row-on-screen:offset + first-sandbox-begins:num <- get *first-sandbox, starting-row-on-screen:offset result <- greater-or-equal click-row, first-sandbox-begins ] -def empty-editor? editor:address:editor-data -> result:boolean [ +def empty-editor? editor:&:editor-data -> result:bool [ local-scope load-ingredients - head:address:duplex-list:character <- get *editor, data:offset - first:address:duplex-list:character <- next head + head:&:duplex-list:char <- get *editor, data:offset + first:&:duplex-list:char <- next head result <- not first ] -def within-range? x:number, low:number, high:number -> result:boolean [ +def within-range? x:num, low:num, high:num -> result:bool [ local-scope load-ingredients - not-too-far-left?:boolean <- greater-or-equal x, low - not-too-far-right?:boolean <- lesser-or-equal x, high + not-too-far-left?:bool <- greater-or-equal x, low + not-too-far-right?:bool <- lesser-or-equal x, high result <- and not-too-far-left? not-too-far-right? ] @@ -267,8 +267,8 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color assume-console [ press F4 ] - 3:address:programming-environment-data <- new-programming-environment screen:address:screen, 1:text, 2:text - event-loop screen:address:screen, console:address:console, 3:address:programming-environment-data + 3:&:programming-environment-data <- new-programming-environment screen:&:screen, 1:text, 2:text + event-loop screen:&:screen, console:&:console, 3:&:programming-environment-data screen-should-contain [ . run (F4) . . ┊ . @@ -286,7 +286,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color left-click 3, 70 # click 'copy' button ] run [ - event-loop screen:address:screen, console:address:console, 3:address:programming-environment-data + event-loop screen:&:screen, console:&:console, 3:&:programming-environment-data ] # copy doesn't happen screen-should-contain [ @@ -304,7 +304,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color type [1] ] run [ - event-loop screen:address:screen, console:address:console, 3:address:programming-environment-data + event-loop screen:&:screen, console:&:console, 3:&:programming-environment-data ] screen-should-contain [ . run (F4) . -- cgit 1.4.1-2-gfad0