synchronize with a BoxWidget instead of a VexWidget
Signed-off-by: Florian Thienel <florian@thienel.org>
diff --git a/org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/outline/DocumentOutlinePage.java b/org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/outline/DocumentOutlinePage.java
index 3a05434..ab64d90 100644
--- a/org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/outline/DocumentOutlinePage.java
+++ b/org.eclipse.vex.ui/src/org/eclipse/vex/ui/internal/outline/DocumentOutlinePage.java
@@ -38,7 +38,7 @@
import org.eclipse.ui.views.contentoutline.IContentOutlinePage;
import org.eclipse.vex.core.internal.css.StyleSheet;
import org.eclipse.vex.core.internal.widget.IDocumentEditor;
-import org.eclipse.vex.core.internal.widget.swt.VexWidget;
+import org.eclipse.vex.core.internal.widget.swt.BoxWidget;
import org.eclipse.vex.core.provisional.dom.AttributeChangeEvent;
import org.eclipse.vex.core.provisional.dom.ContentChangeEvent;
import org.eclipse.vex.core.provisional.dom.IAttribute;
@@ -67,7 +67,7 @@
public DocumentOutlinePage(final VexEditor vexEditor) {
super();
- this.editorPart = vexEditor;
+ editorPart = vexEditor;
}
@Override
@@ -271,8 +271,8 @@
@Override
public void selectionChanged(final SelectionChangedEvent event) {
- if (event.getSource() instanceof VexWidget) {
- final VexWidget vexWidget = (VexWidget) event.getSource();
+ if (event.getSource() instanceof BoxWidget) {
+ final BoxWidget vexWidget = (BoxWidget) event.getSource();
if (vexWidget.isFocusControl() && getTreeViewer() != null) {
final INode element = vexWidget.getCurrentNode();
