def delete_theme(): global currentIdx, currentMenu, theme_name, menu_stack # Load custom-theme, remove .xml extension theme_name = os.path.splitext(theme.CUSTOM_THEME)[0] # Remove .xml try: os.remove(theme.theme_file) except: pass # Remove .json json_file = os.path.splitext(theme.theme_file)[0] + '.json' try: os.remove(json_file) except: pass # Remove .png png_file = os.path.splitext(theme.theme_file)[0] + '.png' try: os.remove(png_file) except: pass # Go back to main menu del menu_stack[:] menu_stack = [[menus.main, '']] currentMenu = menus.main currentIdx = 0 menus.update_naming() # redraw_board() graphics.drawCurrentMenu()
def input_string(key): global tile tile = '' while key != keys['ENTER']: if key > 0 and key != keys['ENTER']: if key == keys['BACKSPACE']: tile = tile[:-1] else: tile += curses.keyname(key) redraw_board() graphics.drawCurrentMenu() key = graphics.screen.getch()
def start(): init() while True: controls.update() graphics.drawCurrentMenu()