Nevermind. I discovered tty_signal_keys in urwid.raw_display.RealTerminal:
ui.tty_signal_keys('undefined', 'undefined', 'undefined', 'undefined',
'undefined') does the trick.Le Roux _______________________________________________ Urwid mailing list [email protected] http://lists.excess.org/mailman/listinfo/urwid
