mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
1. Consider new theme in NotebookEditorColorsListener 2. Listen to "border" property change as a more popular UX-triggered event so that EditorColorsScheme applied properly GitOrigin-RevId: 3da6d8c95b95c7faace517621454947a0c1c3686