mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
This takes care of the divider visibility regardless of when and how the tabs are created, fixing both mentioned issues. GitOrigin-RevId: 9907327b4c817db4f134d3f2cdd8a3f8a3163287