rearranged long line in console.py
improved dbcs & box drawing handling
only trigger box drawing on horizontal single or double line sequences
no DBCS in WIDTH 40 and 20 modes
fixed DBCS blink palette glitch
added backend_cli --cli for better command-line interface. --dumb is now --filter.
simplified dumb terminal to filter-only, should also work on Windows
backend_dumb renamed novideo
replace hard-coded esc sequences with constant
novideo backend always initialises
novideo backend no longer uses the echo system
fix for LOCATEd text in command line interface
allow basic-style redirection in utf8
do not redirect writes to SCRN:
cli backend for Windows, sort of works
moved shared ansi constants to ansi.py
added --keys option to inject keystrokes into buffer at start
slight cleanup of redirection code
redirection: introduce linebuffer to allow handling of BACKSPACE like in GW-BASIC
moved i/o redirection code to redirect.py