Author: scabanovich
Date: 2012-02-03 20:17:46 -0500 (Fri, 03 Feb 2012)
New Revision: 38426
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-04
01:08:31 UTC (rev 38425)
+++
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/editor/ObjectMultiPageEditor.java 2012-02-04
01:17:46 UTC (rev 38426)
@@ -50,6 +50,7 @@
import org.jboss.tools.common.model.XModelObject;
import org.jboss.tools.common.model.event.XModelTreeEvent;
import org.jboss.tools.common.model.event.XModelTreeListener;
+import org.jboss.tools.common.model.filesystems.FileSystemsHelper;
import org.jboss.tools.common.model.filesystems.impl.FileAnyImpl;
import org.jboss.tools.common.model.filesystems.impl.FolderImpl;
import org.jboss.tools.common.model.options.Preference;
@@ -415,8 +416,24 @@
if(path != null) {
XModelObject o = getModelObject().getModel().getByPath(path);
if(o == null) return;
+
+ XModelObject f = FileSystemsHelper.getFile(o);
+ if(f != null && f != object && object.getFileType() ==
XModelObject.FILE && getFile() != null &&
getFile().equals(f.getAdapter(IFile.class))) {
+ if(f == o) {
+ o = object;
+ } else {
+ o = object.getChildByPath(o.getPath().substring(f.getPath().length() + 1));
+ if(o == null) {
+ return;
+ }
+ }
+ }
+
selectionProvider.setSelection(new StructuredSelection(o));
- switchToPage(getSourcePageIndex());
+ //tab=Tree is set to prevent switching to Source tab.
+ if(!"Tree".equals(marker.getAttribute("tab", null))) {
//$NON-NLS-1$ //$NON-NLS-2$
+ switchToPage(getSourcePageIndex());
+ }
postponedTextSelection.clean();
if(marker.getAttribute(IMarker.LINE_NUMBER, -1) != -1) {
Show replies by date