Author: dazarov Date: 2011-08-15 19:20:20 -0400 (Mon, 15 Aug 2011) New Revision: 33945 Modified: trunk/jst/plugins/org.jboss.tools.jst.web.ui/src/org/jboss/tools/jst/web/ui/action/AddTLDMarkerResolution.java Log: https://issues.jboss.org/browse/JBIDE-9532 Modified: trunk/jst/plugins/org.jboss.tools.jst.web.ui/src/org/jboss/tools/jst/web/ui/action/AddTLDMarkerResolution.java =================================================================== --- trunk/jst/plugins/org.jboss.tools.jst.web.ui/src/org/jboss/tools/jst/web/ui/action/AddTLDMarkerResolution.java 2011-08-15 22:24:45 UTC (rev 33944) +++ trunk/jst/plugins/org.jboss.tools.jst.web.ui/src/org/jboss/tools/jst/web/ui/action/AddTLDMarkerResolution.java 2011-08-15 23:20:20 UTC (rev 33945) @@ -61,6 +61,7 @@ provider.aboutToChange(input); provider.saveDocument(new NullProgressMonitor(), input, document, true); + provider.changed(input); provider.disconnect(input); }catch(CoreException ex){ WebUiPlugin.getPluginLog().logError(ex);