Searched refs:microEditionCheckBox (Results 1 – 1 of 1) sorted by relevance
119 private final JCheckBox microEditionCheckBox = new JCheckBox(msg("microEdition")); field in ProGuardGUI460 …preverificationOptionsPanel.add(tip(microEditionCheckBox, "microEditionTip"), constraintsLastStret… in ProGuardGUI()1028 microEditionCheckBox .setSelected(configuration.microEdition); in setProGuardConfiguration()1191 …configuration.microEdition = microEditionCheckBox .isSelect… in getProGuardConfiguration()