diff -r f0e22f3a5878 -r 2eed840795c0 src/eric7/MicroPython/MicroPythonWidget.py
--- a/src/eric7/MicroPython/MicroPythonWidget.py Wed Feb 15 15:55:37 2023 +0100
+++ b/src/eric7/MicroPython/MicroPythonWidget.py Wed Feb 15 17:45:10 2023 +0100
@@ -759,7 +759,7 @@
@rtype bool
"""
if obj is self.replEdit and evt.type() == QEvent.Type.KeyPress:
- # handle the key press event on behalve of the REPL pane
+ # handle the key press event on behalf of the REPL pane
key = evt.key()
msg = bytes(evt.text(), "utf8")
if key == Qt.Key.Key_Backspace:
@@ -1127,6 +1127,16 @@
else:
return ""
+ def deviceSupportsLocalFileAccess(self):
+ """
+ Public method to indicate that the device access the device file system
+ via a local directory.
+
+ @return flag indicating file access via local directory
+ @rtype bool
+ """
+ return self.__device is not None and self.__device.supportsLocalFileAccess()
+
def __connectToDevice(self, withAutostart=False):
"""
Private method to connect to the selected device.
