New settings interface introduced.
Applied saving & restoring settings.
Small optimization for __sm_page_name() method.
MapWidget optimizations.
One stupid fix.
Merge branch 'new-settings-interface' into develop