mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Add TODO to remove migrated registry settings (IDEA-CR-46746)
GitOrigin-RevId: 099b26e34a1be34217d87d8849d06370137d722a
This commit is contained in:
committed by
intellij-monorepo-bot
parent
c01c7b79e8
commit
8ffec214be
@@ -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
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user