about summary refs log tree commit diff stats
path: root/070display.cc
diff options
context:
space:
mode:
Diffstat (limited to '070display.cc')
-rw-r--r--070display.cc16
1 files changed, 8 insertions, 8 deletions
diff --git a/070display.cc b/070display.cc
index 8cedf9e3..76950156 100644
--- a/070display.cc
+++ b/070display.cc
@@ -1,4 +1,4 @@
-//: Take charge of the text-mode display and keyboard.
+//: Take charge of the text-mode display and console.
 
 :(before "End Globals")
 // uncomment to debug console programs
@@ -10,23 +10,23 @@
 long long int Display_row = 0, Display_column = 0;
 
 :(before "End Primitive Recipe Declarations")
-SWITCH_TO_DISPLAY,
+OPEN_CONSOLE,
 :(before "End Primitive Recipe Numbers")
-Recipe_number["switch-to-display"] = SWITCH_TO_DISPLAY;
-//? cerr << "switch-to-display: " << SWITCH_TO_DISPLAY << '\n'; //? 1
+Recipe_number["open-console"] = OPEN_CONSOLE;
+//? cerr << "open-console: " << OPEN_CONSOLE << '\n'; //? 1
 :(before "End Primitive Recipe Implementations")
-case SWITCH_TO_DISPLAY: {
+case OPEN_CONSOLE: {
   tb_init();
   Display_row = Display_column = 0;
   break;
 }
 
 :(before "End Primitive Recipe Declarations")
-RETURN_TO_CONSOLE,
+CLOSE_CONSOLE,
 :(before "End Primitive Recipe Numbers")
-Recipe_number["return-to-console"] = RETURN_TO_CONSOLE;
+Recipe_number["close-console"] = CLOSE_CONSOLE;
 :(before "End Primitive Recipe Implementations")
-case RETURN_TO_CONSOLE: {
+case CLOSE_CONSOLE: {
   tb_shutdown();
 //?   Trace_stream->dump_layer = "all"; //? 1
   break;
mu/commit/html/503manhattan-line.mu.html?h=hlt&id=52e3ea8a4bec791e4c2d64fb8aca9e26cdf60f25'>52e3ea8a ^
f6fd7e1b ^
dc5a0acf ^

f6fd7e1b ^

372367f5 ^
f6fd7e1b ^
78357b88 ^
52e3ea8a ^
372367f5 ^
f6fd7e1b ^


52e3ea8a ^
f6fd7e1b ^




























3350c34a ^
f6fd7e1b ^
4254408a ^




f6fd7e1b ^

4254408a ^
372367f5 ^
f6fd7e1b ^


4254408a ^
3350c34a ^
f6fd7e1b ^



4254408a ^
372367f5 ^
f6fd7e1b ^


4254408a ^
3350c34a ^
f6fd7e1b ^






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
79
80
81
82
83
84
85
86
87
88