MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

assign paths for jbTabs titles (IDEA-163178)

Browse Source
This commit is contained in:
Anna.Kozlova
2016-11-08 15:58:09 +01:00
parent 35d4b43b6f
commit 2d95dfa60c
1 changed files with 16 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/ui/search/SearchUtil.java
+16
View File
@@ -28,6 +28,8 @@ import com.intellij.ui.JBColor;
import com.intellij.ui.SimpleColoredComponent;
import com.intellij.ui.SimpleTextAttributes;
import com.intellij.ui.TabbedPaneWrapper;
import com.intellij.ui.tabs.JBTabs;
import com.intellij.ui.tabs.TabInfo;
import com.intellij.util.containers.ContainerUtil;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
@@ -141,6 +143,20 @@ public class SearchUtil {
}
}
}
else if (component instanceof JBTabs) {
final JBTabs tabbedPane = (JBTabs)component;
final int tabCount = tabbedPane.getTabCount();
for (int i = 0; i < tabCount; i++) {
TabInfo tabInfo = tabbedPane.getTabAt(i);
String tabTitle = tabInfo.getText();
final String title = path != null ? path + '.' + tabTitle : tabTitle;
processUILabel(title, configurableOptions, title);
final JComponent tabComponent = tabInfo.getComponent();
if (tabComponent != null) {
processComponent(tabComponent, configurableOptions, title);
}
}
}
else {
final Component[] components = component.getComponents();
if (components != null) {