mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-22 14:12:10 +02:00
Code Issues Wiki Activity

handle non-ui startup

Browse source
This commit is contained in:
David Inglis 2002-08-15 19:48:44 +00:00
parent 6761b638e7
commit de3813f5f2
1 changed files with 18 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

31
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/CPlugin.java
View file

@ -282,12 +282,15 @@ public class CPlugin extends AbstractUIPlugin {
super.shutdown();
}
public static Display getStandardDisplay() {
private void runUI(Runnable run) {
Display display;
display= Display.getCurrent();
if (display == null)
if (display == null) {
display= Display.getDefault();
return display;
display.asyncExec(run);
} else {
run.run();
}
}
/**
@ -298,23 +301,25 @@ public class CPlugin extends AbstractUIPlugin {
IAdapterManager manager= Platform.getAdapterManager();
manager.registerAdapters(new ResourceAdapterFactory(), IResource.class);
manager.registerAdapters(new CElementAdapterFactory(), ICElement.class);
getStandardDisplay().asyncExec(
new Runnable() {
public void run() {
CPluginImages.initialize();
}
runUI(new Runnable() {
public void run() {
CPluginImages.initialize();
}
);
});
}
/**
* @see AbstractUIPlugin#initializeDefaultPreferences
*/
protected void initializeDefaultPreferences(IPreferenceStore store) {
protected void initializeDefaultPreferences(final IPreferenceStore store) {
super.initializeDefaultPreferences(store);
CPluginPreferencePage.initDefaults(store);
CEditorPreferencePage.initDefaults(store);
CView.initDefaults(store);
runUI(new Runnable() {
public void run() {
CPluginPreferencePage.initDefaults(store);
CEditorPreferencePage.initDefaults(store);
CView.initDefaults(store);
}
});
}
public IConsole getConsole() {