diff options
author | Nick Sandonato | 2012-10-12 18:57:25 +0000 |
---|---|---|
committer | Nick Sandonato | 2012-10-12 18:57:25 +0000 |
commit | 2300d1d6bd146ca177583b793e0169db3da73d58 (patch) | |
tree | b195c8e24b61af58e0d975636f3efcb36453b49e | |
parent | 37d1b3043ba3b980279cb1227667506d73a9523e (diff) | |
download | webtools.maps-2300d1d6bd146ca177583b793e0169db3da73d58.tar.gz webtools.maps-2300d1d6bd146ca177583b793e0169db3da73d58.tar.xz webtools.maps-2300d1d6bd146ca177583b793e0169db3da73d58.zip |
[371292] Selecting large ranges of xml/html in a large file freezes XML and HTML editors for a long time
-rw-r--r-- | releng.sourceediting/maps/wst-xml-ui.map | 2 |
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 7c5cdefdb..f45cc3bbb 100644 --- a/releng.sourceediting/maps/wst-xml-ui.map +++ b/releng.sourceediting/maps/wst-xml-ui.map @@ -4,7 +4,7 @@ plugin@org.eclipse.wst.dtd.ui=GIT,tag=v201203081826,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.dtd.ui plugin@org.eclipse.wst.sse.ui=GIT,tag=v201208170345,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.sse.ui -plugin@org.eclipse.wst.xml.ui=GIT,tag=v201210082109,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.xml.ui +plugin@org.eclipse.wst.xml.ui=GIT,tag=v201210121856,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.xml.ui plugin@org.eclipse.wst.xsd.ui=GIT,tag=v201203081826,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.xsd.ui !*************** |