Files
openide/platform/editor-ui-ex
Nikita Gubarkov f8883ada16 IDEA-276887 Fix compatibility for UISettings.restoreFontSize
GitOrigin-RevId: 98152090f0afc55623feab8924324f9155ee8de2
2022-02-15 12:02:31 +00:00
..