mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
... and sync these properties between host and thin client also get rid of EditorSettingsListener: it didn't work well anyway in RemDev case. Now its functionality is performed by ObservableStateListener. This commit is a set of merged commits from IJ-CR-114108 with conflicts resolving GitOrigin-RevId: 6c07e5192aa440da9699e334bd5073a641125f52