as discussed on IRC, !shortcuts_shown doesn't mean shortcuts are not active, so no need to difference the grab/ungrab case there ;)
« Back to merge proposal
as discussed on IRC, !shortcuts_shown doesn't mean shortcuts are not active, so no need to difference the grab/ungrab case there ;)