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);