Searched refs:additionalKeepPanel (Results 1 – 1 of 1) sorted by relevance
73 …private final KeepSpecificationsPanel additionalKeepPanel = new KeepSpecificationsPanel(this, true… field in ProGuardGUI359 addBorder(additionalKeepPanel, "keepAdditional"); in ProGuardGUI()360 shrinkingPanel.add(tip(additionalKeepPanel, "keepAdditionalTip"), stretchPanelConstraints); in ProGuardGUI()981 additionalKeepPanel.setClassSpecifications(filteredKeepSpecifications(configuration.keep, in setProGuardConfiguration()1103 List additionalKeep = additionalKeepPanel.getClassSpecifications(); in getProGuardConfiguration()