debuggercdi/com.nokia.cdt.debug.launch/src/com/nokia/cdt/internal/debug/launch/wizard/LaunchWizardSelectionPage.java
changeset 956 d1e221a2875f
parent 569 369485fbe634
child 1299 c6abac939087
equal deleted inserted replaced
948:ee68c935ffb7 956:d1e221a2875f
   144 	}
   144 	}
   145 	
   145 	
   146 	public void setVisible(boolean visible) {
   146 	public void setVisible(boolean visible) {
   147 		super.setVisible(visible);
   147 		super.setVisible(visible);
   148 		if (visible && wizardSelectionTableViewer != null) {
   148 		if (visible && wizardSelectionTableViewer != null) {
   149 			wizardSelectionTableViewer.setInput(mainWizard.getWizardsForCategory(mainWizard.getSelectedCategoryId()));
   149 			wizardSelectionTableViewer.setInput(mainWizard.getWizardsForCategory(mainWizard.getCategoryId()));
   150 			if (inputChanged) {
   150 			if (inputChanged) {
   151 				wizardSelectionTableViewer.setSelection(new StructuredSelection(wizardSelectionTableViewer.getElementAt(0)), true);
   151 				wizardSelectionTableViewer.setSelection(new StructuredSelection(wizardSelectionTableViewer.getElementAt(0)), true);
   152 			}
   152 			}
   153 			wizardSelectionTableViewer.getTable().setFocus();
   153 			wizardSelectionTableViewer.getTable().setFocus();
   154 		}
   154 		}