view libgui/src/gui-preferences-dw.cc @ 33614:7f7d6bc5702b default tip @

maint: merge stable to default
author Rik <rik@octave.org>
date Mon, 20 May 2024 09:12:08 -0700
parents 2e484f9f1f18
children
line wrap: on
line source

////////////////////////////////////////////////////////////////////////
//
// Copyright (C) 2017-2024 The Octave Project Developers
//
// See the file COPYRIGHT.md in the top-level directory of this
// distribution or <https://octave.org/copyright/>.
//
// This file is part of Octave.
//
// Octave is free software: you can redistribute it and/or modify it
// under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// Octave is distributed in the hope that it will be useful, but
// WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with Octave; see the file COPYING.  If not, see
// <https://www.gnu.org/licenses/>.
//
////////////////////////////////////////////////////////////////////////

#if defined (HAVE_CONFIG_H)
#  include "config.h"
#endif

#include <QColor>
#include <QRect>

#include "gui-preferences-dw.h"

gui_pref
dw_focus_follows_mouse ("DockWidgets/focus_follows_mouse", QVariant (false));

gui_pref
dw_title_custom_style ("DockWidgets/widget_title_custom_style",
                       QVariant (true));

gui_pref dw_title_3d ("DockWidgets/widget_title_3d", QVariant (20));

gui_pref dw_title_fg_color ("DockWidgets/title_fg_color",
                            QVariant (QColor (0, 0, 0)));

gui_pref dw_title_fg_color_active ("DockWidgets/title_fg_color_active",
                                   QVariant (QColor (255, 255, 255)));

gui_pref dw_title_bg_color ("DockWidgets/title_bg_color",
                            QVariant (QColor (192, 192, 192)));

gui_pref dw_title_bg_color_active ("DockWidgets/title_bg_color_active",
                                   QVariant (QColor (128, 128, 128)));

gui_pref dw_icon_set ("DockWidgets/widget_icon_set", QVariant ("NONE"));

// The following keys have to be used with .arg (objectName ())
gui_pref dw_float_geometry ("DockWidgets/%1_floating_geometry",
                            QVariant (QRect (50, 50, 480, 640)));

gui_pref dw_dock_geometry ("DockWidgets/%1",
                           QVariant (QRect (10, 10, 240, 320)));

gui_pref dw_is_visible ("DockWidgets/%1Visible", QVariant (true));

gui_pref dw_is_floating ("DockWidgets/%1Floating", QVariant (false));

gui_pref dw_is_minimized ("DockWidgets/%1_minimized", QVariant (false));