Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authornsandonato2008-10-06 16:06:57 -0400
committernsandonato2008-10-06 16:06:57 -0400
commit31a06e5a290c3eaa4db12efe37911d99a98b400d (patch)
tree70e7d8cfe100874cc004d9c646224bd4a56a08bb
parentb8079f13baf07b200b110f3ad49fc22efe202713 (diff)
downloadwebtools.maps-31a06e5a290c3eaa4db12efe37911d99a98b400d.tar.gz
webtools.maps-31a06e5a290c3eaa4db12efe37911d99a98b400d.tar.xz
webtools.maps-31a06e5a290c3eaa4db12efe37911d99a98b400d.zip
[249405] Switching the document on an editor does not update LineStyleProviders
-rw-r--r--releng.sourceediting/maps/wst-xml-ui.map2
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.sourceediting/maps/wst-xml-ui.map b/releng.sourceediting/maps/wst-xml-ui.map
index ae6fe56d2..6d90cc9dc 100644
--- a/releng.sourceediting/maps/wst-xml-ui.map
+++ b/releng.sourceediting/maps/wst-xml-ui.map
@@ -7,7 +7,7 @@
! from the R3_0_maintenance branch
plugin@org.eclipse.wst.dtd.ui=v200808072012,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.dtd.ui
-plugin@org.eclipse.wst.sse.ui=v200810061442,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui
+plugin@org.eclipse.wst.sse.ui=v200810062006,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui
plugin@org.eclipse.wst.xml.ui=v200809120143,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xml.ui
plugin@org.eclipse.wst.xsd.ui=v200810020602,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xsd.ui

Back to the top