Module implementing the MicroPython REPL widget.
AnsiColorSchemes |
MicroPythonWidget | Class implementing the MicroPython REPL widget. |
None |
Class implementing the MicroPython REPL widget.
DevicePortRole |
DeviceTypeRole |
ZoomMax |
ZoomMin |
None |
MicroPythonWidget | Constructor |
__aboutToShowSuperMenu | Private slot to populate the Super Menu before showing it. |
__clear | Private slot to clear the REPL pane. |
__compileEditor2Mpy | Private slot to cross compile the current editor to a .mpy file. |
__compileFile2Mpy | Private slot to cross compile a Python file (*.py) to a .mpy file. |
__configure | Private slot to open the MicroPython configuration page. |
__connectToDevice | Private method to connect to the selected device. |
__crossCompile | Private method to cross compile a Python file to a .mpy file. |
__disconnectFromDevice | Private method to disconnect from the device. |
__doZoom | Private slot to zoom the REPL pane. |
__downloadFirmware | Private slot to open the firmware download page. |
__getDeviceTime | Private method to get a string containing the date and time of the connected device. |
__handlePreferencesChanged | Private slot to handle a change in preferences. |
__manageIgnored | Private slot to manage the list of ignored serial devices. |
__mpyCrossAvailable | Private method to check the availability of mpy-cross. |
__paste | Private slot to perform a paste operation. |
__populateDeviceTypeComboBox | Private method to populate the device type selector. |
__processData | Private slot to process bytes received from the device. |
__setCharFormat | Private method setting the current text format of the REPL pane based on the passed ANSI codes. |
__setConnected | Private method to set the connection status LED. |
__showContextMenu | Private slot to show the REPL context menu. |
__showDeviceTime | Private slot to show the date and time of the connected device. |
__showDeviceVersion | Private slot to show some version info about MicroPython of the device. |
__showDocumentation | Private slot to open the documentation URL for the selected device. |
__showError | Private method to show some error message. |
__showImplementation | Private slot to show some implementation related information. |
__showLocalAndDeviceTime | Private slot to show the local and device time side-by-side. |
__showLocalTime | Private slot to show the local date and time. |
__showNoDeviceMessage | Private method to show a message dialog indicating a missing device. |
__synchronizeTime | Private slot to set the time of the connected device to the local computer's time. |
commandsInterface | Public method to get a reference to the commands interface object. |
eventFilter | Public method to process events for the REPL pane. |
getCurrentPort | Public method to determine the port path of the selected device. |
getDeviceWorkspace | Public method to get the workspace directory of the device. |
handleDataFlood | Public slot handling a data flood from the device. |
isConnected | Public method to get the connection state. |
isMicrobit | Public method to check, if the connected/selected device is a BBC micro:bit. |
on_chartButton_clicked | Private slot to open a chart view to plot data received from the connected device. |
on_checkButton_clicked | Private slot to check for connected devices. |
on_connectButton_clicked | Private slot to connect to the selected device or disconnect from the currently connected device. |
on_deviceTypeComboBox_activated | Private slot handling the selection of a device type. |
on_filesButton_clicked | Private slot to open a file manager window to the connected device. |
on_openButton_clicked | Private slot to open a file of the connected device. |
on_replButton_clicked | Private slot to connect to enable or disable the REPL widget. |
on_runButton_clicked | Private slot to execute the script of the active editor on the selected device. |
on_saveButton_clicked | Private slot to save the current editor to the connected device. |
setActionButtons | Public method to set the enabled state of the various action buttons. |
None |
Constructor
Private slot to populate the Super Menu before showing it.
Private slot to clear the REPL pane.
Private slot to cross compile the current editor to a .mpy file.
Private slot to cross compile a Python file (*.py) to a .mpy file.
Private slot to open the MicroPython configuration page.
Private method to connect to the selected device.
Private method to cross compile a Python file to a .mpy file.
Private method to disconnect from the device.
Private slot to zoom the REPL pane.
Private slot to open the firmware download page.
Private method to get a string containing the date and time of the connected device.
Private slot to handle a change in preferences.
Private slot to manage the list of ignored serial devices.
Private method to check the availability of mpy-cross.
Private slot to perform a paste operation.
Private method to populate the device type selector.
Private slot to process bytes received from the device.
Private method setting the current text format of the REPL pane based on the passed ANSI codes.
Following codes are used:
Private method to set the connection status LED.
Private slot to show the REPL context menu.
Private slot to show the date and time of the connected device.
Private slot to show some version info about MicroPython of the device.
Private slot to open the documentation URL for the selected device.
Private method to show some error message.
Private slot to show some implementation related information.
Private slot to show the local and device time side-by-side.
Private slot to show the local date and time.
Private method to show a message dialog indicating a missing device.
Private slot to set the time of the connected device to the local computer's time.
Public method to get a reference to the commands interface object.
Public method to process events for the REPL pane.
Public method to determine the port path of the selected device.
Public method to get the workspace directory of the device.
Public slot handling a data flood from the device.
Public method to get the connection state.
Public method to check, if the connected/selected device is a BBC micro:bit.
Private slot to open a chart view to plot data received from the connected device.
If the selected device is not connected yet, this will be done now.
Private slot to check for connected devices.
Private slot to connect to the selected device or disconnect from the currently connected device.
Private slot handling the selection of a device type.
Private slot to open a file manager window to the connected device.
If the selected device is not connected yet, this will be done now.
Private slot to open a file of the connected device.
Private slot to connect to enable or disable the REPL widget.
If the selected device is not connected yet, this will be done now.
Private slot to execute the script of the active editor on the selected device.
If the REPL is not active yet, it will be activated, which might cause an unconnected device to be connected.
Private slot to save the current editor to the connected device.
Public method to set the enabled state of the various action buttons.