Searched refs:dumpCheckBox (Results 1 – 1 of 1) sorted by relevance
134 private final JCheckBox dumpCheckBox = new JCheckBox(msg("dump")); field in ProGuardGUI496 …consistencyPanel.add(tip(dumpCheckBox, "dumpTip"), … in ProGuardGUI()1041 … dumpCheckBox .setSelected(configuration.dump != null); in setProGuardConfiguration()1204 …configuration.dump = dumpCheckBox .isSelect… in getProGuardConfiguration()