resource editor top panel scrollable. fix #512
Merge branch 'master' of https://github.com/geosolutions-it/MapStore