diff options
Diffstat (limited to 'plugins/infra/services/org.eclipse.papyrus.infra.services.controlmode/src/org/eclipse/papyrus/infra/services/controlmode/commands/LoadDiagramCommand.java')
| -rw-r--r-- | plugins/infra/services/org.eclipse.papyrus.infra.services.controlmode/src/org/eclipse/papyrus/infra/services/controlmode/commands/LoadDiagramCommand.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/infra/services/org.eclipse.papyrus.infra.services.controlmode/src/org/eclipse/papyrus/infra/services/controlmode/commands/LoadDiagramCommand.java b/plugins/infra/services/org.eclipse.papyrus.infra.services.controlmode/src/org/eclipse/papyrus/infra/services/controlmode/commands/LoadDiagramCommand.java index 9294831ddf4..d0722c26f73 100644 --- a/plugins/infra/services/org.eclipse.papyrus.infra.services.controlmode/src/org/eclipse/papyrus/infra/services/controlmode/commands/LoadDiagramCommand.java +++ b/plugins/infra/services/org.eclipse.papyrus.infra.services.controlmode/src/org/eclipse/papyrus/infra/services/controlmode/commands/LoadDiagramCommand.java @@ -79,7 +79,7 @@ public class LoadDiagramCommand implements Runnable { * @param pageManager
* the page manager in which to reload them, or {@code null} if none
*
- * @since 1.2
+ * @since 1.3
*/
public LoadDiagramCommand(Resource resource, IPageManager pageManager) {
super();
@@ -92,6 +92,7 @@ public class LoadDiagramCommand implements Runnable { * Reloads hte pages associated with my resource, if any and if there is a
* page manager.
*/
+ @Override
public void run() {
if (pageManager != null) {
|