2012-10-02 09:12:39 +02:00
|
|
|
/****************************************************************************
|
2009-01-27 15:12:32 +01:00
|
|
|
**
|
2014-01-07 13:27:11 +01:00
|
|
|
** Copyright (C) 2014 Digia Plc and/or its subsidiary(-ies).
|
2012-10-02 09:12:39 +02:00
|
|
|
** Contact: http://www.qt-project.org/legal
|
2009-01-27 15:12:32 +01:00
|
|
|
**
|
2012-10-02 09:12:39 +02:00
|
|
|
** This file is part of Qt Creator.
|
2009-01-27 15:12:32 +01:00
|
|
|
**
|
2012-10-02 09:12:39 +02:00
|
|
|
** Commercial License Usage
|
|
|
|
|
** Licensees holding valid commercial Qt licenses may use this file in
|
|
|
|
|
** accordance with the commercial license agreement provided with the
|
|
|
|
|
** Software or, alternatively, in accordance with the terms contained in
|
|
|
|
|
** a written agreement between you and Digia. For licensing terms and
|
2014-10-01 13:21:18 +02:00
|
|
|
** conditions see http://www.qt.io/licensing. For further information
|
|
|
|
|
** use the contact form at http://www.qt.io/contact-us.
|
2009-01-27 15:12:32 +01:00
|
|
|
**
|
2009-02-25 09:15:00 +01:00
|
|
|
** GNU Lesser General Public License Usage
|
2012-10-02 09:12:39 +02:00
|
|
|
** Alternatively, this file may be used under the terms of the GNU Lesser
|
2014-10-01 13:21:18 +02:00
|
|
|
** General Public License version 2.1 or version 3 as published by the Free
|
|
|
|
|
** Software Foundation and appearing in the file LICENSE.LGPLv21 and
|
|
|
|
|
** LICENSE.LGPLv3 included in the packaging of this file. Please review the
|
|
|
|
|
** following information to ensure the GNU Lesser General Public License
|
|
|
|
|
** requirements will be met: https://www.gnu.org/licenses/lgpl.html and
|
|
|
|
|
** http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
|
2012-10-02 09:12:39 +02:00
|
|
|
**
|
|
|
|
|
** In addition, as a special exception, Digia gives you certain additional
|
|
|
|
|
** rights. These rights are described in the Digia Qt LGPL Exception
|
2010-12-17 16:01:08 +01:00
|
|
|
** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
|
|
|
|
|
**
|
2012-10-02 09:12:39 +02:00
|
|
|
****************************************************************************/
|
2009-01-27 15:12:32 +01:00
|
|
|
|
|
|
|
|
#include "displaysettingspage.h"
|
|
|
|
|
#include "displaysettings.h"
|
2014-01-09 14:44:25 +01:00
|
|
|
#include "marginsettings.h"
|
2009-01-27 15:12:32 +01:00
|
|
|
#include "ui_displaysettingspage.h"
|
|
|
|
|
|
|
|
|
|
#include <coreplugin/icore.h>
|
|
|
|
|
|
2013-12-03 14:17:03 +01:00
|
|
|
#include <QPointer>
|
2012-02-15 10:42:41 +01:00
|
|
|
#include <QTextStream>
|
2009-01-27 15:12:32 +01:00
|
|
|
|
|
|
|
|
using namespace TextEditor;
|
|
|
|
|
|
|
|
|
|
struct DisplaySettingsPage::DisplaySettingsPagePrivate
|
|
|
|
|
{
|
|
|
|
|
explicit DisplaySettingsPagePrivate(const DisplaySettingsPageParameters &p);
|
|
|
|
|
|
|
|
|
|
const DisplaySettingsPageParameters m_parameters;
|
2013-12-03 14:17:03 +01:00
|
|
|
QPointer<QWidget> m_widget;
|
2011-11-23 15:15:01 +00:00
|
|
|
Internal::Ui::DisplaySettingsPage *m_page;
|
2009-01-27 15:12:32 +01:00
|
|
|
DisplaySettings m_displaySettings;
|
2014-01-09 14:44:25 +01:00
|
|
|
MarginSettings m_marginSettings;
|
2009-01-27 15:12:32 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
DisplaySettingsPage::DisplaySettingsPagePrivate::DisplaySettingsPagePrivate
|
|
|
|
|
(const DisplaySettingsPageParameters &p)
|
2010-12-02 18:28:16 +01:00
|
|
|
: m_parameters(p), m_page(0)
|
2009-01-27 15:12:32 +01:00
|
|
|
{
|
2012-08-09 12:58:51 +03:00
|
|
|
m_displaySettings.fromSettings(m_parameters.settingsPrefix, Core::ICore::settings());
|
2014-01-09 14:44:25 +01:00
|
|
|
m_marginSettings.fromSettings(m_parameters.settingsPrefix, Core::ICore::settings());
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
DisplaySettingsPage::DisplaySettingsPage(const DisplaySettingsPageParameters &p,
|
|
|
|
|
QObject *parent)
|
2010-04-12 15:53:17 +02:00
|
|
|
: TextEditorOptionsPage(parent),
|
2011-09-16 13:10:06 +02:00
|
|
|
d(new DisplaySettingsPagePrivate(p))
|
2009-01-27 15:12:32 +01:00
|
|
|
{
|
2012-05-22 11:17:13 +02:00
|
|
|
setId(p.id);
|
|
|
|
|
setDisplayName(p.displayName);
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
DisplaySettingsPage::~DisplaySettingsPage()
|
|
|
|
|
{
|
2011-09-16 13:10:06 +02:00
|
|
|
delete d;
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|
|
|
|
|
|
2013-12-03 14:17:03 +01:00
|
|
|
QWidget *DisplaySettingsPage::widget()
|
2009-01-27 15:12:32 +01:00
|
|
|
{
|
2013-12-03 14:17:03 +01:00
|
|
|
if (!d->m_widget) {
|
|
|
|
|
d->m_widget = new QWidget;
|
|
|
|
|
d->m_page = new Internal::Ui::DisplaySettingsPage;
|
|
|
|
|
d->m_page->setupUi(d->m_widget);
|
|
|
|
|
settingsToUI();
|
2009-11-24 15:05:02 +01:00
|
|
|
}
|
2013-12-03 14:17:03 +01:00
|
|
|
return d->m_widget;
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void DisplaySettingsPage::apply()
|
|
|
|
|
{
|
2011-09-16 13:10:06 +02:00
|
|
|
if (!d->m_page) // page was never shown
|
2010-12-02 18:28:16 +01:00
|
|
|
return;
|
2009-01-27 15:12:32 +01:00
|
|
|
DisplaySettings newDisplaySettings;
|
2014-01-09 14:44:25 +01:00
|
|
|
MarginSettings newMarginSettings;
|
2009-01-27 15:12:32 +01:00
|
|
|
|
2014-01-09 14:44:25 +01:00
|
|
|
settingsFromUI(newDisplaySettings, newMarginSettings);
|
|
|
|
|
setDisplaySettings(newDisplaySettings, newMarginSettings);
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|
|
|
|
|
|
2010-12-02 18:28:16 +01:00
|
|
|
void DisplaySettingsPage::finish()
|
|
|
|
|
{
|
2013-12-03 14:17:03 +01:00
|
|
|
delete d->m_widget;
|
2011-09-16 13:10:06 +02:00
|
|
|
if (!d->m_page) // page was never shown
|
2010-12-02 18:28:16 +01:00
|
|
|
return;
|
2011-09-16 13:10:06 +02:00
|
|
|
delete d->m_page;
|
|
|
|
|
d->m_page = 0;
|
2010-12-02 18:28:16 +01:00
|
|
|
}
|
|
|
|
|
|
2014-01-09 14:44:25 +01:00
|
|
|
void DisplaySettingsPage::settingsFromUI(DisplaySettings &displaySettings,
|
|
|
|
|
MarginSettings &marginSettings) const
|
2009-01-27 15:12:32 +01:00
|
|
|
{
|
2011-09-16 13:10:06 +02:00
|
|
|
displaySettings.m_displayLineNumbers = d->m_page->displayLineNumbers->isChecked();
|
|
|
|
|
displaySettings.m_textWrapping = d->m_page->enableTextWrapping->isChecked();
|
2014-01-09 14:44:25 +01:00
|
|
|
marginSettings.m_showMargin = d->m_page->showWrapColumn->isChecked();
|
|
|
|
|
marginSettings.m_marginColumn = d->m_page->wrapColumn->value();
|
2011-09-16 13:10:06 +02:00
|
|
|
displaySettings.m_visualizeWhitespace = d->m_page->visualizeWhitespace->isChecked();
|
|
|
|
|
displaySettings.m_displayFoldingMarkers = d->m_page->displayFoldingMarkers->isChecked();
|
|
|
|
|
displaySettings.m_highlightCurrentLine = d->m_page->highlightCurrentLine->isChecked();
|
|
|
|
|
displaySettings.m_highlightBlocks = d->m_page->highlightBlocks->isChecked();
|
|
|
|
|
displaySettings.m_animateMatchingParentheses = d->m_page->animateMatchingParentheses->isChecked();
|
2012-10-11 14:46:18 +04:00
|
|
|
displaySettings.m_highlightMatchingParentheses = d->m_page->highlightMatchingParentheses->isChecked();
|
2011-09-16 13:10:06 +02:00
|
|
|
displaySettings.m_markTextChanges = d->m_page->markTextChanges->isChecked();
|
|
|
|
|
displaySettings.m_autoFoldFirstComment = d->m_page->autoFoldFirstComment->isChecked();
|
|
|
|
|
displaySettings.m_centerCursorOnScroll = d->m_page->centerOnScroll->isChecked();
|
2012-11-01 03:43:28 +01:00
|
|
|
displaySettings.m_openLinksInNextSplit = d->m_page->openLinksInNextSplit->isChecked();
|
2013-04-18 10:06:13 +02:00
|
|
|
displaySettings.m_displayFileEncoding = d->m_page->displayFileEncoding->isChecked();
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void DisplaySettingsPage::settingsToUI()
|
|
|
|
|
{
|
2011-09-16 13:10:06 +02:00
|
|
|
const DisplaySettings &displaySettings = d->m_displaySettings;
|
2014-01-09 14:44:25 +01:00
|
|
|
const MarginSettings &marginSettings = d->m_marginSettings;
|
2011-09-16 13:10:06 +02:00
|
|
|
d->m_page->displayLineNumbers->setChecked(displaySettings.m_displayLineNumbers);
|
|
|
|
|
d->m_page->enableTextWrapping->setChecked(displaySettings.m_textWrapping);
|
2014-01-09 14:44:25 +01:00
|
|
|
d->m_page->showWrapColumn->setChecked(marginSettings.m_showMargin);
|
|
|
|
|
d->m_page->wrapColumn->setValue(marginSettings.m_marginColumn);
|
2011-09-16 13:10:06 +02:00
|
|
|
d->m_page->visualizeWhitespace->setChecked(displaySettings.m_visualizeWhitespace);
|
|
|
|
|
d->m_page->displayFoldingMarkers->setChecked(displaySettings.m_displayFoldingMarkers);
|
|
|
|
|
d->m_page->highlightCurrentLine->setChecked(displaySettings.m_highlightCurrentLine);
|
|
|
|
|
d->m_page->highlightBlocks->setChecked(displaySettings.m_highlightBlocks);
|
|
|
|
|
d->m_page->animateMatchingParentheses->setChecked(displaySettings.m_animateMatchingParentheses);
|
2012-10-11 14:46:18 +04:00
|
|
|
d->m_page->highlightMatchingParentheses->setChecked(displaySettings.m_highlightMatchingParentheses);
|
2011-09-16 13:10:06 +02:00
|
|
|
d->m_page->markTextChanges->setChecked(displaySettings.m_markTextChanges);
|
|
|
|
|
d->m_page->autoFoldFirstComment->setChecked(displaySettings.m_autoFoldFirstComment);
|
|
|
|
|
d->m_page->centerOnScroll->setChecked(displaySettings.m_centerCursorOnScroll);
|
2012-11-01 03:43:28 +01:00
|
|
|
d->m_page->openLinksInNextSplit->setChecked(displaySettings.m_openLinksInNextSplit);
|
2013-04-18 10:06:13 +02:00
|
|
|
d->m_page->displayFileEncoding->setChecked(displaySettings.m_displayFileEncoding);
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|
|
|
|
|
|
2010-01-20 11:27:08 +01:00
|
|
|
const DisplaySettings &DisplaySettingsPage::displaySettings() const
|
2009-01-27 15:12:32 +01:00
|
|
|
{
|
2011-09-16 13:10:06 +02:00
|
|
|
return d->m_displaySettings;
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|
|
|
|
|
|
2014-01-09 14:44:25 +01:00
|
|
|
const MarginSettings &DisplaySettingsPage::marginSettings() const
|
|
|
|
|
{
|
|
|
|
|
return d->m_marginSettings;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void DisplaySettingsPage::setDisplaySettings(const DisplaySettings &newDisplaySettings,
|
|
|
|
|
const MarginSettings &newMarginSettings)
|
2009-01-27 15:12:32 +01:00
|
|
|
{
|
2011-09-16 13:10:06 +02:00
|
|
|
if (newDisplaySettings != d->m_displaySettings) {
|
|
|
|
|
d->m_displaySettings = newDisplaySettings;
|
2012-08-09 12:58:51 +03:00
|
|
|
d->m_displaySettings.toSettings(d->m_parameters.settingsPrefix, Core::ICore::settings());
|
2009-01-27 15:12:32 +01:00
|
|
|
|
|
|
|
|
emit displaySettingsChanged(newDisplaySettings);
|
|
|
|
|
}
|
2014-01-09 14:44:25 +01:00
|
|
|
|
|
|
|
|
if (newMarginSettings != d->m_marginSettings) {
|
|
|
|
|
d->m_marginSettings = newMarginSettings;
|
|
|
|
|
d->m_marginSettings.toSettings(d->m_parameters.settingsPrefix, Core::ICore::settings());
|
|
|
|
|
|
|
|
|
|
emit marginSettingsChanged(newMarginSettings);
|
|
|
|
|
}
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|