Adjust zoom-slider in the statusbar if settings have been changed

This fixes the issue that changing the zoom-level in the settings
does not update the zoom-slider in the statusbar.

diff --git a/src/views/dolphinview.cpp b/src/views/dolphinview.cpp
index ef39414c9f61980818b3c977a6242b30b73e350a..661ce101bbe7f4c55e9d918eb4d893a875dd6c6d 100644 (file)
--- a/src/views/dolphinview.cpp
+++ b/src/views/dolphinview.cpp
@@ -448,9 +448,16 @@ void DolphinView::stopLoading()
 
 void DolphinView::readSettings()
 {
+    const int oldZoomLevel = m_container->zoomLevel();
+    
     GeneralSettings::self()->readConfig();
     m_container->readSettings();
     applyViewProperties();
+    
+    const int newZoomLevel = m_container->zoomLevel();
+    if (newZoomLevel != oldZoomLevel) {
+        emit zoomLevelChanged(newZoomLevel, oldZoomLevel);
+    }
 }
 
 void DolphinView::writeSettings()