diff options
| author | Friedemann Kleint <Friedemann.Kleint@nokia.com> | 2009-11-24 15:05:02 +0100 |
|---|---|---|
| committer | Friedemann Kleint <Friedemann.Kleint@nokia.com> | 2009-11-24 15:05:02 +0100 |
| commit | 65e11062bb1671328e16736db9f2668ba87e5edb (patch) | |
| tree | bd364c5c34790d52bdbf77a5950542ca522223f0 /src/plugins/texteditor/displaysettingspage.h | |
| parent | c49bed119986350efa577876efc855d6d5f0d293 (diff) | |
Polish the settings dialog.
Add a title label to the pages. Use QGroupBoxes throughout.
Extend SavedAction to work with checkable QGroupBoxes. Polish UI files,
use common layout for VCS plugins. Performance: Apply only visited
settings pages. Add search keywords.
Task-number: QTCREATOR-26
Diffstat (limited to 'src/plugins/texteditor/displaysettingspage.h')
| -rw-r--r-- | src/plugins/texteditor/displaysettingspage.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/plugins/texteditor/displaysettingspage.h b/src/plugins/texteditor/displaysettingspage.h index f9d8ab3b13..902e984a57 100644 --- a/src/plugins/texteditor/displaysettingspage.h +++ b/src/plugins/texteditor/displaysettingspage.h @@ -65,6 +65,7 @@ public: QWidget *createPage(QWidget *parent); void apply(); void finish() { } + virtual bool matches(const QString &s) const; DisplaySettings displaySettings() const; void setDisplaySettings(const DisplaySettings &); |