Navigate through Extension Manager tabs via Ctrl-(Shift)-Tab
Merge pull request #8856 from MarcelGerber/extman-navigate-tabs

Navigate through Extension Manager tabs via Ctrl-(Shift)-Tab