diff options
| author | vbaciu | 2010-04-21 21:12:57 +0000 |
|---|---|---|
| committer | vbaciu | 2010-04-21 21:12:57 +0000 |
| commit | 6da715ea7765d3a78ae87389f22eb48880234822 (patch) | |
| tree | 34f5f7a1e16b1e53211399d6e70d0293e9c5e79a | |
| parent | dab2b1ac066bea25f3a74c6399d13681afb43568 (diff) | |
| download | webtools.maps-6da715ea7765d3a78ae87389f22eb48880234822.tar.gz webtools.maps-6da715ea7765d3a78ae87389f22eb48880234822.tar.xz webtools.maps-6da715ea7765d3a78ae87389f22eb48880234822.zip | |
[194624] XSD preview of the Element or Type is difficult to close
| -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 7dcb55573..5effc75f7 100644 --- a/releng.sourceediting/maps/wst-xml-ui.map +++ b/releng.sourceediting/maps/wst-xml-ui.map @@ -5,6 +5,6 @@ plugin@org.eclipse.wst.dtd.ui=v201004080109,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.dtd.ui plugin@org.eclipse.wst.sse.ui=v201004191719,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui plugin@org.eclipse.wst.xml.ui=v201004212103,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xml.ui -plugin@org.eclipse.wst.xsd.ui=v201004212054,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xsd.ui +plugin@org.eclipse.wst.xsd.ui=v201004212111,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xsd.ui !***************
\ No newline at end of file |