-
Notifications
You must be signed in to change notification settings - Fork 2
Home
Mike Hendricks edited this page Jul 29, 2023
·
1 revision
Welcome to the PrEditor wiki!
-
Console: The top section is a python REPL allowing you to run code like you
are in the python interactive shell. However, you can't use code
blocks(...), use the workbox instead.
- Python's stdout and stderr are written here including exceptions.
- If the cursor is at the very end of the last line, and that line starts with
a prompt (
>>>
this includes 1 space) the code is executed when you press return. Pressing return on any other prompt line copies that line to the end ready to execute. - Pressing
Ctrl + Up/Down
will cycle through previous command history. - The console is a text edit and you can edit any of the text so you can fix your mistakes as you make them
-
Workbox: The workbox is a place to write complex multi-line code. The contents
of all workboxes are saved when PrEditor is closed or pressing
Ctrl + S
.- Workboxes are grouped into tabs of workboxes. You can drag and drop individual workboxes between groups and re-order them.
-
Ctrl + Return
runs all code inside of the current workbox. -
Shift + Return
or theNumber-pad Return
executes the selected text or the line the cursor is on. -
run_workbox("group/tab")
This command is added allowing you to run the contents of a workbox. Pass the name of the group and workbox tabs separated by a forward slash.
-
Logging Level button: Tools for managing python loggers.
- This button shows all known python loggers and lets you view/change their logging levels.
- You can install logging handlers that have had PrEditor plugins written for them.
- Known python logger levels are saved and restored.
- All code is run in
__main__
. In code you can add objects to it for inspection in PrEditor. -
Ctrl + Shift + PgUp/PgDown
changes focus between the console and workbox. -
Ctrl + Alt + Shift + PgUp/PgDown
changes focus and copies the current prompt line of the console, or the current line of the workbox to the other.