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