|
Lines 11-16
Link Here
|
| 11 |
*******************************************************************************/ |
11 |
*******************************************************************************/ |
| 12 |
package org.eclipse.dd.dsf.debug.ui.sourcelookup; |
12 |
package org.eclipse.dd.dsf.debug.ui.sourcelookup; |
| 13 |
|
13 |
|
|
|
14 |
import java.io.File; |
| 14 |
import java.net.URI; |
15 |
import java.net.URI; |
| 15 |
import java.util.Arrays; |
16 |
import java.util.Arrays; |
| 16 |
import java.util.HashSet; |
17 |
import java.util.HashSet; |
|
Lines 53-58
Link Here
|
| 53 |
import org.eclipse.dd.dsf.ui.viewmodel.datamodel.IDMVMContext; |
54 |
import org.eclipse.dd.dsf.ui.viewmodel.datamodel.IDMVMContext; |
| 54 |
import org.eclipse.debug.core.sourcelookup.ISourceLookupDirector; |
55 |
import org.eclipse.debug.core.sourcelookup.ISourceLookupDirector; |
| 55 |
import org.eclipse.debug.core.sourcelookup.ISourceLookupParticipant; |
56 |
import org.eclipse.debug.core.sourcelookup.ISourceLookupParticipant; |
|
|
57 |
import org.eclipse.debug.core.sourcelookup.containers.LocalFileStorage; |
| 56 |
import org.eclipse.debug.ui.DebugUITools; |
58 |
import org.eclipse.debug.ui.DebugUITools; |
| 57 |
import org.eclipse.debug.ui.IDebugUIConstants; |
59 |
import org.eclipse.debug.ui.IDebugUIConstants; |
| 58 |
import org.eclipse.debug.ui.sourcelookup.CommonSourceNotFoundEditorInput; |
60 |
import org.eclipse.debug.ui.sourcelookup.CommonSourceNotFoundEditorInput; |
|
Lines 200-205
Link Here
|
| 200 |
editorInput = new CommonSourceNotFoundEditorInput(dmc); |
202 |
editorInput = new CommonSourceNotFoundEditorInput(dmc); |
| 201 |
editorId = IDebugUIConstants.ID_COMMON_SOURCE_NOT_FOUND_EDITOR; |
203 |
editorId = IDebugUIConstants.ID_COMMON_SOURCE_NOT_FOUND_EDITOR; |
| 202 |
} |
204 |
} |
|
|
205 |
} else if (sourceElement instanceof LocalFileStorage) { |
| 206 |
File file = ((LocalFileStorage)sourceElement).getFile(); |
| 207 |
IFileStore fileStore = EFS.getLocalFileSystem().fromLocalFile(file); |
| 208 |
editorInput = new FileStoreEditorInput(fileStore); |
| 209 |
editorId = getEditorIdForFilename(file.getPath()); |
| 203 |
} |
210 |
} |
| 204 |
result.setEditorInput(editorInput); |
211 |
result.setEditorInput(editorInput); |
| 205 |
result.setEditorId(editorId); |
212 |
result.setEditorId(editorId); |
