Editor / Scroll top when switching to a different tab.
JSLint.
Editor / Associated resource / Fix JS error while retrieving capabilities with URL with no ?.
Improve label.
Formatting.
Merge remote-tracking branch 'upstream/develop' into develop