Combined commits and made the following changes:
Removed open externally. Renamed options to "File Manager" and "Terminal".
Better call it "Open File Manager" and "Open Terminal".
Will leave creating a general configuration for another PR, since it potentially affects another PR.
I was going to suggest that myself. But since I really don't like having this configuration inside the project configuration, I'd prefer if the configurability of these commands could be removed completely for now.
Removed the folder and terminal toolbar buttons.
Good.
Moved "File Manager" and "Terminal" options lower in the menu, but away from "Delete".
Good point about the Delete, I just wanted to have the "find" commands at the top of the menu.
Check the review comments for some more details.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.