-
Notifications
You must be signed in to change notification settings - Fork 76
Python Editor Widget
The Python Editor Wiget provides a light weight code editor for developing Python scripts. From within the widget, multiple scripts can be opened, edited, run and saved. The editor behaves like a standard text editor with functions like undo, copy and past but also supports some quality of life features such as auto indent, simple syntax highlighting as well as auto completion to some extent.
TODO: image
The toolbar provides the actions New File (1), Open File (2), Save (3), Save as (4), Execute Script (5) and Toggle Minimap (6).
TODO: image
Opens a blank script in a new tab.
Opens an dialog to choose an existing python script from the hard disk. It will be opened in a new tab.
Saves the script in the currently opened tab if it was previously saved to or loaded from the hard disk. If the script in the currently selected tab was not saved yet this action is the same as Save as.
Saves the script in the currently opened tab to the hard disk. A dialog opens where the user has to choose the location where the script should be saved.
Executes script in the currently opened tab.
Toggles the minimap.