} else if (tokens[0] === 'ANNOTATION') {
let position = parser.parse_yx(tokens[1]);
explorer.update_info_db(position, tokens[2]);
- tui.restore_input_values();
tui.full_refresh();
} else if (tokens[0] === 'UNHANDLED_INPUT') {
tui.log_msg('? unknown command');
def cmd_ANNOTATION(game, position, msg):
game.info_db[position] = msg
- game.tui.restore_input_values()
if game.tui.mode.shows_info:
game.tui.do_refresh = True
cmd_ANNOTATION.argtypes = 'yx_tuple:nonneg string'
if mode_name == 'admin_enter' and self.is_admin:
mode_name = 'admin'
self.mode = getattr(self, 'mode_' + mode_name)
- if self.mode and self.mode.name == 'control_tile_draw':
+ if self.mode.name == 'control_tile_draw':
self.log_msg('@ finished tile protection drawing.')
if self.mode.name in {'control_tile_draw', 'control_tile_type',
'control_pw_type'}: