Thanks for the suggestion. F11 is the 'standard' key in both GNOME and Windows environments, so that was the reasoning behind the switch. If this is not the case in OSX, then it makes sense that we should consider changing it to be the community standard for OSX.
We could just special case per OS for what the hotkey is.
Hi Konrad,
Thanks for the suggestion. F11 is the 'standard' key in both GNOME and Windows environments, so that was the reasoning behind the switch. If this is not the case in OSX, then it makes sense that we should consider changing it to be the community standard for OSX.
We could just special case per OS for what the hotkey is.
Thanks,
RJ