757 @type QEvent |
757 @type QEvent |
758 @return flag to indicate that the event was handled |
758 @return flag to indicate that the event was handled |
759 @rtype bool |
759 @rtype bool |
760 """ |
760 """ |
761 if obj is self.replEdit and evt.type() == QEvent.Type.KeyPress: |
761 if obj is self.replEdit and evt.type() == QEvent.Type.KeyPress: |
762 # handle the key press event on behalve of the REPL pane |
762 # handle the key press event on behalf of the REPL pane |
763 key = evt.key() |
763 key = evt.key() |
764 msg = bytes(evt.text(), "utf8") |
764 msg = bytes(evt.text(), "utf8") |
765 if key == Qt.Key.Key_Backspace: |
765 if key == Qt.Key.Key_Backspace: |
766 msg = b"\b" |
766 msg = b"\b" |
767 elif key == Qt.Key.Key_Delete: |
767 elif key == Qt.Key.Key_Delete: |
1124 """ |
1124 """ |
1125 if self.__device: |
1125 if self.__device: |
1126 return self.__device.getWorkspace() |
1126 return self.__device.getWorkspace() |
1127 else: |
1127 else: |
1128 return "" |
1128 return "" |
|
1129 |
|
1130 def deviceSupportsLocalFileAccess(self): |
|
1131 """ |
|
1132 Public method to indicate that the device access the device file system |
|
1133 via a local directory. |
|
1134 |
|
1135 @return flag indicating file access via local directory |
|
1136 @rtype bool |
|
1137 """ |
|
1138 return self.__device is not None and self.__device.supportsLocalFileAccess() |
1129 |
1139 |
1130 def __connectToDevice(self, withAutostart=False): |
1140 def __connectToDevice(self, withAutostart=False): |
1131 """ |
1141 """ |
1132 Private method to connect to the selected device. |
1142 Private method to connect to the selected device. |
1133 |
1143 |