commit ef867ad9073724a55d4e95aabf8866e3847b1883
Author: Koji Yokota <[email protected]>
Date:   Sun Jul 13 10:53:24 2025 +0900

    Improve filter in PrefColors
    
    Add convenience tool for theme editing
---
 src/frontends/qt/GuiPrefs.cpp       |  55 ++-
 src/frontends/qt/GuiPrefs.h         |  10 +-
 src/frontends/qt/ui/PrefColorsUi.ui | 649 ++++++++++++++++++++----------------
 3 files changed, 421 insertions(+), 293 deletions(-)

diff --git a/src/frontends/qt/GuiPrefs.cpp b/src/frontends/qt/GuiPrefs.cpp
index d534c1132f..9163c3eeaa 100644
--- a/src/frontends/qt/GuiPrefs.cpp
+++ b/src/frontends/qt/GuiPrefs.cpp
@@ -52,6 +52,7 @@
 
 #include <QAbstractItemModel>
 #include <QCheckBox>
+#include <QColorDialog>
 #include <QFile>
 #include <QFontDatabase>
 #include <QHeaderView>
@@ -1040,6 +1041,10 @@ PrefColors::PrefColors(GuiPreferences * form)
 
        connect(bothColorResetPB, SIGNAL(clicked()),
                this, SLOT(resetColors()));
+       connect(clearFilterPB, SIGNAL(clicked()),
+               this, SLOT(clearFilter()));
+       connect(colorChooserPB, SIGNAL(clicked()),
+               this, SLOT(openColorChooser()));
        connect(colorsTV, SIGNAL(clicked(QModelIndex)),
                this, SLOT(clickedColorsTV(QModelIndex)));
        connect(colorResetAllPB, SIGNAL(clicked()),
@@ -1065,7 +1070,7 @@ PrefColors::PrefColors(GuiPreferences * form)
        connect(sc_undo, SIGNAL(activated()),
                undo_stack_, SLOT(undo()));
        connect(searchStringEdit, SIGNAL(textEdited(QString)),
-               this, SLOT(filterColorItem(QString)));
+               this, SLOT(filterByColorName(QString)));
        connect(&selection_model_,
                SIGNAL(selectionChanged(QItemSelection,QItemSelection)),
                this, SLOT(selectionChanged(QItemSelection,QItemSelection)));
@@ -1918,21 +1923,57 @@ void PrefColors::changeAutoapply()
 }
 
 
