Searched refs:optimizeCheckBox (Results 1 – 1 of 1) sorted by relevance
92 private final JCheckBox optimizeCheckBox = new JCheckBox(msg("optimize")); field in ProGuardGUI435 …optimizationOptionsPanel.add(tip(optimizeCheckBox, "optimizeTip"), … in ProGuardGUI()1004 optimizeCheckBox .setSelected(configuration.optimize); in setProGuardConfiguration()1166 …configuration.optimize = optimizeCheckBox .isSelect… in getProGuardConfiguration()