Searched refs:optimizationOptionsPanel (Results 1 – 1 of 1) sorted by relevance
| /external/proguard/src/proguard/gui/ |
| D | ProGuardGUI.java | 429 JPanel optimizationOptionsPanel = new JPanel(layout); in ProGuardGUI() local
430 addBorder(optimizationOptionsPanel, "options"); in ProGuardGUI()
435 …optimizationOptionsPanel.add(tip(optimizeCheckBox, "optimizeTip"), … in ProGuardGUI()
436 …optimizationOptionsPanel.add(tip(allowAccessModificationCheckBox, "allowAccessModificationTip"… in ProGuardGUI()
437 …optimizationOptionsPanel.add(tip(mergeInterfacesAggressivelyCheckBox, "mergeInterfacesAggressively… in ProGuardGUI()
438 …optimizationOptionsPanel.add(tip(optimizationsLabel, "optimizationsTip"), … in ProGuardGUI()
439 …optimizationOptionsPanel.add(tip(optimizationsTextField, "optimizationsFilterTip"), … in ProGuardGUI()
440 …optimizationOptionsPanel.add(tip(optimizationsButton, "optimizationsSelectTip"), … in ProGuardGUI()
441 …optimizationOptionsPanel.add(tip(optimizationPassesLabel, "optimizationPassesTip"), … in ProGuardGUI()
442 …optimizationOptionsPanel.add(tip(optimizationPassesSpinner, "optimizationPassesTip"), … in ProGuardGUI()
[all …]
|