anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-09 18:31:04 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Option to hide the zoom slider

Browse Source 
Fix for bug #12187.
This commit is contained in:
Daniel Ramoeller 2021-03-08 06:38:33 +01:00 committed by Juergen Spitzmueller
parent 6805bb713f
commit 2710ec0840
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/frontends/qt/GuiView.cpp
View File

@ -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();