debuggercdi/com.nokia.cdt.debug.launch/src/com/nokia/cdt/internal/debug/launch/ui/EmulationMainTab.java
changeset 273 c2533fd23253
parent 203 e2002a613358
child 596 c94d1a58b611
child 615 63e37c7ede8c
equal deleted inserted replaced
272:897d32e5ad84 273:c2533fd23253
    77 		fProjText.setToolTipText(Messages.getString("EmulationMainTab.7")); //$NON-NLS-1$
    77 		fProjText.setToolTipText(Messages.getString("EmulationMainTab.7")); //$NON-NLS-1$
    78 
    78 
    79 		createVerticalSpacer(comp, 1);
    79 		createVerticalSpacer(comp, 1);
    80 		if (wantsTerminalOption() /*&& ProcessFactory.supportesTerminal()*/) {
    80 		if (wantsTerminalOption() /*&& ProcessFactory.supportesTerminal()*/) {
    81 			createTerminalOption(comp, 1);
    81 			createTerminalOption(comp, 1);
       
    82 			createVerticalSpacer(comp, 1);
    82 		}
    83 		}
       
    84 		createBuildOptionGroup(comp, 1);
    83 
    85 
    84 		ResourcesPlugin.getWorkspace().addResourceChangeListener(this, IResourceChangeEvent.POST_BUILD);
    86 		ResourcesPlugin.getWorkspace().addResourceChangeListener(this, IResourceChangeEvent.POST_BUILD);
    85 
    87 
    86 	}
    88 	}
    87 
    89