[tor-commits] [nyx/master] Merge ui_tools.py into curses.py