##// END OF EJS Templates
ui: pass ' ' to raw_input when prompting...
ui: pass ' ' to raw_input when prompting This is a workaround for calling ui.prompt(...), typing some character then hitting backspace which causes the entire line to delete rather than just the one character. This was seen on Debian using gnome-terminal. (credits to Mads for the idea) Python bug can be found here: http://bugs.python.org/issue12833
Idan Kamara -
r15053:17ffb30d stable
Show More
Name Size Modified Last Commit Author
/ hgext / zeroconf
Zeroconf.py Loading ...
__init__.py Loading ...