diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 23:51:55 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 23:51:55 -0700 |
commit | 4a70fb39cc6a0f2ebe34e9b58b873e13d8221015 (patch) | |
tree | 0a9ea58f4d0f3786b1023ae0d347361976a694fa /sandbox/004-programming-environment.mu | |
parent | eeed3845cd504028779c333665e0b9fad2070357 (diff) | |
download | mu-4a70fb39cc6a0f2ebe34e9b58b873e13d8221015.tar.gz |
3457
Switch around some unicode characters in the edit/ app so that it renders more cleanly in html (with monospace fonts).
Diffstat (limited to 'sandbox/004-programming-environment.mu')
-rw-r--r-- | sandbox/004-programming-environment.mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sandbox/004-programming-environment.mu b/sandbox/004-programming-environment.mu index f39f0b35..af136deb 100644 --- a/sandbox/004-programming-environment.mu +++ b/sandbox/004-programming-environment.mu @@ -269,7 +269,7 @@ def render-sandbox-side screen:&:screen, env:&:environment, {render-editor: (rec clear-line-until screen, right row <- add row, 1 # draw solid line after code (you'll see why in later layers) - draw-horizontal screen, row, left, right, 9473/horizontal + draw-horizontal screen, row, left, right row <- add row, 1 clear-screen-from screen, row, left, left, right ] |