Changes

Summary

Commit 27aa34efe23c3b1634df7de53bcdea9248647524 by Pierre-Charles David [DRAFT 509735] Move extension-point parsing into ActivityExplorerExtensionManager This makes ExplorerActivity and ActivityExplorerSection independent on the extension registry and in general on the mechanism used to compute their configuration data. Bug: 509735 Change-Id: I77256a1a994ebfc427f78978d1e6d303862d19dc Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
The file was modified	plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/api/editor/pages/ActivityExplorerPage.java
The file was modified	plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/api/editor/activities/ExplorerActivity.java
The file was modified	plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/api/editor/pages/BasicSessionActivityExplorerPage.java
The file was modified	plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/internal/extension/point/manager/ActivityExplorerExtensionManager.java
The file was modified	plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/api/editor/sections/ActivityExplorerSection.java