From 8ffec214be6dbff637038936ad2005c3c58f2286 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Tue, 7 May 2019 14:00:25 +0200
Subject: [PATCH] Add TODO to remove migrated registry settings (IDEA-CR-46746)

GitOrigin-RevId: 099b26e34a1be34217d87d8849d06370137d722a
---
 platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt | 1 +
 1 file changed, 1 insertion(+)

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 43a5fbec8f94..d242733d2491 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
@@ -360,6 +360,7 @@ class UISettings @JvmOverloads constructor(private val notRoamableOptions: NotRo
     get() = showInplaceComments && ApplicationManager.getApplication()?.isInternal ?: false
 
   init {
+    // TODO Remove the registry keys and migration code in 2019.3
     if (Registry.`is`("tabs.alphabetical")) {
       sortTabsAlphabetically = true
     }