eric6/MicroPython/MicroPythonWidget.ui

changeset 7147
7f30b93eb51d
parent 7134
21d23ca51680
child 8139
418c2d9a767d
equal deleted inserted replaced
7146:6b870a3a8821 7147:7f30b93eb51d
115 </widget> 115 </widget>
116 </item> 116 </item>
117 <item> 117 <item>
118 <widget class="QToolButton" name="filesButton"> 118 <widget class="QToolButton" name="filesButton">
119 <property name="toolTip"> 119 <property name="toolTip">
120 <string>Press to open a file manager on the selected device (REPL must be disconnected first)</string> 120 <string>Press to open a file manager on the selected device</string>
121 </property> 121 </property>
122 <property name="checkable"> 122 <property name="checkable">
123 <bool>true</bool> 123 <bool>true</bool>
124 </property> 124 </property>
125 </widget> 125 </widget>

eric ide

mercurial