Author: scabanovich Date: 2012-02-03 15:20:14 -0500 (Fri, 03 Feb 2012) New Revision: 38423 Modified: trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/editor/ObjectMultiPageEditor.java Log: Minor fix for marker selection. Modified: trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/editor/ObjectMultiPageEditor.java =================================================================== --- trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/editor/ObjectMultiPageEditor.java 2012-02-03 19:41:38 UTC (rev 38422) +++ trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/editor/ObjectMultiPageEditor.java 2012-02-03 20:20:14 UTC (rev 38423) @@ -418,8 +418,8 @@ selectionProvider.setSelection(new StructuredSelection(o)); switchToPage(getSourcePageIndex()); + postponedTextSelection.clean(); if(marker.getAttribute(IMarker.LINE_NUMBER, -1) != -1) { - postponedTextSelection.clean(); if(textEditor != null) textEditor.gotoMarker(marker); } else { String attr = marker.getAttribute("attribute", ""); //$NON-NLS-1$ //$NON-NLS-2$