[LyX/master] Option to hide the zoom slider

[Juergen Spitzmueller]

commit 2710ec08404f5d70637544e2a84943affc1715cf
Author: Daniel Ramoeller <d.lyx at web.de>
Date:   Mon Mar 8 06:38:33 2021 +0100

    Option to hide the zoom slider
    
    Fix for bug #12187.
---
 src/frontends/qt/GuiView.cpp |   13 ++++++++++++-
 1 files changed, 12 insertions(+), 1 deletions(-)

diff --git a/src/frontends/qt/GuiView.cpp b/src/frontends/qt/GuiView.cpp
index ceb3651..23252c0 100644
--- a/src/frontends/qt/GuiView.cpp
+++ b/src/frontends/qt/GuiView.cpp
@@ -949,6 +949,7 @@ void GuiView::saveLayout() const
 		settings.setValue("geometry", saveGeometry());
 	settings.setValue("layout", saveState(0));
 	settings.setValue("icon_size", toqstr(d.iconSize(iconSize())));
+	settings.setValue("zoom_slider_visible", zoom_slider_->isVisible());
 }
 
 
@@ -992,6 +993,9 @@ bool GuiView::restoreLayout()
 	//code below is skipped when when ~/.config/LyX is (re)created
 	setIconSize(d.iconSize(settings.value(icon_key).toString()));
 
+	zoom_slider_->setVisible(settings.value("zoom_slider_visible", true).toBool());
+	zoom_value_->setVisible(settings.value("zoom_slider_visible", true).toBool());
+
 	if (guiApp->platformName() == "qt4x11" || guiApp->platformName() == "xcb") {
 		QPoint pos = settings.value("pos", QPoint(50, 50)).toPoint();
 		QSize size = settings.value("size", QSize(690, 510)).toSize();
@@ -2341,7 +2345,11 @@ bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
 		break;
 
 	case LFUN_UI_TOGGLE:
-		flag.setOnOff(isFullScreen());
+		if (cmd.argument() == "zoomslider") {
+			enable = doc_buffer;
+			flag.setOnOff(zoom_slider_->isVisible());
+		} else
+			flag.setOnOff(isFullScreen());
 		break;
 
 	case LFUN_DIALOG_DISCONNECT_INSET:
@@ -4842,6 +4850,9 @@ bool GuiView::lfunUiToggle(string const & ui_component)
 		statusBar()->setVisible(!statusBar()->isVisible());
 	} else if (ui_component == "menubar") {
 		menuBar()->setVisible(!menuBar()->isVisible());
+	} else if (ui_component == "zoomslider") {
+		zoom_slider_->setVisible(!zoom_slider_->isVisible());
+		zoom_value_->setVisible(!zoom_value_->isVisible());
 	} else
 	if (ui_component == "frame") {
 		int const l = contentsMargins().left();