Searched refs:optimizationsButton (Results 1 – 1 of 1) sorted by relevance
434 JButton optimizationsButton = in ProGuardGUI() local442 …optimizationOptionsPanel.add(tip(optimizationsButton, "optimizationsSelectTip"), … in ProGuardGUI()898 JButton optimizationsButton = new JButton(msg("select")); in createOptimizationsButton() local899 optimizationsButton.addActionListener(new ActionListener() in createOptimizationsButton()915 return optimizationsButton; in createOptimizationsButton()