Mercurial Repositories > eric / file diff

--- a/eric6/MicroPython/MicroPythonReplWidget.ui	Sun Jul 28 18:55:00 2019 +0200
+++ b/eric6/MicroPython/MicroPythonReplWidget.ui	Mon Jul 29 20:20:18 2019 +0200
@@ -106,6 +106,9 @@
        <property name="toolTip">
         <string>Press to open a terminal (REPL) on the selected device</string>
        </property>
+       <property name="checkable">
+        <bool>true</bool>
+       </property>
       </widget>
      </item>
      <item>
@@ -113,6 +116,9 @@
        <property name="toolTip">
         <string>Press to open a file manager on the selected device (REPL must be disconnected first)</string>
        </property>
+       <property name="checkable">
+        <bool>true</bool>
+       </property>
       </widget>
      </item>
      <item>
@@ -120,6 +126,9 @@
        <property name="toolTip">
         <string>Press to open a chart window to display data receive from the selected device</string>
        </property>
+       <property name="checkable">
+        <bool>true</bool>
+       </property>
       </widget>
      </item>
      <item>