2012-10-02 09:12:39 +02:00
|
|
|
/****************************************************************************
|
2009-01-27 15:12:32 +01:00
|
|
|
**
|
2016-01-15 14:57:40 +01:00
|
|
|
** Copyright (C) 2016 The Qt Company Ltd.
|
|
|
|
|
** Contact: https://www.qt.io/licensing/
|
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
|
2016-01-15 14:57:40 +01:00
|
|
|
** a written agreement between you and The Qt Company. For licensing terms
|
|
|
|
|
** and conditions see https://www.qt.io/terms-conditions. For further
|
|
|
|
|
** information use the contact form at https://www.qt.io/contact-us.
|
2009-01-27 15:12:32 +01:00
|
|
|
**
|
2016-01-15 14:57:40 +01:00
|
|
|
** GNU General Public License Usage
|
|
|
|
|
** Alternatively, this file may be used under the terms of the GNU
|
|
|
|
|
** General Public License version 3 as published by the Free Software
|
|
|
|
|
** Foundation with exceptions as appearing in the file LICENSE.GPL3-EXCEPT
|
|
|
|
|
** included in the packaging of this file. Please review the following
|
|
|
|
|
** information to ensure the GNU General Public License requirements will
|
|
|
|
|
** be met: https://www.gnu.org/licenses/gpl-3.0.html.
|
2010-12-17 16:01:08 +01:00
|
|
|
**
|
2012-10-02 09:12:39 +02:00
|
|
|
****************************************************************************/
|
2009-01-27 15:12:32 +01:00
|
|
|
|
|
|
|
|
#include "displaysettingspage.h"
|
2020-01-15 15:00:57 +01:00
|
|
|
|
2009-01-27 15:12:32 +01:00
|
|
|
#include "displaysettings.h"
|
2014-01-09 14:44:25 +01:00
|
|
|
#include "marginsettings.h"
|
2020-01-15 15:00:57 +01:00
|
|
|
#include "texteditorconstants.h"
|
2020-02-03 08:54:44 +01:00
|
|
|
#include "texteditorsettings.h"
|
2009-01-27 15:12:32 +01:00
|
|
|
#include "ui_displaysettingspage.h"
|
|
|
|
|
|
|
|
|
|
#include <coreplugin/icore.h>
|
|
|
|
|
|
2020-01-21 15:20:02 +01:00
|
|
|
namespace TextEditor {
|
2009-01-27 15:12:32 +01:00
|
|
|
|
2020-02-10 11:46:56 +01:00
|
|
|
class DisplaySettingsPagePrivate
|
2009-01-27 15:12:32 +01:00
|
|
|
{
|
2020-02-10 11:46:56 +01:00
|
|
|
public:
|
2020-01-21 15:20:02 +01:00
|
|
|
DisplaySettingsPagePrivate();
|
2009-01-27 15:12:32 +01:00
|
|
|
|
|
|
|
|
DisplaySettings m_displaySettings;
|
2014-01-09 14:44:25 +01:00
|
|
|
MarginSettings m_marginSettings;
|
2020-01-21 15:20:02 +01:00
|
|
|
QString m_settingsPrefix;
|
2009-01-27 15:12:32 +01:00
|
|
|
};
|
|
|
|
|
|
2020-02-10 11:46:56 +01:00
|
|
|
DisplaySettingsPagePrivate::DisplaySettingsPagePrivate()
|
2009-01-27 15:12:32 +01:00
|
|
|
{
|
2020-01-21 15:20:02 +01:00
|
|
|
m_settingsPrefix = QLatin1String("text");
|
|
|
|
|
m_displaySettings.fromSettings(m_settingsPrefix, Core::ICore::settings());
|
|
|
|
|
m_marginSettings.fromSettings(m_settingsPrefix, Core::ICore::settings());
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|
|
|
|
|
|
2020-02-10 11:46:56 +01:00
|
|
|
class DisplaySettingsWidget final : public Core::IOptionsPageWidget
|
2009-01-27 15:12:32 +01:00
|
|
|
{
|
2020-02-10 11:46:56 +01:00
|
|
|
Q_DECLARE_TR_FUNCTIONS(TextEditor::DisplaySettingsPage)
|
2009-01-27 15:12:32 +01:00
|
|
|
|
2020-02-10 11:46:56 +01:00
|
|
|
public:
|
|
|
|
|
DisplaySettingsWidget(DisplaySettingsPagePrivate *data)
|
|
|
|
|
: m_data(data)
|
|
|
|
|
{
|
|
|
|
|
m_ui.setupUi(this);
|
2013-12-03 14:17:03 +01:00
|
|
|
settingsToUI();
|
2009-11-24 15:05:02 +01:00
|
|
|
}
|
2009-01-27 15:12:32 +01:00
|
|
|
|
2020-02-10 11:46:56 +01:00
|
|
|
void apply() final;
|
|
|
|
|
|
|
|
|
|
void settingsFromUI(DisplaySettings &displaySettings, MarginSettings &marginSettings) const;
|
|
|
|
|
void settingsToUI();
|
|
|
|
|
void setDisplaySettings(const DisplaySettings &, const MarginSettings &newMarginSettings);
|
|
|
|
|
|
|
|
|
|
DisplaySettingsPagePrivate *m_data = nullptr;
|
|
|
|
|
Internal::Ui::DisplaySettingsPage m_ui;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
void DisplaySettingsWidget::apply()
|
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
|
|
|
}
|
|
|
|
|
|
2020-02-10 11:46:56 +01:00
|
|
|
void DisplaySettingsWidget::settingsFromUI(DisplaySettings &displaySettings,
|
|
|
|
|
MarginSettings &marginSettings) const
|
2010-12-02 18:28:16 +01:00
|
|
|
{
|
2020-02-10 11:46:56 +01:00
|
|
|
displaySettings.m_displayLineNumbers = m_ui.displayLineNumbers->isChecked();
|
|
|
|
|
displaySettings.m_textWrapping = m_ui.enableTextWrapping->isChecked();
|
|
|
|
|
marginSettings.m_showMargin = m_ui.showWrapColumn->isChecked();
|
2021-01-24 17:11:02 +01:00
|
|
|
marginSettings.m_useIndenter = m_ui.useIndenter->isChecked();
|
2020-02-10 11:46:56 +01:00
|
|
|
marginSettings.m_marginColumn = m_ui.wrapColumn->value();
|
|
|
|
|
displaySettings.m_visualizeWhitespace = m_ui.visualizeWhitespace->isChecked();
|
|
|
|
|
displaySettings.m_displayFoldingMarkers = m_ui.displayFoldingMarkers->isChecked();
|
|
|
|
|
displaySettings.m_highlightCurrentLine = m_ui.highlightCurrentLine->isChecked();
|
|
|
|
|
displaySettings.m_highlightBlocks = m_ui.highlightBlocks->isChecked();
|
|
|
|
|
displaySettings.m_animateMatchingParentheses = m_ui.animateMatchingParentheses->isChecked();
|
|
|
|
|
displaySettings.m_highlightMatchingParentheses = m_ui.highlightMatchingParentheses->isChecked();
|
|
|
|
|
displaySettings.m_markTextChanges = m_ui.markTextChanges->isChecked();
|
|
|
|
|
displaySettings.m_autoFoldFirstComment = m_ui.autoFoldFirstComment->isChecked();
|
|
|
|
|
displaySettings.m_centerCursorOnScroll = m_ui.centerOnScroll->isChecked();
|
|
|
|
|
displaySettings.m_openLinksInNextSplit = m_ui.openLinksInNextSplit->isChecked();
|
|
|
|
|
displaySettings.m_displayFileEncoding = m_ui.displayFileEncoding->isChecked();
|
2022-06-10 13:26:54 +03:00
|
|
|
displaySettings.m_displayFileLineEnding = m_ui.displayFileLineEnding->isChecked();
|
2020-02-10 11:46:56 +01:00
|
|
|
displaySettings.m_scrollBarHighlights = m_ui.scrollBarHighlights->isChecked();
|
|
|
|
|
displaySettings.m_animateNavigationWithinFile = m_ui.animateNavigationWithinFile->isChecked();
|
|
|
|
|
displaySettings.m_displayAnnotations = m_ui.displayAnnotations->isChecked();
|
|
|
|
|
if (m_ui.leftAligned->isChecked())
|
2017-07-19 14:51:21 +02:00
|
|
|
displaySettings.m_annotationAlignment = AnnotationAlignment::NextToContent;
|
2020-02-10 11:46:56 +01:00
|
|
|
else if (m_ui.atMargin->isChecked())
|
2017-07-19 14:51:21 +02:00
|
|
|
displaySettings.m_annotationAlignment = AnnotationAlignment::NextToMargin;
|
2020-02-10 11:46:56 +01:00
|
|
|
else if (m_ui.rightAligned->isChecked())
|
2017-07-19 14:51:21 +02:00
|
|
|
displaySettings.m_annotationAlignment = AnnotationAlignment::RightSide;
|
2020-02-10 11:46:56 +01:00
|
|
|
else if (m_ui.betweenLines->isChecked())
|
2017-10-26 15:18:56 +02:00
|
|
|
displaySettings.m_annotationAlignment = AnnotationAlignment::BetweenLines;
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|
|
|
|
|
|
2020-02-10 11:46:56 +01:00
|
|
|
void DisplaySettingsWidget::settingsToUI()
|
2009-01-27 15:12:32 +01:00
|
|
|
{
|
2020-02-10 11:46:56 +01:00
|
|
|
const DisplaySettings &displaySettings = m_data->m_displaySettings;
|
|
|
|
|
const MarginSettings &marginSettings = m_data->m_marginSettings;
|
|
|
|
|
m_ui.displayLineNumbers->setChecked(displaySettings.m_displayLineNumbers);
|
|
|
|
|
m_ui.enableTextWrapping->setChecked(displaySettings.m_textWrapping);
|
|
|
|
|
m_ui.showWrapColumn->setChecked(marginSettings.m_showMargin);
|
2021-01-24 17:11:02 +01:00
|
|
|
m_ui.useIndenter->setChecked(marginSettings.m_useIndenter);
|
2020-02-10 11:46:56 +01:00
|
|
|
m_ui.wrapColumn->setValue(marginSettings.m_marginColumn);
|
|
|
|
|
m_ui.visualizeWhitespace->setChecked(displaySettings.m_visualizeWhitespace);
|
|
|
|
|
m_ui.displayFoldingMarkers->setChecked(displaySettings.m_displayFoldingMarkers);
|
|
|
|
|
m_ui.highlightCurrentLine->setChecked(displaySettings.m_highlightCurrentLine);
|
|
|
|
|
m_ui.highlightBlocks->setChecked(displaySettings.m_highlightBlocks);
|
|
|
|
|
m_ui.animateMatchingParentheses->setChecked(displaySettings.m_animateMatchingParentheses);
|
|
|
|
|
m_ui.highlightMatchingParentheses->setChecked(displaySettings.m_highlightMatchingParentheses);
|
|
|
|
|
m_ui.markTextChanges->setChecked(displaySettings.m_markTextChanges);
|
|
|
|
|
m_ui.autoFoldFirstComment->setChecked(displaySettings.m_autoFoldFirstComment);
|
|
|
|
|
m_ui.centerOnScroll->setChecked(displaySettings.m_centerCursorOnScroll);
|
|
|
|
|
m_ui.openLinksInNextSplit->setChecked(displaySettings.m_openLinksInNextSplit);
|
|
|
|
|
m_ui.displayFileEncoding->setChecked(displaySettings.m_displayFileEncoding);
|
2022-06-10 13:26:54 +03:00
|
|
|
m_ui.displayFileLineEnding->setChecked(displaySettings.m_displayFileLineEnding);
|
2020-02-10 11:46:56 +01:00
|
|
|
m_ui.scrollBarHighlights->setChecked(displaySettings.m_scrollBarHighlights);
|
|
|
|
|
m_ui.animateNavigationWithinFile->setChecked(displaySettings.m_animateNavigationWithinFile);
|
|
|
|
|
m_ui.displayAnnotations->setChecked(displaySettings.m_displayAnnotations);
|
2017-07-19 14:51:21 +02:00
|
|
|
switch (displaySettings.m_annotationAlignment) {
|
2020-02-10 11:46:56 +01:00
|
|
|
case AnnotationAlignment::NextToContent: m_ui.leftAligned->setChecked(true); break;
|
|
|
|
|
case AnnotationAlignment::NextToMargin: m_ui.atMargin->setChecked(true); break;
|
|
|
|
|
case AnnotationAlignment::RightSide: m_ui.rightAligned->setChecked(true); break;
|
|
|
|
|
case AnnotationAlignment::BetweenLines: m_ui.betweenLines->setChecked(true); break;
|
2017-07-19 14:51:21 +02:00
|
|
|
}
|
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;
|
|
|
|
|
}
|
|
|
|
|
|
2020-02-10 11:46:56 +01:00
|
|
|
void DisplaySettingsWidget::setDisplaySettings(const DisplaySettings &newDisplaySettings,
|
|
|
|
|
const MarginSettings &newMarginSettings)
|
2009-01-27 15:12:32 +01:00
|
|
|
{
|
2020-02-10 11:46:56 +01:00
|
|
|
if (newDisplaySettings != m_data->m_displaySettings) {
|
|
|
|
|
m_data->m_displaySettings = newDisplaySettings;
|
|
|
|
|
m_data->m_displaySettings.toSettings(m_data->m_settingsPrefix, Core::ICore::settings());
|
2009-01-27 15:12:32 +01:00
|
|
|
|
2020-02-03 08:54:44 +01:00
|
|
|
emit TextEditorSettings::instance()->displaySettingsChanged(newDisplaySettings);
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|
2014-01-09 14:44:25 +01:00
|
|
|
|
2020-02-10 11:46:56 +01:00
|
|
|
if (newMarginSettings != m_data->m_marginSettings) {
|
|
|
|
|
m_data->m_marginSettings = newMarginSettings;
|
|
|
|
|
m_data->m_marginSettings.toSettings(m_data->m_settingsPrefix, Core::ICore::settings());
|
2014-01-09 14:44:25 +01:00
|
|
|
|
2020-02-03 08:54:44 +01:00
|
|
|
emit TextEditorSettings::instance()->marginSettingsChanged(newMarginSettings);
|
2014-01-09 14:44:25 +01:00
|
|
|
}
|
2009-01-27 15:12:32 +01:00
|
|
|
}
|
2020-01-21 15:20:02 +01:00
|
|
|
|
2020-02-10 11:46:56 +01:00
|
|
|
DisplaySettingsPage::DisplaySettingsPage()
|
|
|
|
|
: d(new DisplaySettingsPagePrivate)
|
|
|
|
|
{
|
|
|
|
|
setId(Constants::TEXT_EDITOR_DISPLAY_SETTINGS);
|
|
|
|
|
setDisplayName(DisplaySettingsWidget::tr("Display"));
|
|
|
|
|
setCategory(TextEditor::Constants::TEXT_EDITOR_SETTINGS_CATEGORY);
|
|
|
|
|
setDisplayCategory(QCoreApplication::translate("TextEditor", "Text Editor"));
|
|
|
|
|
setCategoryIconPath(TextEditor::Constants::TEXT_EDITOR_SETTINGS_CATEGORY_ICON_PATH);
|
|
|
|
|
setWidgetCreator([this] { return new DisplaySettingsWidget(d); });
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
DisplaySettingsPage::~DisplaySettingsPage()
|
|
|
|
|
{
|
|
|
|
|
delete d;
|
|
|
|
|
}
|
|
|
|
|
|
2020-01-21 15:20:02 +01:00
|
|
|
} // TextEditor
|