69     private boolean tabsOverlapBorder;
367         tabsOverlapBorder = UIManager.getBoolean("TabbedPane.tabsOverlapBorder");
751         if (tabsOverlapBorder) {
760         if (!tabsOverlapBorder) {
1187                 if (tabsOverlapBorder) {
1194                 if (tabsOverlapBorder) {
1200                 if (tabsOverlapBorder) {
1207                 if (tabsOverlapBorder) {
3039             if (tabsOverlapBorder) {

Indexes created Tue Jul 24 14:28:13 CEST 2018