diff options
author | sarsenau | 2002-05-29 19:04:25 +0000 |
---|---|---|
committer | sarsenau | 2002-05-29 19:04:25 +0000 |
commit | 07948d597a6883041e49a93aab569808df95a107 (patch) | |
tree | e6ce0509a7f59bad2a9239f4baa2aa9de02165b7 /org.eclipse.ui.externaltools/External Tools/org | |
parent | 936b0323b85e7d22f3c0e031e94419d8a1689a9a (diff) | |
download | eclipse.platform.debug-07948d597a6883041e49a93aab569808df95a107.tar.gz eclipse.platform.debug-07948d597a6883041e49a93aab569808df95a107.tar.xz eclipse.platform.debug-07948d597a6883041e49a93aab569808df95a107.zip |
Fix for PR 17330
Diffstat (limited to 'org.eclipse.ui.externaltools/External Tools/org')
-rw-r--r-- | org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/ConfigurationDialog.java | 27 |
1 files changed, 21 insertions, 6 deletions
diff --git a/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/ConfigurationDialog.java b/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/ConfigurationDialog.java index f446ca649..efac2f2a9 100644 --- a/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/ConfigurationDialog.java +++ b/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/ConfigurationDialog.java @@ -112,6 +112,11 @@ public class ConfigurationDialog extends TitleAreaDialog { listViewer.setContentProvider(new ToolContentProvider()); listViewer.setLabelProvider(new ToolLabelProvider()); listViewer.setInput(tools); + listViewer.addDoubleClickListener(new IDoubleClickListener() { + public void doubleClick(DoubleClickEvent event) { + openEditToolDialog(); + } + }); // Build the button list Composite buttonComp = new Composite(midComp, SWT.NONE); @@ -166,7 +171,7 @@ public class ConfigurationDialog extends TitleAreaDialog { return button; } - + /** * Adds the listeners required to handle the button * actions @@ -187,11 +192,7 @@ public class ConfigurationDialog extends TitleAreaDialog { editButton.addSelectionListener(new SelectionAdapter() { public void widgetSelected(SelectionEvent e) { - EditDialog dialog; - dialog = new EditDialog(getShell(), currentSelection); - dialog.open(); - listViewer.update(currentSelection, null); - updateDetails(); + openEditToolDialog(); } }); @@ -259,6 +260,20 @@ public class ConfigurationDialog extends TitleAreaDialog { upButton.setEnabled(currentSelection != null && selIndex > 0); downButton.setEnabled(currentSelection != null && selIndex < itemCount - 1); } + + /** + * Opens the edit external tool dialog on + * the currently selected external tool. + */ + private void openEditToolDialog() { + if (currentSelection == null) + return; + EditDialog dialog; + dialog = new EditDialog(getShell(), currentSelection); + dialog.open(); + listViewer.update(currentSelection, null); + updateDetails(); + } /** * Update the detail field |