diff options
| author | nsandonato | 2011-03-09 19:46:57 +0000 |
|---|---|---|
| committer | nsandonato | 2011-03-09 19:46:57 +0000 |
| commit | 4251e36cde864f5e8734f3f6a3d3aea43299e798 (patch) | |
| tree | cf9c9a44ee3675a8928fc4b586bdd6bac175e141 | |
| parent | 1947d1bfbbe268197f9873402def10e9700b806a (diff) | |
| download | webtools.maps-4251e36cde864f5e8734f3f6a3d3aea43299e798.tar.gz webtools.maps-4251e36cde864f5e8734f3f6a3d3aea43299e798.tar.xz webtools.maps-4251e36cde864f5e8734f3f6a3d3aea43299e798.zip | |
[247684] [editor] Double-clicking on ruler in source page does not create bookmark
| -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 13b462182..71b11658f 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=v201103082225,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.dtd.ui plugin@org.eclipse.wst.sse.ui=v201103081945,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui -plugin@org.eclipse.wst.xml.ui=v201103081948,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xml.ui +plugin@org.eclipse.wst.xml.ui=v201103091947,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xml.ui plugin@org.eclipse.wst.xsd.ui=v201102240324,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xsd.ui !***************
\ No newline at end of file |