Searched refs:optimizationsTextField (Results 1 – 1 of 1) sorted by relevance
137 private final JTextField optimizationsTextField = new JTextField(40); field in ProGuardGUI435 createOptimizationsButton(optimizationsTextField); in ProGuardGUI()441 …optimizationOptionsPanel.add(tip(optimizationsTextField, "optimizationsFilterTip"), … in ProGuardGUI()1052 …optimizationsTextField .setText(configuration.optimizations == null ?… in setProGuardConfiguration()1179 …s = optimizationsTextField.getText().length() > 1 ? ListUtil.commaSepar… in getProGuardConfiguration()