diff options
| author | cletavernie | 2013-03-19 19:39:45 +0000 |
|---|---|---|
| committer | cletavernie | 2013-03-19 19:39:45 +0000 |
| commit | 6400a4f33f359a32338f9f5d7a703cb7e512a5fe (patch) | |
| tree | 2abeaaeb677957f8156fe04e13193d2b1ea7623b | |
| parent | 9d8cf85dc3962ffa5afdcc22de1fb62d11a89906 (diff) | |
| download | org.eclipse.papyrus-6400a4f33f359a32338f9f5d7a703cb7e512a5fe.tar.gz org.eclipse.papyrus-6400a4f33f359a32338f9f5d7a703cb7e512a5fe.tar.xz org.eclipse.papyrus-6400a4f33f359a32338f9f5d7a703cb7e512a5fe.zip | |
401107: [IPageManager] selectPage does not work
https://bugs.eclipse.org/bugs/show_bug.cgi?id=401107
| -rw-r--r-- | plugins/infra/core/org.eclipse.papyrus.infra.core.sasheditor.di/custom-src/org/eclipse/papyrus/infra/core/sasheditor/di/contentprovider/internal/PageManagerImpl.java | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/plugins/infra/core/org.eclipse.papyrus.infra.core.sasheditor.di/custom-src/org/eclipse/papyrus/infra/core/sasheditor/di/contentprovider/internal/PageManagerImpl.java b/plugins/infra/core/org.eclipse.papyrus.infra.core.sasheditor.di/custom-src/org/eclipse/papyrus/infra/core/sasheditor/di/contentprovider/internal/PageManagerImpl.java index 3a56c58656c..17f1470bae5 100644 --- a/plugins/infra/core/org.eclipse.papyrus.infra.core.sasheditor.di/custom-src/org/eclipse/papyrus/infra/core/sasheditor/di/contentprovider/internal/PageManagerImpl.java +++ b/plugins/infra/core/org.eclipse.papyrus.infra.core.sasheditor.di/custom-src/org/eclipse/papyrus/infra/core/sasheditor/di/contentprovider/internal/PageManagerImpl.java @@ -16,6 +16,7 @@ package org.eclipse.papyrus.infra.core.sasheditor.di.contentprovider.internal; import org.eclipse.papyrus.infra.core.sasheditor.contentprovider.IPageManager;
import org.eclipse.papyrus.infra.core.sashwindows.di.SashWindowsMngr;
+import org.eclipse.swt.widgets.Display;
/**
@@ -62,8 +63,13 @@ public class PageManagerImpl extends PageMngrImpl implements IPageManager { }
}
- public void selectPage(Object pageIdentifier) {
- folderAndPageMngr.setActivePage(pageIdentifier);
+ public void selectPage(final Object pageIdentifier) {
+ Display.getDefault().syncExec(new Runnable() {
+
+ public void run() {
+ folderAndPageMngr.setActivePage(pageIdentifier);
+ }
+ });
}
public void setCurrentFolderAndPageMngr(ICurrentFolderAndPageMngr currentFolderAndPageMngr) {
|