int () { int result = 0; if (idLabel != null && isIdVisible()) { result += idLabel.getPreferredSize().width; Insets insets = idLabel.getInsets(); if (insets != null) { result += insets.left + insets.right; } } ContentManager contentManager = ui.getContentManager(); Content selected = contentManager.getSelectedContent(); if (selected == null && contentManager.getContentCount() > 0) { selected = contentManager.getContents()[0]; } if (!ExperimentalUI.isNewUI()) { if (selected != null) { ContentTabLabel label = contentToTabs.get(selected); if (label != null) { result += label.getMinimumSize().width; } } } return result; }