If there are too many tabs/panels in a dock, the tabs disappear if all tabs cant be fit in. It would be nice to have an eclipse style dropdown list of hidden tabs to select from.