Searched refs:optimizationsLabel (Results 1 – 1 of 1) sorted by relevance
95 private final JLabel optimizationsLabel = new JLabel(msg("optimizations")); field in ProGuardGUI438 …optimizationOptionsPanel.add(tip(optimizationsLabel, "optimizationsTip"), … in ProGuardGUI()