commit 662adbe85bed93106d2d22b915cb81f555af1d7f parent 0f3b70ad881cfd9cbf0d622b21aa057c1705a36e Author: ThomasV <thomasv@gitorious> Date: Sat, 15 Dec 2012 14:06:22 +0100 allow any character in edit_str Diffstat:
M | lib/gui_text.py | | | 7 | +++---- |
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/lib/gui_text.py b/lib/gui_text.py @@ -190,11 +190,10 @@ class ElectrumGui: def edit_str(self, target, c, is_num=False): - chars = '0123456789.' if is_num else '0123456789.:;,!?abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ' - if curses.unctrl(c) in chars: - target += curses.unctrl(c) - elif c==263 and target: + if c==263 and target: target = target[:-1] + elif not is_num or curses.unctrl(c) in '0123456789.': + target += curses.unctrl(c) return target