equal
deleted
inserted
replaced
51 |
51 |
52 @property |
52 @property |
53 def cursor(self): |
53 def cursor(self): |
54 if self.focus_widget: |
54 if self.focus_widget: |
55 cursor = self.focus_widget.cursor |
55 cursor = self.focus_widget.cursor |
56 if cursor is not None: |
56 return cursor.moved(*self.focus_widget.pos) |
57 return cursor.moved(*self.focus_widget.pos) |
|
58 else: |
57 else: |
59 if self._cursor is not None: |
58 return self._cursor |
60 return Point(self._cursor) |
59 |
|
60 @property |
|
61 def cursor_visible(self): |
|
62 if self.focus_widget: |
|
63 return self.focus_widget.cursor_visible |
|
64 else: |
|
65 return self._cursor_visible |
61 |
66 |
62 ## input events ## |
67 ## input events ## |
63 |
68 |
64 def keypress_event(self, ev): |
69 def keypress_event(self, ev): |
65 # First, handle the keypress event to focused child widget |
70 # First, handle the keypress event to focused child widget |