Module implementing the standalone MicroPython window.
SSL_AVAILABLE |
MicroPythonWindow | Class implementing the standalone MicroPython window. |
None |
Class implementing the standalone MicroPython window.
None |
None |
MicroPythonWindow | Constructor |
__appFocusChanged | Private slot to track the application focus. |
__deviceDisconnect | Private slot handling the device being disconnected. |
__editorClosing | Private method called, when an editor is closing. |
__preferencesChanged | Private slot to handle a change of the preferences. |
__sslErrors | Private slot to handle SSL errors. |
activeWindow | Public method to get a reference to the active editor. |
addSideWidget | Public method to add a widget to the sides. |
closeEvent | Protected event handler for the close event. |
getEditor | Public method to return the editor displaying the given file. |
getOpenEditorsCount | Public method to get the number of open editors. |
launchHelpViewer | Public slot to start the help viewer/web browser. |
networkAccessManager | Public method to get a reference to the network access manager object. |
newEditorWithText | Public method to generate a new editor with a given text and associated file name. |
removeSideWidget | Public method to remove a widget added using addSideWidget(). |
showPreferences | Public slot to set the preferences. |
showSideWidget | Public method to show a specific widget placed in the side widgets. |
None |
Constructor
Private slot to track the application focus.
Private slot handling the device being disconnected.
This closes all editors directly connected to the device about to be disconnected.
Private method called, when an editor is closing.
Private slot to handle a change of the preferences.
Private slot to handle SSL errors.
Public method to get a reference to the active editor.
Public method to add a widget to the sides.
Protected event handler for the close event.
Public method to return the editor displaying the given file.
Public method to get the number of open editors.
Public slot to start the help viewer/web browser.
Public method to get a reference to the network access manager object.
Public method to generate a new editor with a given text and associated file name.
Public method to remove a widget added using addSideWidget().
Public slot to set the preferences.
Public method to show a specific widget placed in the side widgets.