we are curently uisng an odd hack for handling the keyboard shortcuts that requires special permissions under macOS.
I have the faint memory that we used it to work around a bug on Linux. Anyways, we should reevaluate if we need the hack still and if yes only use it on Linux.
we are curently uisng an odd hack for handling the keyboard shortcuts that requires special permissions under macOS. I have the faint memory that we used it to work around a bug on Linux. Anyways, we should reevaluate if we need the hack still and if yes only use it on Linux.