jquery/jquery-ui — pull request #1383 by scottgonzalez (2014-11-03 20:06:57+00:00)
Title: Tabs: Suppress automatic activation when navigating with COMMAND

Fixes #9621