equal
deleted
inserted
replaced
6 |
6 |
7 |
7 |
8 class EditField(Widget): |
8 class EditField(Widget): |
9 def __init__(self, width=10, value=''): |
9 def __init__(self, width=10, value=''): |
10 Widget.__init__(self, width, 1) |
10 Widget.__init__(self, width, 1) |
|
11 |
|
12 self.allow_focus = True |
11 |
13 |
12 self.code = locale.getpreferredencoding() |
14 self.code = locale.getpreferredencoding() |
13 if not isinstance(value, str): |
15 if not isinstance(value, str): |
14 value = str(value, self.code) |
16 value = str(value, self.code) |
15 |
17 |