equal
deleted
inserted
replaced
10 |
10 |
11 """ |
11 """ |
12 |
12 |
13 def __init__(self, text=''): |
13 def __init__(self, text=''): |
14 Widget.__init__(self) |
14 Widget.__init__(self) |
|
15 self.allow_focus = True |
15 |
16 |
16 # Text content, splitted as lines |
17 # Text content, splitted as lines |
17 self._lines = [] |
18 self._lines = [] |
18 self.text = text |
19 self.text = text |
19 |
|
20 self.allow_focus = True |
|
21 |
20 |
22 # Cursor position is same as spot. |
21 # Cursor position is same as spot. |
23 # This variable rememberes horizontal position |
22 # This variable rememberes horizontal position |
24 # for the case when cursor moves to shorter line. |
23 # for the case when cursor moves to shorter line. |
25 self.cursor_column = 0 |
24 self.cursor_column = 0 |