mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
[RDCT] RDCT-1224: Make EditorSettingsExternalizable per-client
IJ-MR-130819 GitOrigin-RevId: e4f0d8038e21f284c369b5f0c27ae962223eca68
This commit is contained in:
committed by
intellij-monorepo-bot
parent
f718908d19
commit
28d2adecea
@@ -13,6 +13,6 @@
|
||||
<applicationService serviceInterface="com.intellij.notification.NotificationGroupManager"
|
||||
serviceImplementation="com.intellij.notification.impl.NotificationGroupManagerImpl"/>
|
||||
<applicationService serviceImplementation="com.intellij.ide.GeneralSettings"/>
|
||||
<applicationService serviceImplementation="com.intellij.openapi.editor.ex.EditorSettingsExternalizable"/>
|
||||
<applicationService serviceImplementation="com.intellij.openapi.editor.ex.EditorSettingsExternalizable" client="all"/>
|
||||
</extensions>
|
||||
</idea-plugin>
|
||||
Reference in New Issue
Block a user