-void PrefColors::filterColorItem(const QString &text)
+void PrefColors::filterByColorName(const QString &text) const
 {
-       search_string_ = text;
-       items_found_ =
-               colorsTV_model_.findItems(search_string_, Qt::MatchContains,
+       const QList<QStandardItem *> items_found =
+               colorsTV_model_.findItems(text, Qt::MatchContains,
                                          ColorNameColumn);
-       if (items_found_.empty())
+       filterCommon(items_found);
+}
+
+
+void PrefColors::filterByColor(const QColor &color)
+{
+       LYXERR0("Color name   = " << color.name());
+       QList<QStandardItem *>rows_found;
+       for (int i=0; i<colorsTV_model_.rowCount(); ++i) {
+               if (colorsTV_model_.item(i, 
0)->data(Qt::DecorationRole).value<QColor>().name()
+                       == color.name() ||
+                       colorsTV_model_.item(i, 
1)->data(Qt::DecorationRole).value<QColor>().name()
+                       == color.name()) {
+                       rows_found.push_back(colorsTV_model_.item(i));
+               }
+       }
+       filterCommon(rows_found);
+}
+
+
+void PrefColors::filterCommon(const QList<QStandardItem *> items_found) const
+{
+       if (items_found.empty())
                return;
        for (size_type row = 0; row < lcolors_.size(); ++row)
                colorsTV->hideRow(row);
-       for (QStandardItem* item : std::as_const(items_found_))
+       for (QStandardItem* item : std::as_const(items_found))
                colorsTV->showRow(item->row());
 }
 
 
+void PrefColors::clearFilter() {
+       for (size_type row = 0; row < lcolors_.size(); ++row)
+               colorsTV->showRow(row);
+       searchStringEdit->clear();
+}
+
+
+void PrefColors::openColorChooser()
+{
+       QColorDialog cdlg;
+       QColor color = cdlg.getColor();
+       filterByColor(color);
+}
+
+
 ColorPair PrefColors::toqcolor(ColorNamePair colors)
 {
        return {QColor(colors.first), QColor(colors.second)};
diff --git a/src/frontends/qt/GuiPrefs.h b/src/frontends/qt/GuiPrefs.h
index 78963f90fd..9efca3e91c 100644
--- a/src/frontends/qt/GuiPrefs.h
+++ b/src/frontends/qt/GuiPrefs.h
@@ -295,7 +295,10 @@ private Q_SLOTS:
        void exportTheme();
        void importTheme();
 
-       void filterColorItem(const QString &text);
+       void filterByColorName(const QString &text) const;
+       void filterByColor(const QColor &color);
+       void clearFilter();
+       void openColorChooser();
 
 private:
        /// Change color at (row, column).
@@ -352,6 +355,8 @@ private:
        bool wantToOverwrite();
        ///
        ColorPair toqcolor(ColorNamePair);
+       ///
+       void filterCommon(const QList<QStandardItem *> items_found) const;
 
        // Dictionary of theme names for translation purpose
        // Add a system theme name here if you create a new one.
@@ -387,9 +392,6 @@ private:
        QItemSelectionModel selection_model_;
        QModelIndexList selected_indexes_;
 
-       QList<QStandardItem *> items_found_;
-       QString search_string_;
-
        bool autoapply_ = false;
        QUndoStack * undo_stack_;
 
diff --git a/src/frontends/qt/ui/PrefColorsUi.ui 
b/src/frontends/qt/ui/PrefColorsUi.ui
index c2b9bd49b0..af6c7f9e30 100644
--- a/src/frontends/qt/ui/PrefColorsUi.ui
+++ b/src/frontends/qt/ui/PrefColorsUi.ui
@@ -19,242 +19,108 @@
   <property name="windowTitle">
    <string/>
   </property>
-  <layout class="QGridLayout" name="gridLayout_2">
-   <item row="3" column="2">
-    <spacer name="hsBottomRight">
-     <property name="orientation">
-      <enum>Qt::Horizontal</enum>
+  <layout class="QGridLayout" name="gridLayoutOutmost">
+   <property name="leftMargin">
+    <number>10</number>
+   </property>
+   <property name="topMargin">
+    <number>0</number>
+   </property>
+   <property name="rightMargin">
+    <number>0</number>
+   </property>
+   <property name="bottomMargin">
+    <number>0</number>
+   </property>
+   <property name="horizontalSpacing">
+    <number>-1</number>
+   </property>
+   <item row="1" column="0" colspan="3">
+    <layout class="QGridLayout" name="gridLayout" 
rowstretch="0,0,0,0,0,0,0,0,0,0,0" columnstretch="0,0,0">
+     <property name="horizontalSpacing">
+      <number>-1</number>
      </property>
-     <property name="sizeHint" stdset="0">
-      <size>
-       <width>40</width>
-       <height>20</height>
-      </size>
-     </property>
-    </spacer>
-   </item>
-   <item row="3" column="0">
-    <widget class="QCheckBox" name="syscolorsCB">
-     <property name="sizePolicy">
-      <sizepolicy hsizetype="Minimum" vsizetype="Minimum">
-       <horstretch>0</horstretch>
-       <verstretch>0</verstretch>
-      </sizepolicy>
-     </property>
-     <property name="toolTip">
-      <string>Use the color scheme of your Operating System/Desktop 
Environment</string>
-     </property>
-     <property name="text">
-      <string>Use &amp;system colors</string>
-     </property>
-    </widget>
-   </item>
-   <item row="3" column="1">
-    <widget class="QCheckBox" name="autoapplyCB">
-     <property name="toolTip">
-      <string>Apply changed colors immediately</string>
-     </property>
-     <property name="text">
-      <string>Apply &amp;immediately</string>
-     </property>
-    </widget>
-   </item>
-   <item row="1" column="0" colspan="4">
-    <layout class="QGridLayout" name="gridLayout" rowstretch="0,0,0,0,0,0,0,0" 
columnstretch="0,0,0,0">
-     <item row="0" column="0">
-      <widget class="QLabel" name="themesLabel">
-       <property name="text">
-        <string>&amp;Themes:</string>
-       </property>
-       <property name="alignment">
-        <set>Qt::AlignBottom|Qt::AlignLeading|Qt::AlignLeft</set>
+     <item row="7" column="2">
+      <spacer name="lowerVerticalSpacer">
+       <property name="orientation">
+        <enum>Qt::Orientation::Vertical</enum>
        </property>
-       <property name="buddy">
-        <cstring>themesLW</cstring>
+       <property name="sizeHint" stdset="0">
+        <size>
+         <width>20</width>
+         <height>40</height>
+        </size>
        </property>
-      </widget>
+      </spacer>
      </item>
-     <item row="1" column="0" rowspan="7">
-      <layout class="QGridLayout" name="gridLayoutThemes">
+     <item row="5" column="2">
+      <layout class="QHBoxLayout" name="resetHorizontalLayout">
        <property name="spacing">
         <number>0</number>
        </property>
-       <item row="1" column="3">
-        <spacer name="horizontalSpacer">
-         <property name="orientation">
-          <enum>Qt::Horizontal</enum>
-         </property>
-         <property name="sizeType">
-          <enum>QSizePolicy::Preferred</enum>
-         </property>
-         <property name="sizeHint" stdset="0">
-          <size>
-           <width>40</width>
-           <height>20</height>
-          </size>
-         </property>
-        </spacer>
-       </item>
-       <item row="1" column="2">
-        <widget class="QToolButton" name="removeThemePB">
-         <property name="toolTip">
-          <string>Remove a selected color theme</string>
-         </property>
-         <property name="text">
-          <string>Remo&amp;ve</string>
-         </property>
-        </widget>
-       </item>
-       <item row="1" column="4">
-        <widget class="QToolButton" name="themesMenuPB">
-         <property name="toolTip">
-          <string>Other menus to handle themes</string>
-         </property>
-         <property name="text">
-          <string>&amp;More...</string>
-         </property>
-        </widget>
-       </item>
-       <item row="1" column="1">
-        <widget class="QToolButton" name="saveThemePB">
-         <property name="toolTip">
-          <string>Add the current color set as a theme</string>
-         </property>
-         <property name="text">
-          <string>A&amp;dd</string>
-         </property>
-        </widget>
-       </item>
-       <item row="0" column="1" colspan="4">
-        <widget class="QListWidget" name="themesLW">
+       <item>
+        <widget class="QToolButton" name="lightColorResetPB">
          <property name="sizePolicy">
-          <sizepolicy hsizetype="Maximum" vsizetype="Expanding">
+          <sizepolicy hsizetype="Preferred" vsizetype="Fixed">
            <horstretch>0</horstretch>
            <verstretch>0</verstretch>
           </sizepolicy>
          </property>
-         <property name="maximumSize">
-          <size>
-           <width>200</width>
-           <height>16777215</height>
-          </size>
+         <property name="toolTip">
+          <string>Reset the light-mode color of the selected object/element to 
the last saved</string>
          </property>
-         <property name="baseSize">
-          <size>
-           <width>150</width>
-           <height>0</height>
-          </size>
+         <property name="text">
+          <string>Ligh&amp;t</string>
          </property>
         </widget>
        </item>
-      </layout>
-     </item>
-     <item row="2" column="3">
-      <layout class="QHBoxLayout" name="editHorizontalLayout">
-       <property name="spacing">
-        <number>0</number>
-       </property>
        <item>
-        <widget class="QToolButton" name="lightColorEditPB">
+        <widget class="QToolButton" name="darkColorResetPB">
          <property name="sizePolicy">
-          <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
+          <sizepolicy hsizetype="Preferred" vsizetype="Fixed">
            <horstretch>0</horstretch>
            <verstretch>0</verstretch>
           </sizepolicy>
          </property>
          <property name="toolTip">
-          <string>Change the light-mode color of the selected 
object/element</string>
+          <string>Reset the dark-mode color of the selected object/element to 
the last saved</string>
          </property>
          <property name="text">
-          <string>&amp;Light</string>
+          <string>Dar&amp;k</string>
          </property>
         </widget>
        </item>
        <item>
-        <widget class="QToolButton" name="darkColorEditPB">
+        <widget class="QToolButton" name="bothColorResetPB">
          <property name="sizePolicy">
-          <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
+          <sizepolicy hsizetype="Preferred" vsizetype="Fixed">
            <horstretch>0</horstretch>
            <verstretch>0</verstretch>
           </sizepolicy>
          </property>
          <property name="toolTip">
-          <string>Change the dark-mode color of the selected 
object/element</string>
+          <string>Reset the light- and dark-mode colors of the selected 
object/element to the last saved</string>
          </property>
          <property name="text">
-          <string>&amp;Dark</string>
+          <string>&amp;Both</string>
          </property>
         </widget>
        </item>
       </layout>
      </item>
-     <item row="0" column="2">
-      <layout class="QGridLayout" name="ResetGridLayout">
+     <item row="1" column="2">
+      <layout class="QHBoxLayout" name="horizontalLayout">
        <property name="spacing">
         <number>0</number>
        </property>
-       <item row="1" column="1">
-        <widget class="QLineEdit" name="searchStringEdit">
+       <item>
+        <widget class="QToolButton" name="undoColorPB">
          <property name="sizePolicy">
-          <sizepolicy hsizetype="MinimumExpanding" vsizetype="Fixed">
+          <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
            <horstretch>0</horstretch>
            <verstretch>0</verstretch>
           </sizepolicy>
          </property>
-         <property name="minimumSize">
-          <size>
-           <width>150</width>
-           <height>0</height>
-          </size>
-         </property>
-         <property name="maximumSize">
-          <size>
-           <width>200</width>
-           <height>16777215</height>
-          </size>
-         </property>
-         <property name="toolTip">
-          <string>Enter a string to filter colors</string>
-         </property>
-         <property name="placeholderText">
-          <string>Filter colors</string>
-         </property>
-         <property name="clearButtonEnabled">
-          <bool>true</bool>
-         </property>
-        </widget>
-       </item>
-       <item row="1" column="0">
-        <spacer name="horizontalSpacerButtomLeft">
-         <property name="orientation">
-          <enum>Qt::Horizontal</enum>
-         </property>
-         <property name="sizeHint" stdset="0">
-          <size>
-           <width>40</width>
-           <height>20</height>
-          </size>
-         </property>
-        </spacer>
-       </item>
-       <item row="1" column="2">
-        <spacer name="horizontalSpacerRight">
-         <property name="orientation">
-          <enum>Qt::Horizontal</enum>
-         </property>
-         <property name="sizeType">
-          <enum>QSizePolicy::Fixed</enum>
-         </property>
-         <property name="sizeHint" stdset="0">
-          <size>
-           <width>6</width>
-           <height>20</height>
-          </size>
-         </property>
-        </spacer>
-       </item>
-       <item row="1" column="3">
-        <widget class="QToolButton" name="undoColorPB">
          <property name="toolTip">
           <string>Undo</string>
          </property>
@@ -263,8 +129,14 @@
          </property>
         </widget>
        </item>
-       <item row="1" column="4">
+       <item>
         <widget class="QToolButton" name="redoColorPB">
+         <property name="sizePolicy">
+          <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
+           <horstretch>0</horstretch>
+           <verstretch>0</verstretch>
+          </sizepolicy>
+         </property>
          <property name="toolTip">
           <string>Redo</string>
          </property>
@@ -273,31 +145,74 @@
          </property>
         </widget>
        </item>
-       <item row="1" column="5">
-        <spacer name="horizontalSpacer_2">
-         <property name="orientation">
-          <enum>Qt::Horizontal</enum>
-         </property>
-         <property name="sizeType">
-          <enum>QSizePolicy::Fixed</enum>
-         </property>
-         <property name="sizeHint" stdset="0">
-          <size>
-           <width>6</width>
-           <height>20</height>
-          </size>
-         </property>
-        </spacer>
-       </item>
       </layout>
      </item>
-     <item row="4" column="3">
+     <item row="0" column="0">
+      <widget class="QLabel" name="themesLabel">
+       <property name="text">
+        <string>&amp;Themes:</string>
+       </property>
+       <property name="alignment">
+        
<set>Qt::AlignmentFlag::AlignBottom|Qt::AlignmentFlag::AlignLeading|Qt::AlignmentFlag::AlignLeft</set>
+       </property>
+       <property name="buddy">
+        <cstring>themesLW</cstring>
+       </property>
+      </widget>
+     </item>
+     <item row="6" column="2">
+      <widget class="QToolButton" name="colorResetAllPB">
+       <property name="sizePolicy">
+        <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
+         <horstretch>0</horstretch>
+         <verstretch>0</verstretch>
+        </sizepolicy>
+       </property>
+       <property name="toolTip">
+        <string>Reset all colors in the table to the last saved</string>
+       </property>
+       <property name="text">
+        <string>Reset &amp;All Colors</string>
+       </property>
+      </widget>
+     </item>
+     <item row="4" column="2">
       <widget class="QLabel" name="resetLabel">
        <property name="text">
         <string>Reset</string>
        </property>
        <property name="alignment">
-        <set>Qt::AlignCenter</set>
+        <set>Qt::AlignmentFlag::AlignCenter</set>
+       </property>
+      </widget>
+     </item>
+     <item row="2" column="2">
+      <widget class="QLabel" name="label">
+       <property name="text">
+        <string>Edit</string>
+       </property>
+       <property name="alignment">
+        <set>Qt::AlignmentFlag::AlignCenter</set>
+       </property>
+      </widget>
+     </item>
+     <item row="9" column="2">
+      <widget class="QCheckBox" name="autoapplyCB">
+       <property name="toolTip">
+        <string>Apply changed colors immediately</string>
+       </property>
+       <property name="text">
+        <string>Apply &amp;immediately</string>
+       </property>
+      </widget>
+     </item>
+     <item row="0" column="2">
+      <widget class="QLabel" name="label_3">
+       <property name="text">
+        <string>Undo/Redo</string>
+       </property>
+       <property name="alignment">
+        <set>Qt::AlignmentFlag::AlignCenter</set>
        </property>
       </widget>
      </item>
@@ -307,129 +222,299 @@
         <string>&amp;Color Settings:</string>
        </property>
        <property name="alignment">
-        <set>Qt::AlignBottom|Qt::AlignLeading|Qt::AlignLeft</set>
+        
<set>Qt::AlignmentFlag::AlignBottom|Qt::AlignmentFlag::AlignLeading|Qt::AlignmentFlag::AlignLeft</set>
        </property>
        <property name="buddy">
         <cstring>colorsTV</cstring>
        </property>
       </widget>
      </item>
-     <item row="1" column="1" rowspan="7" colspan="2">
-      <widget class="QTableView" name="colorsTV">
-       <property name="alternatingRowColors">
-        <bool>true</bool>
-       </property>
-       <property name="selectionBehavior">
-        <enum>QAbstractItemView::SelectRows</enum>
+     <item row="8" column="2">
+      <widget class="QCheckBox" name="syscolorsCB">
+       <property name="sizePolicy">
+        <sizepolicy hsizetype="Minimum" vsizetype="Minimum">
+         <horstretch>0</horstretch>
+         <verstretch>0</verstretch>
+        </sizepolicy>
        </property>
-       <property name="showGrid">
-        <bool>false</bool>
+       <property name="toolTip">
+        <string>Use the color scheme of your Operating System/Desktop 
Environment</string>
        </property>
-       <property name="gridStyle">
-        <enum>Qt::NoPen</enum>
+       <property name="text">
+        <string>Use &amp;system colors</string>
        </property>
       </widget>
      </item>
-     <item row="7" column="3">
-      <spacer name="lowerVerticalSpacer">
-       <property name="orientation">
-        <enum>Qt::Vertical</enum>
-       </property>
-       <property name="sizeHint" stdset="0">
-        <size>
-         <width>20</width>
-         <height>40</height>
-        </size>
-       </property>
-      </spacer>
-     </item>
-     <item row="5" column="3">
-      <layout class="QHBoxLayout" name="resetHorizontalLayout">
+     <item row="3" column="2">
+      <layout class="QHBoxLayout" name="editHorizontalLayout">
        <property name="spacing">
         <number>0</number>
        </property>
        <item>
-        <widget class="QToolButton" name="lightColorResetPB">
-         <property name="toolTip">
-          <string>Reset the light-mode color of the selected object/element to 
the last saved</string>
-         </property>
-         <property name="text">
-          <string>Ligh&amp;t</string>
+        <widget class="QToolButton" name="lightColorEditPB">
+         <property name="sizePolicy">
+          <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
+           <horstretch>0</horstretch>
+           <verstretch>0</verstretch>
+          </sizepolicy>
          </property>
-        </widget>
-       </item>
-       <item>
-        <widget class="QToolButton" name="darkColorResetPB">
          <property name="toolTip">
-          <string>Reset the dark-mode color of the selected object/element to 
the last saved</string>
+          <string>Change the light-mode color of the selected 
object/element</string>
          </property>
          <property name="text">
-          <string>Dar&amp;k</string>
+          <string>&amp;Light</string>
          </property>
         </widget>
        </item>
        <item>
-        <widget class="QToolButton" name="bothColorResetPB">
+        <widget class="QToolButton" name="darkColorEditPB">
+         <property name="sizePolicy">
+          <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
+           <horstretch>0</horstretch>
+           <verstretch>0</verstretch>
+          </sizepolicy>
+         </property>
          <property name="toolTip">
-          <string>Reset the light- and dark-mode colors of the selected 
object/element to the last saved</string>
+          <string>Change the dark-mode color of the selected 
object/element</string>
          </property>
          <property name="text">
-          <string>&amp;Both</string>
+          <string>&amp;Dark</string>
          </property>
         </widget>
        </item>
       </layout>
      </item>
-     <item row="6" column="3">
-      <widget class="QToolButton" name="colorResetAllPB">
-       <property name="sizePolicy">
-        <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
-         <horstretch>0</horstretch>
-         <verstretch>0</verstretch>
-        </sizepolicy>
-       </property>
-       <property name="toolTip">
-        <string>Reset all colors in the table to the last saved</string>
-       </property>
-       <property name="text">
-        <string>Reset &amp;All Colors</string>
-       </property>
-      </widget>
-     </item>
-     <item row="1" column="3">
-      <widget class="QLabel" name="label">
-       <property name="text">
-        <string>Edit</string>
-       </property>
-       <property name="alignment">
-        <set>Qt::AlignCenter</set>
-       </property>
-      </widget>
-     </item>
-     <item row="3" column="3">
-      <spacer name="middleVerticalSpacer">
+     <item row="10" column="2">
+      <spacer name="verticalSpacer">
        <property name="orientation">
-        <enum>Qt::Vertical</enum>
+        <enum>Qt::Orientation::Vertical</enum>
        </property>
        <property name="sizeType">
-        <enum>QSizePolicy::Fixed</enum>
+        <enum>QSizePolicy::Policy::Fixed</enum>
        </property>
        <property name="sizeHint" stdset="0">
         <size>
          <width>20</width>
-         <height>3</height>
+         <height>5</height>
         </size>
        </property>
       </spacer>
      </item>
+     <item row="1" column="1" rowspan="10">
+      <layout class="QGridLayout" name="gridLayoutColors">
+       <property name="horizontalSpacing">
+        <number>0</number>
+       </property>
+       <property name="verticalSpacing">
+        <number>2</number>
+       </property>
+       <item row="1" column="0">
+        <widget class="QTableView" name="colorsTV">
+         <property name="alternatingRowColors">
+          <bool>true</bool>
+         </property>
+         <property name="selectionBehavior">
+          <enum>QAbstractItemView::SelectionBehavior::SelectRows</enum>
+         </property>
+         <property name="showGrid">
+          <bool>false</bool>
+         </property>
+         <property name="gridStyle">
+          <enum>Qt::PenStyle::NoPen</enum>
+         </property>
+        </widget>
+       </item>
+       <item row="2" column="0">
+        <layout class="QGridLayout" name="ResetGridLayout">
+         <property name="spacing">
+          <number>0</number>
+         </property>
+         <item row="1" column="2">
+          <widget class="QLineEdit" name="searchStringEdit">
+           <property name="sizePolicy">
+            <sizepolicy hsizetype="MinimumExpanding" vsizetype="Preferred">
+             <horstretch>0</horstretch>
+             <verstretch>0</verstretch>
+            </sizepolicy>
+           </property>
+           <property name="minimumSize">
+            <size>
+             <width>150</width>
+             <height>0</height>
+            </size>
+           </property>
+           <property name="maximumSize">
+            <size>
+             <width>200</width>
+             <height>16777215</height>
+            </size>
+           </property>
+           <property name="font">
+            <font>
+             <pointsize>11</pointsize>
+            </font>
+           </property>
+           <property name="toolTip">
+            <string>Enter a string to filter colors</string>
+           </property>
+           <property name="placeholderText">
+            <string>by color name</string>
+           </property>
+           <property name="clearButtonEnabled">
+            <bool>true</bool>
+           </property>
+          </widget>
+         </item>
+         <item row="1" column="1">
+          <spacer name="horizontalSpacerButtomLeft">
+           <property name="orientation">
+            <enum>Qt::Orientation::Horizontal</enum>
+           </property>
+           <property name="sizeHint" stdset="0">
+            <size>
+             <width>6</width>
+             <height>20</height>
+            </size>
+           </property>
+          </spacer>
+         </item>
+         <item row="1" column="5">
+          <widget class="QToolButton" name="clearFilterPB">
+           <property name="text">
+            <string>C&amp;lear[[colorPrefDialog]]</string>
+           </property>
+          </widget>
+         </item>
+         <item row="1" column="3">
+          <widget class="QToolButton" name="colorChooserPB">
+           <property name="text">
+            <string>by c&amp;olor</string>
+           </property>
+          </widget>
+         </item>
+         <item row="1" column="0">
+          <widget class="QLabel" name="labelFilter">
+           <property name="sizePolicy">
+            <sizepolicy hsizetype="Fixed" vsizetype="Preferred">
+             <horstretch>0</horstretch>
+             <verstretch>0</verstretch>
+            </sizepolicy>
+           </property>
+           <property name="font">
+            <font>
+             <pointsize>11</pointsize>
+            </font>
+           </property>
+           <property name="text">
+            <string>&amp;Filter</string>
+           </property>
+           <property name="buddy">
+            <cstring>searchStringEdit</cstring>
+           </property>
+          </widget>
+         </item>
+         <item row="1" column="4">
+          <spacer name="horizontalSpacerRight">
+           <property name="orientation">
+            <enum>Qt::Orientation::Horizontal</enum>
+           </property>
+           <property name="sizeType">
+            <enum>QSizePolicy::Policy::Fixed</enum>
+           </property>
+           <property name="sizeHint" stdset="0">
+            <size>
+             <width>6</width>
+             <height>20</height>
+            </size>
+           </property>
+          </spacer>
+         </item>
+        </layout>
+       </item>
+      </layout>
+     </item>
+     <item row="1" column="0" rowspan="10">
+      <layout class="QGridLayout" name="gridLayoutThemes">
+       <property name="horizontalSpacing">
+        <number>0</number>
+       </property>
+       <property name="verticalSpacing">
+        <number>2</number>
+       </property>
+       <item row="1" column="3">
+        <spacer name="horizontalSpacer">
+         <property name="orientation">
+          <enum>Qt::Orientation::Horizontal</enum>
+         </property>
+         <property name="sizeType">
+          <enum>QSizePolicy::Policy::Preferred</enum>
+         </property>
+         <property name="sizeHint" stdset="0">
+          <size>
+           <width>40</width>
+           <height>20</height>
+          </size>
+         </property>
+        </spacer>
+       </item>
+       <item row="1" column="1">
+        <widget class="QToolButton" name="saveThemePB">
+         <property name="toolTip">
+          <string>Add the current color set as a theme</string>
+         </property>
+         <property name="text">
+          <string>A&amp;dd</string>
+         </property>
+        </widget>
+       </item>
+       <item row="1" column="2">
+        <widget class="QToolButton" name="removeThemePB">
+         <property name="toolTip">
+          <string>Remove a selected color theme</string>
+         </property>
+         <property name="text">
+          <string>Remo&amp;ve</string>
+         </property>
+        </widget>
+       </item>
+       <item row="1" column="4">
+        <widget class="QToolButton" name="themesMenuPB">
+         <property name="toolTip">
+          <string>Other menus to handle themes</string>
+         </property>
+         <property name="text">
+          <string>&amp;More...</string>
+         </property>
+        </widget>
+       </item>
+       <item row="0" column="1" colspan="4">
+        <widget class="QListWidget" name="themesLW">
+         <property name="sizePolicy">
+          <sizepolicy hsizetype="Maximum" vsizetype="Expanding">
+           <horstretch>0</horstretch>
+           <verstretch>0</verstretch>
+          </sizepolicy>
+         </property>
+         <property name="maximumSize">
+          <size>
+           <width>200</width>
+           <height>16777215</height>
+          </size>
+         </property>
+         <property name="baseSize">
+          <size>
+           <width>150</width>
+           <height>0</height>
+          </size>
+         </property>
+        </widget>
+       </item>
+      </layout>
+     </item>
     </layout>
    </item>
   </layout>
  </widget>
- <tabstops>
-  <tabstop>syscolorsCB</tabstop>
-  <tabstop>autoapplyCB</tabstop>
- </tabstops>
  <includes>
   <include location="local">qt_i18n.h</include>
  </includes>
-- 
lyx-cvs mailing list
[email protected]
https://lists.lyx.org/mailman/listinfo/lyx-cvs

Reply via email to