diff options
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/importexport/launchconfigurations/ImportLaunchConfigurationsWizardPage.java')
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/importexport/launchconfigurations/ImportLaunchConfigurationsWizardPage.java | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/importexport/launchconfigurations/ImportLaunchConfigurationsWizardPage.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/importexport/launchconfigurations/ImportLaunchConfigurationsWizardPage.java index 75b60eda9..5e4b35728 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/importexport/launchconfigurations/ImportLaunchConfigurationsWizardPage.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/importexport/launchconfigurations/ImportLaunchConfigurationsWizardPage.java @@ -307,15 +307,20 @@ public class ImportLaunchConfigurationsWizardPage extends WizardResourceImportPa * @param path the path from the text widget */ protected void resetSelection(final IPath path) { - BusyIndicator.showWhile(getShell().getDisplay(), () -> { - File file = new File(path.toOSString()); - DebugFileSystemElement dummyparent = new DebugFileSystemElement(IInternalDebugCoreConstants.EMPTY_STRING, null, true); - dummyparent.setPopulated(); - DebugFileSystemElement element = new DebugFileSystemElement(FileSystemStructureProvider.INSTANCE.getLabel(file), dummyparent, file.isDirectory()); - element.setFileSystemObject(file); - element.getFiles(); - selectionGroup.setRoot(dummyparent); - }); + BusyIndicator.showWhile(getShell().getDisplay(), new Runnable() { + @Override + public void run() { + File file = new File(path.toOSString()); + DebugFileSystemElement dummyparent = new DebugFileSystemElement(IInternalDebugCoreConstants.EMPTY_STRING, null, true); + dummyparent.setPopulated(); + DebugFileSystemElement element = new DebugFileSystemElement(FileSystemStructureProvider.INSTANCE.getLabel(file), + dummyparent, + file.isDirectory()); + element.setFileSystemObject(file); + element.getFiles(); + selectionGroup.setRoot(dummyparent); + } + }); } /* (non-Javadoc) |