jumptomatching/ selecttomatching mac shortcut

fixes #2007