eric6/MicroPython/MicroPythonWidget.ui

changeset 7147
7f30b93eb51d
parent 7134
21d23ca51680
child 8139
418c2d9a767d
--- 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>

eric ide

mercurial