Open Spacerat opened 8 years ago
Pressing Cmd-Shift-P and typing "Compilation" shows you two identical shortcuts to the compilation pane. This PR removes the duplicate in compile.js, since settings.js is where all sidebar fuzzy-shortcuts are defined.
compile.js
Pressing Cmd-Shift-P and typing "Compilation" shows you two identical shortcuts to the compilation pane. This PR removes the duplicate in
compile.js
, since settings.js is where all sidebar fuzzy-shortcuts are defined.