From 073b01ba30be2c7cacb7822ab35642c9e7cf4d26 Mon Sep 17 00:00:00 2001 From: Vladimir Krivosheev Date: Mon, 30 Jan 2017 17:30:29 +0100 Subject: [PATCH] =?UTF-8?q?UISettings=20=E2=80=94=20use=20smart=20state=20?= =?UTF-8?q?class=20(stored=20properties),=20part=205?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../src/com/intellij/ide/ui/UISettings.kt | 2 +- .../options/editor/EditorAppearanceConfigurable.java | 10 +++++----- .../codeInsight/daemon/impl/DaemonEditorPopup.java | 6 +++--- .../openapi/editor/impl/EditorMarkupModelImpl.java | 6 +++--- 4 files changed, 12 insertions(+), 12 deletions(-) diff --git a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt index 3e844cc3f3a5..864f60841c59 100644 --- a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt +++ b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt @@ -75,8 +75,8 @@ class UISettings : BaseState(), PersistentStateComponent { @get:OptionTag("WIDESCREEN_SUPPORT") var wideScreenSupport by storedProperty(false) @get:OptionTag("LEFT_HORIZONTAL_SPLIT") var leftGorizontalSplit by storedProperty(false) @get:OptionTag("RIGHT_HORIZONTAL_SPLIT") var rightGorizontalSplit by storedProperty(false) + @get:OptionTag("SHOW_EDITOR_TOOLTIP") var showEditorToolTip by storedProperty(true) - @JvmField var SHOW_EDITOR_TOOLTIP = true @JvmField var SHOW_MEMORY_INDICATOR = false @JvmField var ALLOW_MERGE_BUTTONS = true @JvmField var SHOW_MAIN_TOOLBAR = false diff --git a/platform/lang-impl/src/com/intellij/application/options/editor/EditorAppearanceConfigurable.java b/platform/lang-impl/src/com/intellij/application/options/editor/EditorAppearanceConfigurable.java index 7439a7370a0a..86da19a416b6 100644 --- a/platform/lang-impl/src/com/intellij/application/options/editor/EditorAppearanceConfigurable.java +++ b/platform/lang-impl/src/com/intellij/application/options/editor/EditorAppearanceConfigurable.java @@ -1,5 +1,5 @@ /* - * Copyright 2000-2016 JetBrains s.r.o. + * Copyright 2000-2017 JetBrains s.r.o. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -128,7 +128,7 @@ public class EditorAppearanceConfigurable extends CompositeConfigurable highlighters = new THashSet<>(); getNearestHighlighters(this, me.getY(), highlighters); getNearestHighlighters(((EditorEx)getEditor()).getFilteredDocumentMarkupModel(), me.getY(), highlighters); @@ -553,7 +553,7 @@ public class EditorMarkupModelImpl extends MarkupModelImpl implements EditorMark @Override public void uiSettingsChanged(UISettings uiSettings) { - if (!uiSettings.SHOW_EDITOR_TOOLTIP) { + if (!uiSettings.getShowEditorToolTip()) { hideMyEditorPreviewHint(); } setMinMarkHeight(DaemonCodeAnalyzerSettings.getInstance().ERROR_STRIPE_MARK_MIN_HEIGHT);