mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-12 16:14:56 +07:00
Alexander Zolotov
a39d42f401
- 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