Searched refs:optimizationPanel (Results 1 – 1 of 1) sorted by relevance
446 JPanel optimizationPanel = new JPanel(layout); in ProGuardGUI() local448 optimizationPanel.add(optimizationOptionsPanel, panelConstraints); in ProGuardGUI()450 optimizationPanel, in ProGuardGUI()455 …optimizationPanel.add(tip(additionalNoSideEffectsPanel, "assumeNoSideEffectsAdditionalTip"), stret… in ProGuardGUI()594 tabs.add(msg("optimizationTab"), optimizationPanel); in ProGuardGUI()618 optimizationPanel .add(Box.createGlue(), glueConstraints); in ProGuardGUI()619 optimizationPanel .add(createPreviousButton(tabs), bottomButtonConstraints); in ProGuardGUI()620 optimizationPanel .add(createNextButton(tabs), lastBottomButtonConstraints); in ProGuardGUI()