Searched refs:optimizationPanel (Results 1 – 1 of 1) sorted by relevance
444 JPanel optimizationPanel = new JPanel(layout); in ProGuardGUI() local446 optimizationPanel.add(optimizationOptionsPanel, panelConstraints); in ProGuardGUI()448 optimizationPanel, in ProGuardGUI()453 …optimizationPanel.add(tip(additionalNoSideEffectsPanel, "assumeNoSideEffectsAdditionalTip"), stret… in ProGuardGUI()592 tabs.add(msg("optimizationTab"), optimizationPanel); in ProGuardGUI()616 optimizationPanel .add(Box.createGlue(), glueConstraints); in ProGuardGUI()617 optimizationPanel .add(createPreviousButton(tabs), bottomButtonConstraints); in ProGuardGUI()618 optimizationPanel .add(createNextButton(tabs), lastBottomButtonConstraints); in ProGuardGUI()