42 @param deviceType device type assigned to this device interface |
42 @param deviceType device type assigned to this device interface |
43 @type str |
43 @type str |
44 @param parent reference to the parent object |
44 @param parent reference to the parent object |
45 @type QObject |
45 @type QObject |
46 """ |
46 """ |
47 super(PyBoardDevice, self).__init__(microPythonWidget, deviceType, |
47 super().__init__(microPythonWidget, deviceType, |
48 parent) |
48 parent) |
49 |
49 |
50 self.__workspace = self.__findWorkspace() |
50 self.__workspace = self.__findWorkspace() |
51 |
51 |
52 def setButtons(self): |
52 def setButtons(self): |
53 """ |
53 """ |
54 Public method to enable the supported action buttons. |
54 Public method to enable the supported action buttons. |
55 """ |
55 """ |
56 super(PyBoardDevice, self).setButtons() |
56 super().setButtons() |
57 self.microPython.setActionButtons( |
57 self.microPython.setActionButtons( |
58 run=True, repl=True, files=True, chart=HAS_QTCHART) |
58 run=True, repl=True, files=True, chart=HAS_QTCHART) |
59 |
59 |
60 if self.__deviceVolumeMounted(): |
60 if self.__deviceVolumeMounted(): |
61 self.microPython.setActionButtons(open=True, save=True) |
61 self.microPython.setActionButtons(open=True, save=True) |
197 " available. Such a volume was not found. In" |
197 " available. Such a volume was not found. In" |
198 " place editing will not be available." |
198 " place editing will not be available." |
199 ) |
199 ) |
200 ) |
200 ) |
201 |
201 |
202 return super(PyBoardDevice, self).getWorkspace() |
202 return super().getWorkspace() |
203 |
203 |
204 def getDocumentationUrl(self): |
204 def getDocumentationUrl(self): |
205 """ |
205 """ |
206 Public method to get the device documentation URL. |
206 Public method to get the device documentation URL. |
207 |
207 |