Ah, interesting - may I ask what window manager you use? Is it the combination of CTRL+OPT that causes the conflict? We can make the shortcuts configurable, I've added an issue to our tracker.
> Also for the UI, if there is a mode that when the app is unfocus then the UI will hide all other text buttons, which I think will make it looks less distract.
This is something I've considered, perhaps a configuration option to hide the buttons when the app isn't focused. They serve the purpose of acting as a reminder about the keyboard shortcuts but experienced users shouldn't need that. I'll add it to our issue tracker.
> Really nice and clean app btw!
Thank you, and thank you also for the suggestions :)
Ah, interesting - may I ask what window manager you use? Is it the combination of CTRL+OPT that causes the conflict? We can make the shortcuts configurable, I've added an issue to our tracker.
> Also for the UI, if there is a mode that when the app is unfocus then the UI will hide all other text buttons, which I think will make it looks less distract.
This is something I've considered, perhaps a configuration option to hide the buttons when the app isn't focused. They serve the purpose of acting as a reminder about the keyboard shortcuts but experienced users shouldn't need that. I'll add it to our issue tracker.
> Really nice and clean app btw!
Thank you, and thank you also for the suggestions :)