Fixed bug where clicking tabs sometimes does not focus them, meaning that pressing Ctrl+Tab or Shift+Ctrl+Tab after clicking the tab does not always change the selected tab as expected.
** A fix based on, but not identical to, this one was applied to the trunk at r1728.
