c5b34d1f151690f62a460721a8898d266da4b857 - sourceediting/webtools.sourceediting - Git at Google

commit: c5b34d1f151690f62a460721a8898d266da4b857
[log]
author: david_williams <david_williams>
Wed Dec 07 19:56:13 2005 +0000
committer: david_williams <david_williams>
Wed Dec 07 19:56:13 2005 +0000
tree: a184161d9ec3912a80dd562d0be1d016df24753a
parent: 8f7467784aeb30a0a9a4f7d3f729220162df286a [diff]

[119204] canceling web.xml save does not undo (reload) fresh, insynch values -- proposed fix

bundles/org.eclipse.wst.sse.core/src/org/eclipse/wst/sse/core/internal/text/JobSafeStructuredDocument.java[diff]

1 file changed

tree: a184161d9ec3912a80dd562d0be1d016df24753a