aboutsummaryrefslogtreecommitdiffstats
path: root/src/plugins/texteditor/displaysettingspage.h
diff options
context:
space:
mode:
authorErik Verbruggen <erik.verbruggen@digia.com>2014-01-09 14:44:25 +0100
committerErik Verbruggen <erik.verbruggen@digia.com>2014-01-10 12:11:24 +0100
commit02314e24f09c1b405919cd80d3747f2850223244 (patch)
tree86a54fc4b0e84998f6eea487e0207970845b99c9 /src/plugins/texteditor/displaysettingspage.h
parent28180a415a88a78df180f8291ae4921e32203ed2 (diff)
Editor: add margin displaying to project settings.
This patch also moves the showMargin and marginColumn settings into a new settings class. Change-Id: I676447be751c13ee438edc1e31e5998b999c6771 Reviewed-by: Eike Ziller <eike.ziller@digia.com>
Diffstat (limited to 'src/plugins/texteditor/displaysettingspage.h')
-rw-r--r--src/plugins/texteditor/displaysettingspage.h7
1 files changed, 5 insertions, 2 deletions
diff --git a/src/plugins/texteditor/displaysettingspage.h b/src/plugins/texteditor/displaysettingspage.h
index 6bbf516587..fbe742ce3a 100644
--- a/src/plugins/texteditor/displaysettingspage.h
+++ b/src/plugins/texteditor/displaysettingspage.h
@@ -37,6 +37,7 @@
namespace TextEditor {
class DisplaySettings;
+class MarginSettings;
class DisplaySettingsPageParameters
{
@@ -60,14 +61,16 @@ public:
void finish();
const DisplaySettings &displaySettings() const;
+ const MarginSettings &marginSettings() const;
signals:
void displaySettingsChanged(const TextEditor::DisplaySettings &);
+ void marginSettingsChanged(const TextEditor::MarginSettings &);
private:
- void settingsFromUI(DisplaySettings &displaySettings) const;
+ void settingsFromUI(DisplaySettings &displaySettings, MarginSettings &marginSettings) const;
void settingsToUI();
- void setDisplaySettings(const DisplaySettings &);
+ void setDisplaySettings(const DisplaySettings &, const MarginSettings &newMarginSettings);
struct DisplaySettingsPagePrivate;
DisplaySettingsPagePrivate *d;