Combined commits and made the following changes:

1. Removed open externally. Renamed options to "File Manager" and "Terminal".
2. Will leave creating a general configuration for another PR, since it potentially affects another PR.
3. Removed the folder and terminal toolbar buttons.
4. Moved "File Manager" and "Terminal" options lower in the menu, but away from "Delete".

—
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.