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> |