Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTomasz Zarna2010-12-23 12:22:25 +0000
committerTomasz Zarna2010-12-23 12:22:25 +0000
commita9a867475370f0e0d022b5c556b2921ed3880085 (patch)
treefeebb9ed9bf1323ca7c13850f4619b5547b125f6
parentf1d9949f20dfe23d3671e26b94d6277eb5a480cc (diff)
downloadeclipse.platform.team-a9a867475370f0e0d022b5c556b2921ed3880085.tar.gz
eclipse.platform.team-a9a867475370f0e0d022b5c556b2921ed3880085.tar.xz
eclipse.platform.team-a9a867475370f0e0d022b5c556b2921ed3880085.zip
bug 300888: 'Ignored Resources' preference page needs to support multiselect
-rw-r--r--bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/preferences/IgnorePreferencePage.java4
1 files changed, 2 insertions, 2 deletions
diff --git a/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/preferences/IgnorePreferencePage.java b/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/preferences/IgnorePreferencePage.java
index 305a6c68f..c3b57c26f 100644
--- a/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/preferences/IgnorePreferencePage.java
+++ b/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/preferences/IgnorePreferencePage.java
@@ -1,5 +1,5 @@
/*******************************************************************************
- * Copyright (c) 2000, 2007 IBM Corporation and others.
+ * Copyright (c) 2000, 2010 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@@ -58,7 +58,7 @@ public class IgnorePreferencePage extends PreferencePage implements IWorkbenchPr
data.horizontalSpan = 2;
l1.setLayoutData(data);
- ignoreTable = new Table(parent, SWT.CHECK | SWT.BORDER);
+ ignoreTable = new Table(parent, SWT.CHECK | SWT.BORDER | SWT.MULTI);
GridData gd = new GridData(GridData.FILL_BOTH);
//gd.widthHint = convertWidthInCharsToPixels(30);
gd.heightHint = 300;

Back to the top