def _set_terminal_size(): import terminal_size w, h = terminal_size.terminal_size() global TERMINAL_H TERMINAL_H = h global TERMINAL_W TERMINAL_W = w
#!/usr/bin/env python
from terminal_size import terminal_size
from progressbar import widget
_COLS, _ROWS = terminal_size()
class Mu_BoardDebugger(object):
WIDTH = ((_ROWS//2)-7, (_COLS//2)-18)
FORMATTERS = {
'DEFAULT': widget.Formatter(),
}
SEEN_FORMATTER = widget.Formatter(color="blue", bg_color="white")
CUR_FORMATTER = widget.Formatter(color="red", bg_color="white", reverse=True)
CUR_WAIT_FORMATTER = widget.Formatter(color="black", bg_color="white", reverse=True)
SELECTED_SEEN_FORMATTER = widget.Formatter(color="blue", bg_color="green")
SELECTED_CUR_FORMATTER = widget.Formatter(color="red", bg_color="green", reverse=True)
SELECTED_CUR_WAIT_FORMATTER = widget.Formatter(color="black", bg_color="green", reverse=True)
def __init__(self, mu_board, mu_debugger, width=None, thread_len=-1):
self.mu_debugger = mu_debugger
self.mu_debugger.add_board_debugger(self)
self.mu_board = mu_board
self.mu = mu_board.mu
self._center = None
self._last_center = None
# self.seen = [[0 for col in xrange(self.mu_board.max_j)] for row in xrange(self.mu_board.max_i)]
self.seen = [[[] for col in xrange(self.mu_board.max_j)] for row in xrange(self.mu_board.max_i)]
if width is None:
width = self.WIDTH
self.width = width
self.thread_len = thread_len
