From 2710ec08404f5d70637544e2a84943affc1715cf Mon Sep 17 00:00:00 2001 From: Daniel Ramoeller Date: Mon, 8 Mar 2021 06:38:33 +0100 Subject: [PATCH] Option to hide the zoom slider Fix for bug #12187. --- src/frontends/qt/GuiView.cpp | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/src/frontends/qt/GuiView.cpp b/src/frontends/qt/GuiView.cpp index ceb3651d9d..23252c0f40 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(); -- 2.39.5