mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Bug 133881 - Make refreshing after building optional

Browse source 
Work in progress.
This commit is contained in:
Vivian Kong 2011-04-08 19:29:25 +00:00
parent 8eb36bfd95
commit 5a63896b65
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/ui/resources/RefreshExclusionContributor.java
View file

@ -52,7 +52,7 @@ public abstract class RefreshExclusionContributor {
}
abstract public RefreshExclusion createExclusion();
abstract public void createProperiesUI(Composite parent);
abstract public void createProperiesUI(Composite parent, RefreshExclusion exclusion);
abstract public RefreshExclusion createExclusionFromXML(Element exclusionElement);