Use a function name or * for all annotated functions in playground.py. Loading an example replaces the editor contents.
Tab moves focus. Use Ctrl+] / Cmd+] to indent. Ctrl+F / Cmd+F searches the source.
Ready to verify.
Drag the divider to resize. Arrow keys adjust it; Home and End reach the limits. Double-click to reset.