diff -r 6b870a3a8821 -r 7f30b93eb51d eric6/MicroPython/MicroPythonWidget.ui
--- a/eric6/MicroPython/MicroPythonWidget.ui Tue Aug 20 17:12:22 2019 +0200
+++ b/eric6/MicroPython/MicroPythonWidget.ui Tue Aug 20 19:35:37 2019 +0200
@@ -117,7 +117,7 @@
<item>
<widget class="QToolButton" name="filesButton">
<property name="toolTip">
- <string>Press to open a file manager on the selected device (REPL must be disconnected first)</string>
+ <string>Press to open a file manager on the selected device</string>
</property>
<property name="checkable">
<bool>true</bool>
