From 363d32f5b87fcc184f74d272a2dc241d9f231de8 Mon Sep 17 00:00:00 2001 From: Dmitry Batrak Date: Wed, 30 Jan 2019 13:49:54 +0300 Subject: [PATCH] deprecate unused global editor options --- .../editor/ex/EditorSettingsExternalizable.java | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/platform/platform-impl/src/com/intellij/openapi/editor/ex/EditorSettingsExternalizable.java b/platform/platform-impl/src/com/intellij/openapi/editor/ex/EditorSettingsExternalizable.java index 5553404fe60c..821d0bfcd681 100644 --- a/platform/platform-impl/src/com/intellij/openapi/editor/ex/EditorSettingsExternalizable.java +++ b/platform/platform-impl/src/com/intellij/openapi/editor/ex/EditorSettingsExternalizable.java @@ -220,19 +220,35 @@ public class EditorSettingsExternalizable implements PersistentStateComponent