Minor changes on panel interface
Merge branch 'develop' of ssh://github.com/PPiMapBuilder/PPiMapBuilder into develop