From 4a70fb39cc6a0f2ebe34e9b58b873e13d8221015 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 6 Oct 2016 23:51:55 -0700 Subject: 3457 Switch around some unicode characters in the edit/ app so that it renders more cleanly in html (with monospace fonts). --- sandbox/004-programming-environment.mu | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sandbox/004-programming-environment.mu') 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 ] -- cgit 1.4.1-2-gfad0
about summary refs log tree commit diff stats
path: root/themes/mono
blob: e40a3278e09855142452152ea471af4c0cadfda5 (plain) (blame) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78