Home
last modified time | relevance | path

Searched refs:panelName (Results 1 – 2 of 2) sorted by relevance

/external/testng/src/main/resources/
Dtestng-reports.js54 var panelName = getPanelName(element);
55 var sel = '.' + panelName + "-class-" + name;
91 function showPanel(panelName) { argument
93 var panel = $('.panel[panel-name="' + panelName + '"]');
99 var panelName = getPanelName(element);
100 showPanel(panelName);
/external/proguard/src/proguard/gui/
DProGuardGUI.java783 String panelName = comments.substring(0, dashIndex).trim(); in addClassSpecifications() local
786 if (keepSubpanel == null || !panelName.equals(lastPanelName)) in addClassSpecifications()
790 keepSubpanel.setBorder(BorderFactory.createTitledBorder(BORDER, panelName)); in addClassSpecifications()
793 lastPanelName = panelName; in addClassSpecifications()