Author: sdzmitrovich
Date: 2008-09-10 04:24:05 -0400 (Wed, 10 Sep 2008)
New Revision: 10170
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeVisualDomBuilder.java
Log:
https://jira.jboss.org/jira/browse/JBIDE-1805
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeVisualDomBuilder.java
===================================================================
---
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeVisualDomBuilder.java 2008-09-10
08:06:33 UTC (rev 10169)
+++
trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeVisualDomBuilder.java 2008-09-10
08:24:05 UTC (rev 10170)
@@ -2460,7 +2460,7 @@
nsIDOMElement span = visualDocument.createElement(HTML.TAG_SPAN);
span.setAttribute(HTML.TAG_STYLE,
- "border: dashed 1px GREY;color:GREY;font-size:12px;");
+ "border: dashed 1px GREY;color:GREY;font-size:12px;"); //$NON-NLS-1$
nsIDOMText text = visualDocument.createTextNode(sourceNode
.getNodeName());