commit b0a9c4939f08ee9aef4b7737df81436b3e174181
author Thomas Guiu <thomas.guiu@soyatec.com> Fri Dec 17 14:53:24 2010 +0000
committer Thomas Guiu <thomas.guiu@soyatec.com> Fri Dec 17 14:53:24 2010 +0000
tree 2c35c9606caeb2d640fa350a2c4ee24428620b12
parent 08474479b34bd67460d92462c0bd9bf3279ca039

remove refresh at the end of pattern builder work

plugins/org.eclipse.egf.pattern.ui/src/org/eclipse/egf/pattern/ui/builder/PatternBuilder.java

diff --git a/plugins/org.eclipse.egf.pattern.ui/src/org/eclipse/egf/pattern/ui/builder/PatternBuilder.java b/plugins/org.eclipse.egf.pattern.ui/src/org/eclipse/egf/pattern/ui/builder/PatternBuilder.java
index da73e28..c75ee17 100644
--- a/plugins/org.eclipse.egf.pattern.ui/src/org/eclipse/egf/pattern/ui/builder/PatternBuilder.java
+++ b/plugins/org.eclipse.egf.pattern.ui/src/org/eclipse/egf/pattern/ui/builder/PatternBuilder.java
@@ -114,7 +114,6 @@
             } else {
                 TranslationHelper.translate(monitor, new HashSet<Pattern>(patterns));
             }
-            project.refreshLocal(IResource.DEPTH_INFINITE, monitor);
         } catch (OperationCanceledException oce) {
             throw oce;
         } catch (Throwable t) {