diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-11-15 19:12:05 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-11-15 19:12:05 -0800 |
commit | 7c87866f1d7f91d6557900f5b39eb7e62233f5d4 (patch) | |
tree | 56c40bbca0066845edf5e24a012e6523d3f14f33 /edit/004-programming-environment.mu | |
parent | 5c6840b81b7c74afd6ae65cd96ad229ddfad7503 (diff) | |
download | mu-7c87866f1d7f91d6557900f5b39eb7e62233f5d4.tar.gz |
2451 - drop zoom/maximize feature
I notice that it isn't working perfectly; after maximize/unmaximize the editor stops wrapping text, like it still thinks the editor is maximized. We don't even use this feature anymore, do we? Just delete it rather than bother debugging.
Diffstat (limited to 'edit/004-programming-environment.mu')
-rw-r--r-- | edit/004-programming-environment.mu | 125 |
1 files changed, 0 insertions, 125 deletions
diff --git a/edit/004-programming-environment.mu b/edit/004-programming-environment.mu index 392fecbd..0915fb33 100644 --- a/edit/004-programming-environment.mu +++ b/edit/004-programming-environment.mu @@ -596,131 +596,6 @@ after <global-type> [ } ] -# ctrl-x - maximize/unmaximize the side with focus - -scenario maximize-side [ - trace-until 100/app # trace too long - assume-screen 30/width, 5/height - # initialize both halves of screen - 1:address:array:character <- new [abc] - 2:address:array:character <- new [def] - 3:address:programming-environment-data <- new-programming-environment screen:address:screen, 1:address:array:character, 2:address:array:character - screen <- render-all screen, 3:address:programming-environment-data - screen-should-contain [ - . run (F4) . - .abc ┊def . - .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━. - . ┊ . - ] - # hit ctrl-x - assume-console [ - press ctrl-x - ] - run [ - event-loop screen:address:screen, console:address:console, 3:address:programming-environment-data - ] - # only left side visible - screen-should-contain [ - . run (F4) . - .abc . - .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈. - . . - ] - # hit any key to toggle back - assume-console [ - press ctrl-x - ] - run [ - event-loop screen:address:screen, console:address:console, 3:address:programming-environment-data - ] - screen-should-contain [ - . run (F4) . - .abc ┊def . - .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━. - . ┊ . - ] -] - -#? # ctrl-t - browse trace -#? after <global-type> [ -#? { -#? browse-trace?:boolean <- equal *c, 20/ctrl-t -#? break-unless browse-trace? -#? $browse-trace -#? screen <- render-all screen, env:address:programming-environment-data -#? loop +next-event:label -#? } -#? ] - -container programming-environment-data [ - maximized?:boolean -] - -after <global-type> [ - { - maximize?:boolean <- equal *c, 24/ctrl-x - break-unless maximize? - screen, console <- maximize screen, console, env:address:programming-environment-data - loop +next-event:label - } -] - -recipe maximize screen:address:screen, console:address:console, env:address:programming-environment-data -> screen:address:screen, console:address:console [ - local-scope - load-ingredients - hide-screen screen - # maximize one of the sides - maximized?:address:boolean <- get-address *env, maximized?:offset - *maximized? <- copy 1/true - # - sandbox-in-focus?:boolean <- get *env, sandbox-in-focus?:offset - { - break-if sandbox-in-focus? - editor:address:editor-data <- get *env, recipes:offset - right:address:number <- get-address *editor, right:offset - *right <- screen-width screen - *right <- subtract *right, 1 - screen <- render-recipes screen, env - } - { - break-unless sandbox-in-focus? - editor:address:editor-data <- get *env, current-sandbox:offset - left:address:number <- get-address *editor, left:offset - *left <- copy 0 - screen <- render-sandbox-side screen, env - } - show-screen screen -] - -# when maximized, wait for any event and simply unmaximize -after <handle-event> [ - { - maximized?:address:boolean <- get-address *env, maximized?:offset - break-unless *maximized? - *maximized? <- copy 0/false - # undo maximize - { - break-if *sandbox-in-focus? - editor:address:editor-data <- get *env, recipes:offset - right:address:number <- get-address *editor, right:offset - *right <- screen-width screen - *right <- divide *right, 2 - *right <- subtract *right, 1 - } - { - break-unless *sandbox-in-focus? - editor:address:editor-data <- get *env, current-sandbox:offset - left:address:number <- get-address *editor, left:offset - *left <- screen-width screen - *left <- divide *left, 2 - *left <- add *left, 1 - } - render-all screen, env - show-screen screen - loop +next-event:label - } -] - ## helpers recipe draw-vertical screen:address:screen, col:number, y:number, bottom:number [ |