##// 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

File last commit:

r13042:bd9bc412 stable
r15053:17ffb30d stable
Show More
defines.wxi
9 lines | 135 B | text/plain | TextLexer
<Include>
<?if $(var.Platform) = "x64" ?>
<?define IsX64 = yes ?>
<?else?>
<?define IsX64 = no ?>
<?endif?>
</Include>