Searched refs:optionsPanel (Results 1 – 1 of 1) sorted by relevance
513 JPanel optionsPanel = new JPanel(layout); in ProGuardGUI() local515 optionsPanel.add(preverificationOptionsPanel, panelConstraints); in ProGuardGUI()516 optionsPanel.add(consistencyPanel, panelConstraints); in ProGuardGUI()519 … optionsPanel.add(tip(whyAreYouKeepingPanel, "whyAreYouKeepingTip"), stretchPanelConstraints); in ProGuardGUI()595 tabs.add(msg("informationTab"), optionsPanel); in ProGuardGUI()622 optionsPanel .add(Box.createGlue(), glueConstraints); in ProGuardGUI()623 optionsPanel .add(createPreviousButton(tabs), bottomButtonConstraints); in ProGuardGUI()624 optionsPanel .add(createNextButton(tabs), lastBottomButtonConstraints); in ProGuardGUI()