This device is locked.
Password
Unlock
Unlocking is remembered on this device until the password changes.
No file open. Pick one from the tree on the left.
Ctrl+S save · Ctrl+Space autocomplete · Ctrl+/ comment · Ctrl+` terminal