Keyboard shortcuts are a bit on the hacky side and could use a revamp. The interface should be simplified as should the code behind it using whatever is available in the default Peppermint system. A suitable fallback should be considered in case the user has changed something due to tastes.
Keyboard shortcuts are a bit on the hacky side and could use a revamp. The interface should be simplified as should the code behind it using whatever is available in the default Peppermint system. A suitable fallback should be considered in case the user has changed something due to tastes.