Zachary Turner | c1b7cd7 | 2015-11-05 19:22:28 +0000 | [diff] [blame] | 1 | from __future__ import absolute_import |
Zachary Turner | 19474e1 | 2015-11-03 19:20:39 +0000 | [diff] [blame] | 2 | |
Zachary Turner | c1b7cd7 | 2015-11-05 19:22:28 +0000 | [diff] [blame] | 3 | # System modules |
| 4 | import curses |
| 5 | import curses.panel |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 6 | import sys |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 7 | import time |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 8 | |
Zachary Turner | c1b7cd7 | 2015-11-05 19:22:28 +0000 | [diff] [blame] | 9 | # Third-party modules |
| 10 | import six |
| 11 | |
| 12 | # LLDB modules |
| 13 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 14 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 15 | class Point(object): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 16 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 17 | def __init__(self, x, y): |
| 18 | self.x = x |
| 19 | self.y = y |
| 20 | |
| 21 | def __repr__(self): |
| 22 | return str(self) |
| 23 | |
| 24 | def __str__(self): |
| 25 | return "(x=%u, y=%u)" % (self.x, self.y) |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 26 | |
| 27 | def __eq__(self, rhs): |
| 28 | return self.x == rhs.x and self.y == rhs.y |
| 29 | |
| 30 | def __ne__(self, rhs): |
| 31 | return self.x != rhs.x or self.y != rhs.y |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 32 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 33 | def is_valid_coordinate(self): |
| 34 | return self.x >= 0 and self.y >= 0 |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 35 | |
| 36 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 37 | class Size(object): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 38 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 39 | def __init__(self, w, h): |
| 40 | self.w = w |
| 41 | self.h = h |
| 42 | |
| 43 | def __repr__(self): |
| 44 | return str(self) |
| 45 | |
| 46 | def __str__(self): |
| 47 | return "(w=%u, h=%u)" % (self.w, self.h) |
| 48 | |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 49 | def __eq__(self, rhs): |
| 50 | return self.w == rhs.w and self.h == rhs.h |
| 51 | |
| 52 | def __ne__(self, rhs): |
| 53 | return self.w != rhs.w or self.h != rhs.h |
| 54 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 55 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 56 | class Rect(object): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 57 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 58 | def __init__(self, x=0, y=0, w=0, h=0): |
| 59 | self.origin = Point(x, y) |
| 60 | self.size = Size(w, h) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 61 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 62 | def __repr__(self): |
| 63 | return str(self) |
| 64 | |
| 65 | def __str__(self): |
| 66 | return "{ %s, %s }" % (str(self.origin), str(self.size)) |
| 67 | |
| 68 | def get_min_x(self): |
| 69 | return self.origin.x |
| 70 | |
| 71 | def get_max_x(self): |
| 72 | return self.origin.x + self.size.w |
| 73 | |
| 74 | def get_min_y(self): |
| 75 | return self.origin.y |
| 76 | |
| 77 | def get_max_y(self): |
| 78 | return self.origin.y + self.size.h |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 79 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 80 | def contains_point(self, pt): |
| 81 | if pt.x < self.get_max_x(): |
| 82 | if pt.y < self.get_max_y(): |
| 83 | if pt.x >= self.get_min_y(): |
| 84 | return pt.y >= self.get_min_y() |
| 85 | return False |
| 86 | |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 87 | def __eq__(self, rhs): |
| 88 | return self.origin == rhs.origin and self.size == rhs.size |
| 89 | |
| 90 | def __ne__(self, rhs): |
| 91 | return self.origin != rhs.origin or self.size != rhs.size |
| 92 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 93 | |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 94 | class QuitException(Exception): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 95 | |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 96 | def __init__(self): |
| 97 | super(QuitException, self).__init__('QuitException') |
| 98 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 99 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 100 | class Window(object): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 101 | |
| 102 | def __init__(self, window, delegate=None, can_become_first_responder=True): |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 103 | self.window = window |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 104 | self.parent = None |
| 105 | self.delegate = delegate |
| 106 | self.children = list() |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 107 | self.first_responders = list() |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 108 | self.can_become_first_responder = can_become_first_responder |
Greg Clayton | 414dba5 | 2015-09-24 00:19:42 +0000 | [diff] [blame] | 109 | self.key_actions = dict() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 110 | |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 111 | def add_child(self, window): |
| 112 | self.children.append(window) |
| 113 | window.parent = self |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 114 | |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 115 | def resize(self, size): |
| 116 | self.window.resize(size.h, size.w) |
Greg Clayton | 414dba5 | 2015-09-24 00:19:42 +0000 | [diff] [blame] | 117 | |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 118 | def resize_child(self, child, delta_size, adjust_neighbors): |
| 119 | if child in self.children: |
| 120 | frame = self.get_frame() |
| 121 | orig_frame = child.get_frame() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 122 | new_frame = Rect( |
| 123 | x=orig_frame.origin.x, |
| 124 | y=orig_frame.origin.y, |
| 125 | w=orig_frame.size.w + |
| 126 | delta_size.w, |
| 127 | h=orig_frame.size.h + |
| 128 | delta_size.h) |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 129 | old_child_max_x = orig_frame.get_max_x() |
| 130 | new_child_max_x = new_frame.get_max_x() |
| 131 | window_max_x = frame.get_max_x() |
| 132 | if new_child_max_x < window_max_x: |
| 133 | child.resize(new_frame.size) |
| 134 | if old_child_max_x == window_max_x: |
| 135 | new_frame.origin.x += window_max_x - new_child_max_x |
| 136 | child.set_position(new_frame.origin) |
| 137 | elif new_child_max_x > window_max_x: |
| 138 | new_frame.origin.x -= new_child_max_x - window_max_x |
| 139 | child.set_position(new_frame.origin) |
| 140 | child.resize(new_frame.size) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 141 | |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 142 | if adjust_neighbors: |
Zachary Turner | 35d017f | 2015-10-23 17:04:29 +0000 | [diff] [blame] | 143 | #print('orig_frame = %s\r\n' % (str(orig_frame)), end='') |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 144 | for curr_child in self.children: |
| 145 | if curr_child is child: |
| 146 | continue |
| 147 | curr_child_frame = curr_child.get_frame() |
| 148 | if delta_size.w != 0: |
Zachary Turner | 35d017f | 2015-10-23 17:04:29 +0000 | [diff] [blame] | 149 | #print('curr_child_frame = %s\r\n' % (str(curr_child_frame)), end='') |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 150 | if curr_child_frame.get_min_x() == orig_frame.get_max_x(): |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 151 | curr_child_frame.origin.x += delta_size.w |
| 152 | curr_child_frame.size.w -= delta_size.w |
Zachary Turner | 35d017f | 2015-10-23 17:04:29 +0000 | [diff] [blame] | 153 | #print('adjusted curr_child_frame = %s\r\n' % (str(curr_child_frame)), end='') |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 154 | curr_child.resize(curr_child_frame.size) |
| 155 | curr_child.slide_position( |
| 156 | Size(w=delta_size.w, h=0)) |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 157 | elif curr_child_frame.get_max_x() == orig_frame.get_min_x(): |
| 158 | curr_child_frame.size.w -= delta_size.w |
Zachary Turner | 35d017f | 2015-10-23 17:04:29 +0000 | [diff] [blame] | 159 | #print('adjusted curr_child_frame = %s\r\n' % (str(curr_child_frame)), end='') |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 160 | curr_child.resize(curr_child_frame.size) |
| 161 | |
Greg Clayton | 414dba5 | 2015-09-24 00:19:42 +0000 | [diff] [blame] | 162 | def add_key_action(self, arg, callback, decription): |
| 163 | if isinstance(arg, list): |
| 164 | for key in arg: |
| 165 | self.add_key_action(key, callback, description) |
| 166 | else: |
Zachary Turner | f67f7e3 | 2015-10-26 16:51:09 +0000 | [diff] [blame] | 167 | if isinstance(arg, six.integer_types): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 168 | key_action_dict = {'key': arg, |
| 169 | 'callback': callback, |
| 170 | 'description': decription} |
Greg Clayton | 414dba5 | 2015-09-24 00:19:42 +0000 | [diff] [blame] | 171 | self.key_actions[arg] = key_action_dict |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 172 | elif isinstance(arg, basestring): |
Greg Clayton | 414dba5 | 2015-09-24 00:19:42 +0000 | [diff] [blame] | 173 | key_integer = ord(arg) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 174 | key_action_dict = {'key': key_integer, |
| 175 | 'callback': callback, |
| 176 | 'description': decription} |
Greg Clayton | 414dba5 | 2015-09-24 00:19:42 +0000 | [diff] [blame] | 177 | self.key_actions[key_integer] = key_action_dict |
| 178 | else: |
| 179 | raise ValueError |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 180 | |
| 181 | def draw_title_box(self, title): |
| 182 | is_in_first_responder_chain = self.is_in_first_responder_chain() |
| 183 | if is_in_first_responder_chain: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 184 | self.attron(curses.A_REVERSE) |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 185 | self.box() |
| 186 | if is_in_first_responder_chain: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 187 | self.attroff(curses.A_REVERSE) |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 188 | if title: |
| 189 | self.addstr(Point(x=2, y=0), ' ' + title + ' ') |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 190 | |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 191 | def remove_child(self, window): |
| 192 | self.children.remove(window) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 193 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 194 | def get_first_responder(self): |
| 195 | if len(self.first_responders): |
| 196 | return self.first_responders[-1] |
| 197 | else: |
| 198 | return None |
| 199 | |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 200 | def set_first_responder(self, window): |
| 201 | if window.can_become_first_responder: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 202 | if six.callable( |
| 203 | getattr( |
| 204 | window, |
| 205 | "hidden", |
| 206 | None)) and window.hidden(): |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 207 | return False |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 208 | if window not in self.children: |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 209 | self.add_child(window) |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 210 | # See if we have a current first responder, and if we do, let it know that |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 211 | # it will be resigning as first responder |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 212 | first_responder = self.get_first_responder() |
| 213 | if first_responder: |
| 214 | first_responder.relinquish_first_responder() |
| 215 | # Now set the first responder to "window" |
| 216 | if len(self.first_responders) == 0: |
| 217 | self.first_responders.append(window) |
| 218 | else: |
| 219 | self.first_responders[-1] = window |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 220 | return True |
| 221 | else: |
| 222 | return False |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 223 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 224 | def push_first_responder(self, window): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 225 | # Only push the window as the new first responder if the window isn't |
| 226 | # already the first responder |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 227 | if window != self.get_first_responder(): |
| 228 | self.first_responders.append(window) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 229 | |
| 230 | def pop_first_responder(self, window): |
| 231 | # Only pop the window from the first responder list if it is the first |
| 232 | # responder |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 233 | if window == self.get_first_responder(): |
| 234 | old_first_responder = self.first_responders.pop() |
| 235 | old_first_responder.relinquish_first_responder() |
| 236 | return True |
| 237 | else: |
| 238 | return False |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 239 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 240 | def relinquish_first_responder(self): |
| 241 | '''Override if there is something that you need to do when you lose first responder status.''' |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 242 | pass |
| 243 | |
| 244 | # def resign_first_responder(self, remove_from_parent, new_first_responder): |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 245 | # success = False |
| 246 | # if self.parent: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 247 | # if self.is_first_responder(): |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 248 | # self.relinquish_first_responder() |
| 249 | # if len(self.parent.first_responder): |
| 250 | # self.parent.first_responder = None |
| 251 | # success = True |
| 252 | # if remove_from_parent: |
| 253 | # self.parent.remove_child(self) |
| 254 | # if new_first_responder: |
| 255 | # self.parent.set_first_responder(new_first_responder) |
| 256 | # else: |
| 257 | # self.parent.select_next_first_responder() |
| 258 | # return success |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 259 | |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 260 | def is_first_responder(self): |
| 261 | if self.parent: |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 262 | return self.parent.get_first_responder() == self |
| 263 | else: |
| 264 | return False |
| 265 | |
| 266 | def is_in_first_responder_chain(self): |
| 267 | if self.parent: |
| 268 | return self in self.parent.first_responders |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 269 | else: |
| 270 | return False |
| 271 | |
| 272 | def select_next_first_responder(self): |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 273 | if len(self.first_responders) > 1: |
| 274 | self.pop_first_responder(self.first_responders[-1]) |
| 275 | else: |
| 276 | num_children = len(self.children) |
| 277 | if num_children == 1: |
| 278 | return self.set_first_responder(self.children[0]) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 279 | for (i, window) in enumerate(self.children): |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 280 | if window.is_first_responder(): |
| 281 | break |
| 282 | if i < num_children: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 283 | for i in range(i + 1, num_children): |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 284 | if self.set_first_responder(self.children[i]): |
| 285 | return True |
| 286 | for i in range(0, i): |
| 287 | if self.set_first_responder(self.children[i]): |
| 288 | return True |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 289 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 290 | def point_in_window(self, pt): |
| 291 | size = self.get_size() |
| 292 | return pt.x >= 0 and pt.x < size.w and pt.y >= 0 and pt.y < size.h |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 293 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 294 | def addch(self, c): |
| 295 | try: |
| 296 | self.window.addch(c) |
| 297 | except: |
| 298 | pass |
| 299 | |
| 300 | def addch_at_point(self, pt, c): |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 301 | try: |
| 302 | self.window.addch(pt.y, pt.x, c) |
| 303 | except: |
| 304 | pass |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 305 | |
| 306 | def addstr(self, pt, str): |
| 307 | try: |
| 308 | self.window.addstr(pt.y, pt.x, str) |
| 309 | except: |
| 310 | pass |
| 311 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 312 | def addnstr_at_point(self, pt, str, n): |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 313 | try: |
| 314 | self.window.addnstr(pt.y, pt.x, str, n) |
| 315 | except: |
| 316 | pass |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 317 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 318 | def addnstr(self, str, n): |
| 319 | try: |
| 320 | self.window.addnstr(str, n) |
| 321 | except: |
| 322 | pass |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 323 | |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 324 | def attron(self, attr): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 325 | return self.window.attron(attr) |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 326 | |
| 327 | def attroff(self, attr): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 328 | return self.window.attroff(attr) |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 329 | |
| 330 | def box(self, vertch=0, horch=0): |
| 331 | if vertch == 0: |
| 332 | vertch = curses.ACS_VLINE |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 333 | if horch == 0: |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 334 | horch = curses.ACS_HLINE |
| 335 | self.window.box(vertch, horch) |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 336 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 337 | def get_contained_rect( |
| 338 | self, |
| 339 | top_inset=0, |
| 340 | bottom_inset=0, |
| 341 | left_inset=0, |
| 342 | right_inset=0, |
| 343 | height=-1, |
| 344 | width=-1): |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 345 | '''Get a rectangle based on the top "height" lines of this window''' |
| 346 | rect = self.get_frame() |
| 347 | x = rect.origin.x + left_inset |
| 348 | y = rect.origin.y + top_inset |
| 349 | if height == -1: |
| 350 | h = rect.size.h - (top_inset + bottom_inset) |
| 351 | else: |
| 352 | h = height |
| 353 | if width == -1: |
| 354 | w = rect.size.w - (left_inset + right_inset) |
| 355 | else: |
| 356 | w = width |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 357 | return Rect(x=x, y=y, w=w, h=h) |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 358 | |
| 359 | def erase(self): |
| 360 | self.window.erase() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 361 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 362 | def get_cursor(self): |
| 363 | (y, x) = self.window.getyx() |
| 364 | return Point(x=x, y=y) |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 365 | |
| 366 | def get_frame(self): |
| 367 | position = self.get_position() |
| 368 | size = self.get_size() |
| 369 | return Rect(x=position.x, y=position.y, w=size.w, h=size.h) |
| 370 | |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 371 | def get_frame_in_parent(self): |
| 372 | position = self.get_position_in_parent() |
| 373 | size = self.get_size() |
| 374 | return Rect(x=position.x, y=position.y, w=size.w, h=size.h) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 375 | |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 376 | def get_position_in_parent(self): |
| 377 | (y, x) = self.window.getparyx() |
| 378 | return Point(x, y) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 379 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 380 | def get_position(self): |
| 381 | (y, x) = self.window.getbegyx() |
| 382 | return Point(x, y) |
| 383 | |
| 384 | def get_size(self): |
| 385 | (y, x) = self.window.getmaxyx() |
| 386 | return Size(w=x, h=y) |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 387 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 388 | def move(self, pt): |
| 389 | self.window.move(pt.y, pt.x) |
| 390 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 391 | def refresh(self): |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 392 | self.update() |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 393 | curses.panel.update_panels() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 394 | self.move(Point(x=0, y=0)) |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 395 | return self.window.refresh() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 396 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 397 | def resize(self, size): |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 398 | return self.window.resize(size.h, size.w) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 399 | |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 400 | def timeout(self, timeout_msec): |
| 401 | return self.window.timeout(timeout_msec) |
| 402 | |
| 403 | def handle_key(self, key, check_parent=True): |
| 404 | '''Handle a key press in this window.''' |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 405 | |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 406 | # First try the first responder if this window has one, but don't allow |
| 407 | # it to check with its parent (False second parameter) so we don't recurse |
| 408 | # and get a stack overflow |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 409 | for first_responder in reversed(self.first_responders): |
| 410 | if first_responder.handle_key(key, False): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 411 | return True |
Greg Clayton | 414dba5 | 2015-09-24 00:19:42 +0000 | [diff] [blame] | 412 | |
| 413 | # Check our key map to see if we have any actions. Actions don't take |
| 414 | # any arguments, they must be callable |
| 415 | if key in self.key_actions: |
| 416 | key_action = self.key_actions[key] |
| 417 | key_action['callback']() |
| 418 | return True |
| 419 | # Check if there is a wildcard key for any key |
| 420 | if -1 in self.key_actions: |
| 421 | key_action = self.key_actions[-1] |
| 422 | key_action['callback']() |
| 423 | return True |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 424 | # Check if the window delegate wants to handle this key press |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 425 | if self.delegate: |
Zachary Turner | cd236b8 | 2015-10-26 18:48:24 +0000 | [diff] [blame] | 426 | if six.callable(getattr(self.delegate, "handle_key", None)): |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 427 | if self.delegate.handle_key(self, key): |
| 428 | return True |
| 429 | if self.delegate(self, key): |
| 430 | return True |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 431 | # Check if we have a parent window and if so, let the parent |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 432 | # window handle the key press |
| 433 | if check_parent and self.parent: |
| 434 | return self.parent.handle_key(key, True) |
| 435 | else: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 436 | return False # Key not handled |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 437 | |
| 438 | def update(self): |
| 439 | for child in self.children: |
| 440 | child.update() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 441 | |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 442 | def quit_action(self): |
| 443 | raise QuitException |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 444 | |
Greg Clayton | 3fd1f74 | 2015-10-16 23:34:40 +0000 | [diff] [blame] | 445 | def get_key(self, timeout_msec=-1): |
| 446 | self.timeout(timeout_msec) |
| 447 | done = False |
| 448 | c = self.window.getch() |
| 449 | if c == 27: |
| 450 | self.timeout(0) |
| 451 | escape_key = 0 |
| 452 | while True: |
| 453 | escape_key = self.window.getch() |
| 454 | if escape_key == -1: |
| 455 | break |
| 456 | else: |
| 457 | c = c << 8 | escape_key |
| 458 | self.timeout(timeout_msec) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 459 | return c |
| 460 | |
Zachary Turner | da3dea6 | 2015-10-26 16:51:20 +0000 | [diff] [blame] | 461 | def key_event_loop(self, timeout_msec=-1, n=sys.maxsize): |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 462 | '''Run an event loop to receive key presses and pass them along to the |
| 463 | responder chain. |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 464 | |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 465 | timeout_msec is the timeout it milliseconds. If the value is -1, an |
| 466 | infinite wait will be used. It the value is zero, a non-blocking mode |
| 467 | will be used, and if greater than zero it will wait for a key press |
| 468 | for timeout_msec milliseconds. |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 469 | |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 470 | n is the number of times to go through the event loop before exiting''' |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 471 | done = False |
| 472 | while not done and n > 0: |
Greg Clayton | 258c164 | 2015-10-21 21:55:16 +0000 | [diff] [blame] | 473 | c = self.get_key(timeout_msec) |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 474 | if c != -1: |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 475 | try: |
| 476 | self.handle_key(c) |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 477 | except QuitException: |
| 478 | done = True |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 479 | n -= 1 |
| 480 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 481 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 482 | class Panel(Window): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 483 | |
| 484 | def __init__(self, frame, delegate=None, can_become_first_responder=True): |
| 485 | window = curses.newwin( |
| 486 | frame.size.h, |
| 487 | frame.size.w, |
| 488 | frame.origin.y, |
| 489 | frame.origin.x) |
| 490 | super( |
| 491 | Panel, |
| 492 | self).__init__( |
| 493 | window, |
| 494 | delegate, |
| 495 | can_become_first_responder) |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 496 | self.panel = curses.panel.new_panel(window) |
| 497 | |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 498 | def hide(self): |
| 499 | return self.panel.hide() |
| 500 | |
| 501 | def hidden(self): |
| 502 | return self.panel.hidden() |
| 503 | |
| 504 | def show(self): |
| 505 | return self.panel.show() |
| 506 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 507 | def top(self): |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 508 | return self.panel.top() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 509 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 510 | def set_position(self, pt): |
| 511 | self.panel.move(pt.y, pt.x) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 512 | |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 513 | def slide_position(self, size): |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 514 | new_position = self.get_position() |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 515 | new_position.x = new_position.x + size.w |
| 516 | new_position.y = new_position.y + size.h |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 517 | self.set_position(new_position) |
| 518 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 519 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 520 | class BoxedPanel(Panel): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 521 | |
| 522 | def __init__(self, frame, title, delegate=None, |
| 523 | can_become_first_responder=True): |
| 524 | super( |
| 525 | BoxedPanel, |
| 526 | self).__init__( |
| 527 | frame, |
| 528 | delegate, |
| 529 | can_become_first_responder) |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 530 | self.title = title |
| 531 | self.lines = list() |
| 532 | self.first_visible_idx = 0 |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 533 | self.selected_idx = -1 |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 534 | self.add_key_action( |
| 535 | curses.KEY_UP, |
| 536 | self.select_prev, |
| 537 | "Select the previous item") |
| 538 | self.add_key_action( |
| 539 | curses.KEY_DOWN, |
| 540 | self.select_next, |
| 541 | "Select the next item") |
| 542 | self.add_key_action( |
| 543 | curses.KEY_HOME, |
| 544 | self.scroll_begin, |
| 545 | "Go to the beginning of the list") |
| 546 | self.add_key_action( |
| 547 | curses.KEY_END, |
| 548 | self.scroll_end, |
| 549 | "Go to the end of the list") |
| 550 | self.add_key_action( |
| 551 | 0x1b4f48, |
| 552 | self.scroll_begin, |
| 553 | "Go to the beginning of the list") |
| 554 | self.add_key_action( |
| 555 | 0x1b4f46, |
| 556 | self.scroll_end, |
| 557 | "Go to the end of the list") |
| 558 | self.add_key_action( |
| 559 | curses.KEY_PPAGE, |
| 560 | self.scroll_page_backward, |
| 561 | "Scroll to previous page") |
| 562 | self.add_key_action( |
| 563 | curses.KEY_NPAGE, |
| 564 | self.scroll_page_forward, |
| 565 | "Scroll to next forward") |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 566 | self.update() |
| 567 | |
Greg Clayton | d13c4fb | 2015-09-22 17:18:15 +0000 | [diff] [blame] | 568 | def clear(self, update=True): |
| 569 | self.lines = list() |
| 570 | self.first_visible_idx = 0 |
| 571 | self.selected_idx = -1 |
| 572 | if update: |
| 573 | self.update() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 574 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 575 | def get_usable_width(self): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 576 | '''Valid usable width is 0 to (width - 3) since the left and right lines display the box around |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 577 | this frame and we skip a leading space''' |
| 578 | w = self.get_size().w |
| 579 | if w > 3: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 580 | return w - 3 |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 581 | else: |
| 582 | return 0 |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 583 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 584 | def get_usable_height(self): |
| 585 | '''Valid line indexes are 0 to (height - 2) since the top and bottom lines display the box around this frame.''' |
| 586 | h = self.get_size().h |
| 587 | if h > 2: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 588 | return h - 2 |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 589 | else: |
| 590 | return 0 |
| 591 | |
| 592 | def get_point_for_line(self, global_line_idx): |
| 593 | '''Returns the point to use when displaying a line whose index is "line_idx"''' |
| 594 | line_idx = global_line_idx - self.first_visible_idx |
| 595 | num_lines = self.get_usable_height() |
| 596 | if line_idx < num_lines: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 597 | return Point(x=2, y=1 + line_idx) |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 598 | else: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 599 | # return an invalid coordinate if the line index isn't valid |
| 600 | return Point(x=-1, y=-1) |
| 601 | |
| 602 | def set_title(self, title, update=True): |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 603 | self.title = title |
| 604 | if update: |
| 605 | self.update() |
| 606 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 607 | def scroll_to_line(self, idx): |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 608 | if idx < len(self.lines): |
| 609 | self.selected_idx = idx |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 610 | max_visible_lines = self.get_usable_height() |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 611 | if idx < self.first_visible_idx or idx >= self.first_visible_idx + max_visible_lines: |
| 612 | self.first_visible_idx = idx |
| 613 | self.refresh() |
| 614 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 615 | def scroll_begin(self): |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 616 | self.first_visible_idx = 0 |
| 617 | if len(self.lines) > 0: |
| 618 | self.selected_idx = 0 |
| 619 | else: |
| 620 | self.selected_idx = -1 |
| 621 | self.update() |
| 622 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 623 | def scroll_end(self): |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 624 | max_visible_lines = self.get_usable_height() |
| 625 | num_lines = len(self.lines) |
Greg Clayton | 414dba5 | 2015-09-24 00:19:42 +0000 | [diff] [blame] | 626 | if num_lines > max_visible_lines: |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 627 | self.first_visible_idx = num_lines - max_visible_lines |
| 628 | else: |
| 629 | self.first_visible_idx = 0 |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 630 | self.selected_idx = num_lines - 1 |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 631 | self.update() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 632 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 633 | def scroll_page_backward(self): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 634 | num_lines = len(self.lines) |
| 635 | max_visible_lines = self.get_usable_height() |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 636 | new_index = self.first_visible_idx - max_visible_lines |
| 637 | if new_index < 0: |
| 638 | self.first_visible_idx = 0 |
| 639 | else: |
| 640 | self.first_visible_idx = new_index |
| 641 | self.refresh() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 642 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 643 | def scroll_page_forward(self): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 644 | max_visible_lines = self.get_usable_height() |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 645 | self.first_visible_idx += max_visible_lines |
| 646 | self._adjust_first_visible_line() |
| 647 | self.refresh() |
| 648 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 649 | def select_next(self): |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 650 | self.selected_idx += 1 |
| 651 | if self.selected_idx >= len(self.lines): |
| 652 | self.selected_idx = len(self.lines) - 1 |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 653 | self.refresh() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 654 | |
| 655 | def select_prev(self): |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 656 | self.selected_idx -= 1 |
| 657 | if self.selected_idx < 0: |
| 658 | if len(self.lines) > 0: |
| 659 | self.selected_idx = 0 |
| 660 | else: |
| 661 | self.selected_idx = -1 |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 662 | self.refresh() |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 663 | |
| 664 | def get_selected_idx(self): |
| 665 | return self.selected_idx |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 666 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 667 | def _adjust_first_visible_line(self): |
| 668 | num_lines = len(self.lines) |
| 669 | max_visible_lines = self.get_usable_height() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 670 | if (self.first_visible_idx >= num_lines) or ( |
| 671 | num_lines - self.first_visible_idx) > max_visible_lines: |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 672 | self.first_visible_idx = num_lines - max_visible_lines |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 673 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 674 | def append_line(self, s, update=True): |
| 675 | self.lines.append(s) |
| 676 | self._adjust_first_visible_line() |
| 677 | if update: |
| 678 | self.update() |
| 679 | |
| 680 | def set_line(self, line_idx, s, update=True): |
| 681 | '''Sets a line "line_idx" within the boxed panel to be "s"''' |
| 682 | if line_idx < 0: |
| 683 | return |
| 684 | while line_idx >= len(self.lines): |
| 685 | self.lines.append('') |
| 686 | self.lines[line_idx] = s |
| 687 | self._adjust_first_visible_line() |
| 688 | if update: |
| 689 | self.update() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 690 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 691 | def update(self): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 692 | self.erase() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 693 | self.draw_title_box(self.title) |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 694 | max_width = self.get_usable_width() |
| 695 | for line_idx in range(self.first_visible_idx, len(self.lines)): |
| 696 | pt = self.get_point_for_line(line_idx) |
| 697 | if pt.is_valid_coordinate(): |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 698 | is_selected = line_idx == self.selected_idx |
| 699 | if is_selected: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 700 | self.attron(curses.A_REVERSE) |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 701 | self.move(pt) |
| 702 | self.addnstr(self.lines[line_idx], max_width) |
Greg Clayton | 8734924 | 2015-09-22 00:35:20 +0000 | [diff] [blame] | 703 | if is_selected: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 704 | self.attroff(curses.A_REVERSE) |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 705 | else: |
| 706 | return |
| 707 | |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 708 | def load_file(self, path): |
| 709 | f = open(path) |
| 710 | if f: |
| 711 | self.lines = f.read().splitlines() |
| 712 | for (idx, line) in enumerate(self.lines): |
| 713 | # Remove any tabs from lines since they hose up the display |
| 714 | if "\t" in line: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 715 | self.lines[idx] = (8 * ' ').join(line.split('\t')) |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 716 | self.selected_idx = 0 |
| 717 | self.first_visible_idx = 0 |
| 718 | self.refresh() |
| 719 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 720 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 721 | class Item(object): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 722 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 723 | def __init__(self, title, action): |
| 724 | self.title = title |
| 725 | self.action = action |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 726 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 727 | |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 728 | class TreeItemDelegate(object): |
| 729 | |
| 730 | def might_have_children(self): |
| 731 | return False |
| 732 | |
| 733 | def update_children(self, item): |
| 734 | '''Return a list of child Item objects''' |
| 735 | return None |
| 736 | |
| 737 | def draw_item_string(self, tree_window, item, s): |
| 738 | pt = tree_window.get_cursor() |
| 739 | width = tree_window.get_size().w - 1 |
| 740 | if width > pt.x: |
| 741 | tree_window.addnstr(s, width - pt.x) |
| 742 | |
| 743 | def draw_item(self, tree_window, item): |
| 744 | self.draw_item_string(tree_window, item, item.title) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 745 | |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 746 | def do_action(self): |
| 747 | pass |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 748 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 749 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 750 | class TreeItem(object): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 751 | |
| 752 | def __init__( |
| 753 | self, |
| 754 | delegate, |
| 755 | parent=None, |
| 756 | title=None, |
| 757 | action=None, |
| 758 | is_expanded=False): |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 759 | self.parent = parent |
| 760 | self.title = title |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 761 | self.action = action |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 762 | self.delegate = delegate |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 763 | self.is_expanded = not parent or is_expanded |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 764 | self._might_have_children = None |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 765 | self.children = None |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 766 | self._children_might_have_children = False |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 767 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 768 | def get_children(self): |
| 769 | if self.is_expanded and self.might_have_children(): |
| 770 | if self.children is None: |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 771 | self._children_might_have_children = False |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 772 | self.children = self.update_children() |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 773 | for child in self.children: |
| 774 | if child.might_have_children(): |
| 775 | self._children_might_have_children = True |
| 776 | break |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 777 | else: |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 778 | self._children_might_have_children = False |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 779 | self.children = None |
| 780 | return self.children |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 781 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 782 | def append_visible_items(self, items): |
| 783 | items.append(self) |
| 784 | children = self.get_children() |
| 785 | if children: |
| 786 | for child in children: |
| 787 | child.append_visible_items(items) |
| 788 | |
| 789 | def might_have_children(self): |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 790 | if self._might_have_children is None: |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 791 | if not self.parent: |
| 792 | # Root item always might have children |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 793 | self._might_have_children = True |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 794 | else: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 795 | # Check with the delegate to see if the item might have |
| 796 | # children |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 797 | self._might_have_children = self.delegate.might_have_children() |
| 798 | return self._might_have_children |
| 799 | |
| 800 | def children_might_have_children(self): |
| 801 | return self._children_might_have_children |
| 802 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 803 | def update_children(self): |
| 804 | if self.is_expanded and self.might_have_children(): |
| 805 | self.children = self.delegate.update_children(self) |
| 806 | for child in self.children: |
| 807 | child.update_children() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 808 | else: |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 809 | self.children = None |
| 810 | return self.children |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 811 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 812 | def get_num_visible_rows(self): |
| 813 | rows = 1 |
| 814 | if self.is_expanded: |
| 815 | children = self.get_children() |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 816 | if children: |
| 817 | for child in children: |
| 818 | rows += child.get_num_visible_rows() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 819 | return rows |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 820 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 821 | def draw(self, tree_window, row): |
| 822 | display_row = tree_window.get_display_row(row) |
| 823 | if display_row >= 0: |
| 824 | tree_window.move(tree_window.get_item_draw_point(row)) |
| 825 | if self.parent: |
| 826 | self.parent.draw_tree_for_child(tree_window, self, 0) |
| 827 | if self.might_have_children(): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 828 | tree_window.addch(curses.ACS_DIAMOND) |
| 829 | tree_window.addch(curses.ACS_HLINE) |
Greg Clayton | 5ea4483 | 2015-10-15 00:49:36 +0000 | [diff] [blame] | 830 | elif self.parent and self.parent.children_might_have_children(): |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 831 | if self.parent.parent: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 832 | tree_window.addch(curses.ACS_HLINE) |
| 833 | tree_window.addch(curses.ACS_HLINE) |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 834 | else: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 835 | tree_window.addch(' ') |
| 836 | tree_window.addch(' ') |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 837 | is_selected = tree_window.is_selected(row) |
| 838 | if is_selected: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 839 | tree_window.attron(curses.A_REVERSE) |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 840 | self.delegate.draw_item(tree_window, self) |
| 841 | if is_selected: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 842 | tree_window.attroff(curses.A_REVERSE) |
| 843 | |
| 844 | def draw_tree_for_child(self, tree_window, child, reverse_depth): |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 845 | if self.parent: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 846 | self.parent.draw_tree_for_child( |
| 847 | tree_window, self, reverse_depth + 1) |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 848 | if self.children[-1] == child: |
| 849 | # Last child |
| 850 | if reverse_depth == 0: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 851 | tree_window.addch(curses.ACS_LLCORNER) |
| 852 | tree_window.addch(curses.ACS_HLINE) |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 853 | else: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 854 | tree_window.addch(' ') |
| 855 | tree_window.addch(' ') |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 856 | else: |
| 857 | # Middle child |
| 858 | if reverse_depth == 0: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 859 | tree_window.addch(curses.ACS_LTEE) |
| 860 | tree_window.addch(curses.ACS_HLINE) |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 861 | else: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 862 | tree_window.addch(curses.ACS_VLINE) |
| 863 | tree_window.addch(' ') |
| 864 | |
| 865 | def was_selected(self): |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 866 | self.delegate.do_action() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 867 | |
| 868 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 869 | class TreePanel(Panel): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 870 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 871 | def __init__(self, frame, title, root_item): |
| 872 | self.root_item = root_item |
| 873 | self.title = title |
| 874 | self.first_visible_idx = 0 |
| 875 | self.selected_idx = 0 |
| 876 | self.items = None |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 877 | super(TreePanel, self).__init__(frame) |
| 878 | self.add_key_action( |
| 879 | curses.KEY_UP, |
| 880 | self.select_prev, |
| 881 | "Select the previous item") |
| 882 | self.add_key_action( |
| 883 | curses.KEY_DOWN, |
| 884 | self.select_next, |
| 885 | "Select the next item") |
| 886 | self.add_key_action( |
| 887 | curses.KEY_RIGHT, |
| 888 | self.right_arrow, |
| 889 | "Expand an item") |
| 890 | self.add_key_action( |
| 891 | curses.KEY_LEFT, |
| 892 | self.left_arrow, |
| 893 | "Unexpand an item or navigate to parent") |
| 894 | self.add_key_action( |
| 895 | curses.KEY_HOME, |
| 896 | self.scroll_begin, |
| 897 | "Go to the beginning of the tree") |
| 898 | self.add_key_action( |
| 899 | curses.KEY_END, |
| 900 | self.scroll_end, |
| 901 | "Go to the end of the tree") |
| 902 | self.add_key_action( |
| 903 | 0x1b4f48, |
| 904 | self.scroll_begin, |
| 905 | "Go to the beginning of the tree") |
| 906 | self.add_key_action( |
| 907 | 0x1b4f46, |
| 908 | self.scroll_end, |
| 909 | "Go to the end of the tree") |
| 910 | self.add_key_action( |
| 911 | curses.KEY_PPAGE, |
| 912 | self.scroll_page_backward, |
| 913 | "Scroll to previous page") |
| 914 | self.add_key_action( |
| 915 | curses.KEY_NPAGE, |
| 916 | self.scroll_page_forward, |
| 917 | "Scroll to next forward") |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 918 | |
| 919 | def get_selected_item(self): |
| 920 | if self.selected_idx < len(self.items): |
| 921 | return self.items[self.selected_idx] |
| 922 | else: |
| 923 | return None |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 924 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 925 | def select_item(self, item): |
| 926 | if self.items and item in self.items: |
| 927 | self.selected_idx = self.items.index(item) |
| 928 | return True |
| 929 | else: |
| 930 | return False |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 931 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 932 | def get_visible_items(self): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 933 | # Clear self.items when you want to update all chidren |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 934 | if self.items is None: |
| 935 | self.items = list() |
| 936 | children = self.root_item.get_children() |
| 937 | if children: |
| 938 | for child in children: |
| 939 | child.append_visible_items(self.items) |
| 940 | return self.items |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 941 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 942 | def update(self): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 943 | self.erase() |
| 944 | self.draw_title_box(self.title) |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 945 | visible_items = self.get_visible_items() |
| 946 | for (row, child) in enumerate(visible_items): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 947 | child.draw(self, row) |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 948 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 949 | def get_item_draw_point(self, row): |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 950 | display_row = self.get_display_row(row) |
| 951 | if display_row >= 0: |
| 952 | return Point(2, display_row + 1) |
| 953 | else: |
| 954 | return Point(-1, -1) |
| 955 | |
| 956 | def get_display_row(self, row): |
| 957 | if row >= self.first_visible_idx: |
| 958 | display_row = row - self.first_visible_idx |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 959 | if display_row < self.get_size().h - 2: |
| 960 | return display_row |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 961 | return -1 |
| 962 | |
| 963 | def is_selected(self, row): |
| 964 | return row == self.selected_idx |
| 965 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 966 | def get_num_lines(self): |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 967 | self.get_visible_items() |
| 968 | return len(self.items) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 969 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 970 | def get_num_visible_lines(self): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 971 | return self.get_size().h - 2 |
| 972 | |
| 973 | def select_next(self): |
| 974 | self.selected_idx += 1 |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 975 | num_lines = self.get_num_lines() |
| 976 | if self.selected_idx >= num_lines: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 977 | self.selected_idx = num_lines - 1 |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 978 | self._selection_changed() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 979 | self.refresh() |
| 980 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 981 | def select_prev(self): |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 982 | self.selected_idx -= 1 |
| 983 | if self.selected_idx < 0: |
| 984 | num_lines = self.get_num_lines() |
| 985 | if num_lines > 0: |
| 986 | self.selected_idx = 0 |
| 987 | else: |
| 988 | self.selected_idx = -1 |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 989 | self._selection_changed() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 990 | self.refresh() |
| 991 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 992 | def scroll_begin(self): |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 993 | self.first_visible_idx = 0 |
| 994 | num_lines = self.get_num_lines() |
| 995 | if num_lines > 0: |
| 996 | self.selected_idx = 0 |
| 997 | else: |
| 998 | self.selected_idx = -1 |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 999 | self.refresh() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1000 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1001 | def redisplay_tree(self): |
| 1002 | self.items = None |
| 1003 | self.refresh() |
| 1004 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1005 | def right_arrow(self): |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1006 | selected_item = self.get_selected_item() |
| 1007 | if selected_item and selected_item.is_expanded == False: |
| 1008 | selected_item.is_expanded = True |
| 1009 | self.redisplay_tree() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1010 | |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1011 | def left_arrow(self): |
| 1012 | selected_item = self.get_selected_item() |
| 1013 | if selected_item: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1014 | if selected_item.is_expanded: |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1015 | selected_item.is_expanded = False |
| 1016 | self.redisplay_tree() |
| 1017 | elif selected_item.parent: |
| 1018 | if self.select_item(selected_item.parent): |
| 1019 | self.refresh() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1020 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1021 | def scroll_end(self): |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1022 | num_visible_lines = self.get_num_visible_lines() |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 1023 | num_lines = self.get_num_lines() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1024 | if num_lines > num_visible_lines: |
| 1025 | self.first_visible_idx = num_lines - num_visible_lines |
| 1026 | else: |
| 1027 | self.first_visible_idx = 0 |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1028 | self.selected_idx = num_lines - 1 |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 1029 | self.refresh() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1030 | |
| 1031 | def scroll_page_backward(self): |
| 1032 | num_visible_lines = self.get_num_visible_lines() |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 1033 | new_index = self.selected_idx - num_visible_lines |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1034 | if new_index < 0: |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 1035 | self.selected_idx = 0 |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1036 | else: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1037 | self.selected_idx = new_index |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 1038 | self._selection_changed() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1039 | self.refresh() |
| 1040 | |
| 1041 | def scroll_page_forward(self): |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 1042 | num_lines = self.get_num_lines() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1043 | num_visible_lines = self.get_num_visible_lines() |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 1044 | new_index = self.selected_idx + num_visible_lines |
| 1045 | if new_index >= num_lines: |
| 1046 | new_index = num_lines - 1 |
| 1047 | self.selected_idx = new_index |
| 1048 | self._selection_changed() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1049 | self.refresh() |
| 1050 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1051 | def _selection_changed(self): |
| 1052 | num_lines = self.get_num_lines() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1053 | num_visible_lines = self.get_num_visible_lines() |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 1054 | last_visible_index = self.first_visible_idx + num_visible_lines |
| 1055 | if self.selected_idx >= last_visible_index: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1056 | self.first_visible_idx += (self.selected_idx - |
| 1057 | last_visible_index + 1) |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 1058 | if self.selected_idx < self.first_visible_idx: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1059 | self.first_visible_idx = self.selected_idx |
Greg Clayton | c12cc59 | 2015-10-16 00:34:18 +0000 | [diff] [blame] | 1060 | if self.selected_idx >= 0 and self.selected_idx < len(self.items): |
| 1061 | item = self.items[self.selected_idx] |
| 1062 | item.was_selected() |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1063 | |
| 1064 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1065 | class Menu(BoxedPanel): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1066 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1067 | def __init__(self, title, items): |
| 1068 | max_title_width = 0 |
| 1069 | for item in items: |
| 1070 | if max_title_width < len(item.title): |
| 1071 | max_title_width = len(item.title) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1072 | frame = Rect(x=0, y=0, w=max_title_width + 4, h=len(items) + 2) |
| 1073 | super( |
| 1074 | Menu, |
| 1075 | self).__init__( |
| 1076 | frame, |
| 1077 | title=None, |
| 1078 | delegate=None, |
| 1079 | can_become_first_responder=True) |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1080 | self.selected_idx = 0 |
| 1081 | self.title = title |
| 1082 | self.items = items |
| 1083 | for (item_idx, item) in enumerate(items): |
| 1084 | self.set_line(item_idx, item.title) |
| 1085 | self.hide() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1086 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1087 | def update(self): |
| 1088 | super(Menu, self).update() |
| 1089 | |
| 1090 | def relinquish_first_responder(self): |
| 1091 | if not self.hidden(): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1092 | self.hide() |
| 1093 | |
| 1094 | def perform_action(self): |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1095 | selected_idx = self.get_selected_idx() |
| 1096 | if selected_idx < len(self.items): |
| 1097 | action = self.items[selected_idx].action |
| 1098 | if action: |
| 1099 | action() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1100 | |
| 1101 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1102 | class MenuBar(Panel): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1103 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1104 | def __init__(self, frame): |
| 1105 | super(MenuBar, self).__init__(frame, can_become_first_responder=True) |
| 1106 | self.menus = list() |
| 1107 | self.selected_menu_idx = -1 |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1108 | self.add_key_action( |
| 1109 | curses.KEY_LEFT, |
| 1110 | self.select_prev, |
| 1111 | "Select the previous menu") |
| 1112 | self.add_key_action( |
| 1113 | curses.KEY_RIGHT, |
| 1114 | self.select_next, |
| 1115 | "Select the next menu") |
| 1116 | self.add_key_action( |
| 1117 | curses.KEY_DOWN, |
| 1118 | lambda: self.select(0), |
| 1119 | "Select the first menu") |
| 1120 | self.add_key_action( |
| 1121 | 27, |
| 1122 | self.relinquish_first_responder, |
| 1123 | "Hide current menu") |
| 1124 | self.add_key_action( |
| 1125 | curses.KEY_ENTER, |
| 1126 | self.perform_action, |
| 1127 | "Select the next menu item") |
| 1128 | self.add_key_action( |
| 1129 | 10, |
| 1130 | self.perform_action, |
| 1131 | "Select the next menu item") |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1132 | |
Zachary Turner | da3dea6 | 2015-10-26 16:51:20 +0000 | [diff] [blame] | 1133 | def insert_menu(self, menu, index=sys.maxsize): |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1134 | if index >= len(self.menus): |
| 1135 | self.menus.append(menu) |
| 1136 | else: |
| 1137 | self.menus.insert(index, menu) |
| 1138 | pt = self.get_position() |
| 1139 | for menu in self.menus: |
| 1140 | menu.set_position(pt) |
| 1141 | pt.x += len(menu.title) + 5 |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1142 | |
| 1143 | def perform_action(self): |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1144 | '''If no menu is visible, show the first menu. If a menu is visible, perform the action |
| 1145 | associated with the selected menu item in the menu''' |
| 1146 | menu_visible = False |
| 1147 | for menu in self.menus: |
| 1148 | if not menu.hidden(): |
| 1149 | menu_visible = True |
| 1150 | break |
| 1151 | if menu_visible: |
| 1152 | menu.perform_action() |
| 1153 | self.selected_menu_idx = -1 |
| 1154 | self._selected_menu_changed() |
| 1155 | else: |
| 1156 | self.select(0) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1157 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1158 | def relinquish_first_responder(self): |
| 1159 | if self.selected_menu_idx >= 0: |
| 1160 | self.selected_menu_idx = -1 |
| 1161 | self._selected_menu_changed() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1162 | |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1163 | def _selected_menu_changed(self): |
| 1164 | for (menu_idx, menu) in enumerate(self.menus): |
| 1165 | is_hidden = menu.hidden() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1166 | if menu_idx != self.selected_menu_idx: |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1167 | if not is_hidden: |
| 1168 | if self.parent.pop_first_responder(menu) == False: |
| 1169 | menu.hide() |
| 1170 | for (menu_idx, menu) in enumerate(self.menus): |
| 1171 | is_hidden = menu.hidden() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1172 | if menu_idx == self.selected_menu_idx: |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1173 | if is_hidden: |
| 1174 | menu.show() |
| 1175 | self.parent.push_first_responder(menu) |
| 1176 | menu.top() |
| 1177 | self.parent.refresh() |
| 1178 | |
| 1179 | def select(self, index): |
| 1180 | if index < len(self.menus): |
| 1181 | self.selected_menu_idx = index |
| 1182 | self._selected_menu_changed() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1183 | |
| 1184 | def select_next(self): |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1185 | num_menus = len(self.menus) |
| 1186 | if self.selected_menu_idx == -1: |
| 1187 | if num_menus > 0: |
| 1188 | self.selected_menu_idx = 0 |
| 1189 | self._selected_menu_changed() |
| 1190 | else: |
| 1191 | if self.selected_menu_idx + 1 < num_menus: |
| 1192 | self.selected_menu_idx += 1 |
| 1193 | else: |
| 1194 | self.selected_menu_idx = -1 |
| 1195 | self._selected_menu_changed() |
| 1196 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1197 | def select_prev(self): |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1198 | num_menus = len(self.menus) |
| 1199 | if self.selected_menu_idx == -1: |
| 1200 | if num_menus > 0: |
| 1201 | self.selected_menu_idx = num_menus - 1 |
| 1202 | self._selected_menu_changed() |
| 1203 | else: |
| 1204 | if self.selected_menu_idx - 1 >= 0: |
| 1205 | self.selected_menu_idx -= 1 |
| 1206 | else: |
| 1207 | self.selected_menu_idx = -1 |
| 1208 | self._selected_menu_changed() |
| 1209 | |
| 1210 | def update(self): |
| 1211 | self.erase() |
| 1212 | is_in_first_responder_chain = self.is_in_first_responder_chain() |
| 1213 | if is_in_first_responder_chain: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1214 | self.attron(curses.A_REVERSE) |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1215 | pt = Point(x=0, y=0) |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1216 | for menu in self.menus: |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1217 | self.addstr(pt, '| ' + menu.title + ' ') |
| 1218 | pt.x += len(menu.title) + 5 |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1219 | self.addstr(pt, '|') |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1220 | width = self.get_size().w |
| 1221 | while pt.x < width: |
Greg Clayton | 72d5144 | 2015-10-13 23:16:29 +0000 | [diff] [blame] | 1222 | self.addch_at_point(pt, ' ') |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1223 | pt.x += 1 |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1224 | if is_in_first_responder_chain: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1225 | self.attroff(curses.A_REVERSE) |
Greg Clayton | 37191a2 | 2015-10-07 20:00:28 +0000 | [diff] [blame] | 1226 | |
| 1227 | for menu in self.menus: |
| 1228 | menu.update() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1229 | |
| 1230 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 1231 | class StatusPanel(Panel): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1232 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 1233 | def __init__(self, frame): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1234 | super( |
| 1235 | StatusPanel, |
| 1236 | self).__init__( |
| 1237 | frame, |
| 1238 | delegate=None, |
| 1239 | can_become_first_responder=False) |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 1240 | self.status_items = list() |
| 1241 | self.status_dicts = dict() |
| 1242 | self.next_status_x = 1 |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1243 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 1244 | def add_status_item(self, name, title, format, width, value, update=True): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1245 | status_item_dict = {'name': name, |
| 1246 | 'title': title, |
| 1247 | 'width': width, |
| 1248 | 'format': format, |
| 1249 | 'value': value, |
| 1250 | 'x': self.next_status_x} |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 1251 | index = len(self.status_items) |
| 1252 | self.status_items.append(status_item_dict) |
| 1253 | self.status_dicts[name] = index |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1254 | self.next_status_x += width + 2 |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 1255 | if update: |
| 1256 | self.update() |
| 1257 | |
| 1258 | def increment_status(self, name, update=True): |
| 1259 | if name in self.status_dicts: |
| 1260 | status_item_idx = self.status_dicts[name] |
| 1261 | status_item_dict = self.status_items[status_item_idx] |
| 1262 | status_item_dict['value'] = status_item_dict['value'] + 1 |
| 1263 | if update: |
| 1264 | self.update() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1265 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 1266 | def update_status(self, name, value, update=True): |
| 1267 | if name in self.status_dicts: |
| 1268 | status_item_idx = self.status_dicts[name] |
| 1269 | status_item_dict = self.status_items[status_item_idx] |
| 1270 | status_item_dict['value'] = status_item_dict['format'] % (value) |
| 1271 | if update: |
| 1272 | self.update() |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1273 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 1274 | def update(self): |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1275 | self.erase() |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 1276 | for status_item_dict in self.status_items: |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1277 | self.addnstr_at_point( |
| 1278 | Point( |
| 1279 | x=status_item_dict['x'], |
| 1280 | y=0), |
| 1281 | '%s: %s' % |
| 1282 | (status_item_dict['title'], |
| 1283 | status_item_dict['value']), |
| 1284 | status_item_dict['width']) |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 1285 | |
| 1286 | stdscr = None |
| 1287 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1288 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 1289 | def intialize_curses(): |
| 1290 | global stdscr |
| 1291 | stdscr = curses.initscr() |
| 1292 | curses.noecho() |
| 1293 | curses.cbreak() |
| 1294 | stdscr.keypad(1) |
| 1295 | try: |
| 1296 | curses.start_color() |
| 1297 | except: |
| 1298 | pass |
| 1299 | return Window(stdscr) |
| 1300 | |
Kate Stone | b9c1b51 | 2016-09-06 20:57:50 +0000 | [diff] [blame] | 1301 | |
Greg Clayton | 1827fc2 | 2015-09-19 00:39:09 +0000 | [diff] [blame] | 1302 | def terminate_curses(): |
| 1303 | global stdscr |
| 1304 | if stdscr: |
| 1305 | stdscr.keypad(0) |
| 1306 | curses.echo() |
| 1307 | curses.nocbreak() |
| 1308 | curses.endwin() |