diff options
| author | Darin Swanson | 2003-01-07 20:00:15 +0000 |
|---|---|---|
| committer | Darin Swanson | 2003-01-07 20:00:15 +0000 |
| commit | c0f8fb37d672efd6646a77800adf4067364e46fd (patch) | |
| tree | 857983b0fd971f6dd59e0330353ef24f4294f9f3 /org.eclipse.ui.externaltools | |
| parent | 8d3f70e5f8a59e0d1de3ab8d248d201e561ac9cb (diff) | |
| download | eclipse.platform.debug-c0f8fb37d672efd6646a77800adf4067364e46fd.tar.gz eclipse.platform.debug-c0f8fb37d672efd6646a77800adf4067364e46fd.tar.xz eclipse.platform.debug-c0f8fb37d672efd6646a77800adf4067364e46fd.zip | |
Bug 22229 - Make use of Dialog font
Diffstat (limited to 'org.eclipse.ui.externaltools')
| -rw-r--r-- | org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/ExternalToolsPreferencePage.java | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/ExternalToolsPreferencePage.java b/org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/ExternalToolsPreferencePage.java index e364aae78..488176fea 100644 --- a/org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/ExternalToolsPreferencePage.java +++ b/org.eclipse.ui.externaltools/External Tools Base/org/eclipse/ui/externaltools/internal/ui/ExternalToolsPreferencePage.java @@ -7,7 +7,6 @@ which accompanies this distribution, and is available at http://www.eclipse.org/legal/cpl-v10.html **********************************************************************/ -import org.eclipse.jface.dialogs.Dialog; import org.eclipse.jface.preference.PreferencePage; import org.eclipse.swt.SWT; import org.eclipse.swt.graphics.Font; |