Refactored the dock widget to use the info tree from the ADS. Re #7253