Did You Know...? #1

The PL code editor supports VS Code keyboard shortcuts as (Windows version) listed here: https://code.visualstudio.com/shortcuts/keyboard-shortcuts-windows.pdf

As far as I can tell, all the Basic Editing keys work, some navigation and the others I haven’t looked at yet.

Note that since PL runs in the browser, shortcuts may be intercepted by the browser, thus Ctrl-T opens a new tab in Chrome (but Ctrl-G - Go To Line - works).


(Hat tip to @robertl for the info, of course)

1 Like