7 def set_window_geometries():
10 win["size"], win["start"] = [0, 0], [0, 0]
11 win["size"][0] = win["config"][0]
12 if (win["config"][0] == 0):
13 win["size"][0] = screen_size[0] - sep_size
14 elif (win["config"][0] < 0):
15 win["size"][0] = screen_size[0] + win["config"][0] - sep_size
16 win["size"][1] = win["config"][1]
17 if (win["config"][1] == 0):
18 win["size"][1] = screen_size[1]
19 elif (win["config"][1] < 0):
20 win["size"][1] = screen_size[1] + win["config"][1]
23 win_i = windows.index(win)
25 # If win is first window, it goes into the top left corner.
26 win["start"][0] = 0 + sep_size
30 # If not, get win's closest predecessor starting a new stack on the
31 # screen top,fit win's top left to that win_top's top right corner.
33 for i in range(win_i - 1, -1, -1):
35 if (win_top["start"][0] == 0 + sep_size):
37 win["start"][1] = win_top["start"][1] + win_top["size"][1] \
40 # If enough space is found below win's predecessor, fit win's top
41 # left corner to that predecessor's bottom left corner.
42 win_prev = windows[win_i - 1]
43 next_free_y = win_prev["start"][0] + win_prev["size"][0] + sep_size
44 if (win["size"][1] <= win_prev["size"][1] and
45 win["size"][0] <= screen_size[0] - next_free_y):
46 win["start"][1] = win_prev["start"][1]
47 win["start"][0] = next_free_y
49 # If that fails, try to fit win's top left corner to the top right
50 # corner of its closest predecessor win_test 1) below win_top (see
51 # above) 2) and with enough space open to its right between its
52 # right edge and the lower edge of a win_high located directly
53 # above win_test to fit win there (without growing further to the
54 # right than win_high does or surpassing the screen's lower edge).
58 while (win_test != win_top):
59 for i in range(win_i - 2, -1, -1):
61 if win_test["start"][0] > win_high["start"][0]:
63 next_free_y = win_high["start"][0] + win_high["size"][0] \
65 first_free_x = win_test["start"][1] + win_test["size"][1] \
67 last_free_x = win_high["start"][1] + win_high["size"][1]
68 if (win["size"][0] <= screen_size[0] - next_free_y and
69 win["size"][1] <= last_free_x - first_free_x):
70 win["start"][1] = first_free_x
71 win["start"][0] = next_free_y
75 global screen_size, stdscr
77 stdscr = curses.initscr()
78 screen_size = stdscr.getmaxyx()
86 def draw_window_border_lines():
89 j = win["start"][int(k == 0)] - sep_size
90 if (j >= 0 and j < screen_size[int(k == 0)]):
91 start = win["start"][k]
92 # start = start if start >= 0 else 0
93 end = win["start"][k] + win["size"][k]
94 end = end if end < screen_size[k] else screen_size[k]
96 [stdscr.addch(j, i, '-') for i in range(start, end)]
98 [stdscr.addch(i, j, '|') for i in range(start, end)]
100 def draw_window_border_corners():
102 up = win["start"][0] - sep_size
103 down = win["start"][0] + win["size"][0]
104 left = win["start"][1] - sep_size
105 right = win["start"][1] + win["size"][1]
106 if (up >= 0 and up < screen_size[0]):
107 if (left >= 0 and left < screen_size[1]):
108 stdscr.addch(up, left, '+')
109 if (right >= 0 and right < screen_size[1]):
110 stdscr.addch(up, right, '+')
111 if (down >= 0 and down < screen_size[0]):
112 if (left >= 0 and left < screen_size[1]):
113 stdscr.addch(down, left, '+')
114 if (right >= 0 and right < screen_size[1]):
115 stdscr.addch(down, right, '+')
117 def draw_window_contents():
121 stop[i] = win["size"][i] + offset[i]
122 stop[i] = stop[i] if stop[i] < size[i] else size[i]
123 for y in range(offset[0], stop[0]):
124 for x in range(offset[1], stop[1]):
125 cell = winmap[y * size[1] + x]
126 y_in_screen = win["start"][0] + (y - offset[0])
127 x_in_screen = win["start"][1] + (x - offset[1])
128 if (y_in_screen < screen_size[0]
129 and x_in_screen < screen_size[1]):
130 stdscr.addch(y_in_screen, x_in_screen, cell)
131 def draw_scroll_hints():
132 def draw_scroll_string(n_lines_outside):
133 hint = ' ' + str(n_lines_outside + 1) + ' more ' + unit + ' '
134 if len(hint) <= win["size"][ni]:
135 non_hint_space = win["size"][ni] - len(hint)
136 hint_offset = int(non_hint_space / 2)
137 for j in range(win["size"][ni] - non_hint_space):
138 pos_2 = win["start"][ni] + hint_offset + j
139 x, y = (pos_2, pos_1) if ni else (pos_1, pos_2)
140 stdscr.addch(y, x, hint[j], curses.A_REVERSE)
141 def draw_scroll_arrows(ar1, ar2):
142 for j in range(win["size"][ni]):
143 pos_2 = win["start"][ni] + j
144 x, y = (pos_2, pos_1) if ni else (pos_1, pos_2)
145 stdscr.addch(y, x, ar1 if ni else ar2, curses.A_REVERSE)
148 unit = 'rows' if ni else 'columns'
150 pos_1 = win["start"][i]
151 draw_scroll_arrows('^', '<')
152 draw_scroll_string(offset[i])
153 if (size[i] > offset[i] + win["size"][i]):
154 pos_1 = win["start"][i] + win["size"][i] - 1
155 draw_scroll_arrows('v', '>')
156 draw_scroll_string(size[i] - offset[i] - win["size"][i])
158 offset, size, winmap = win["func"]()
163 draw_window_border_lines()
164 draw_window_border_corners()
165 draw_window_contents()
169 def test_and_poll_server():
171 new_file_content = io["file_in"].read()
172 # TODO: do something useful with new_file_content
173 server_answered = len(new_file_content) > 0
175 test_and_poll_server.ping_sent = False
176 elif test_and_poll_server.wait_start + half_wait_time < time.time():
177 if not test_and_poll_server.ping_sent:
178 io["file_out"].write("PING\n")
179 io["file_out"].flush()
180 test_and_poll_server.ping_sent = True
181 test_and_poll_server.wait_start = time.time()
182 elif test_and_poll_server.ping_sent:
183 raise SystemExit("Server not answering anymore.")
184 test_and_poll_server.wait_start = 0
187 def cursed_main(stdscr):
189 curses.curs_set(False)
190 # stdscr.keypad(True)
191 signal.signal(signal.SIGWINCH,
192 lambda ignore_1, ignore_2: set_window_geometries())
193 set_window_geometries()
196 stdscr.timeout(delay)
197 delay = delay * 2 if delay < 1000 else delay
199 char = stdscr.getch()
201 if chr(char) in commands:
202 commands[chr(char)]()
203 test_and_poll_server()
207 winmap = ['.', 'o', '.', 'o', 'O', 'o', '.', 'o', '.', 'x', 'y', 'x']
210 return offset, size, winmap
214 io["file_out"].write("QUIT\n")
215 io["file_out"].flush()
216 raise SystemExit("Received QUIT command, forwarded to server, leaving.")
220 {"config": [1, 33], "func": foo},
221 {"config": [-7, 33], "func": foo},
222 {"config": [4, 16], "func": foo},
223 {"config": [4, 16], "func": foo},
224 {"config": [0, -34], "func": foo}
227 "path_out": "server/in",
228 "path_in": "server/out"
233 sep_size = 1 # Width of inter-window borders and title bars.
239 if (not os.access(io["path_out"], os.F_OK)):
240 msg = "No server input file found at " + io["path_out"] + "."
241 raise SystemExit(msg)
242 io["file_out"] = open(io["path_out"], "a")
243 io["file_in"] = open(io["path_in"], "r")
244 curses.wrapper(cursed_main)
245 except SystemExit as exit:
246 print("ABORTING: " + exit.args[0])
248 print("SOMETHING WENT WRONG IN UNEXPECTED WAYS")
252 io["file_out"].close()
254 io["file_in"].close()