Don't need to work out file name now

This was legacy code that made use of the file extension. We now just go
by there being a { on the line.
2 new shortcuts added
Slightly taller help and 2 new shortcuts added

To lock/unlock file manager and fold/unfold current line
Updated to match main JS file