Skip to content

Python Editor Widget

Tobias Hermanns edited this page Nov 4, 2020 · 15 revisions

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, a code minimap as well as auto completion to some extent.

TODO: image

Toolbar

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

New File

Opens a blank script in a new tab.

Open File

Opens an dialog to choose an existing python script from the hard disk. It will be opened in a new tab.

Save

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.

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.

Execute Script

Executes script in the currently opened tab.

Toggle Minimap

Toggles the minimap.

Clone this wiki locally