mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
- allow to create content entries editor with borders and enable border in configurables - remove redundant borders around splitter - move delete icons to 3px right - replace Insets with JBUI.insets