Author: dsakovich
Date: 2008-04-30 10:12:32 -0400 (Wed, 30 Apr 2008)
New Revision: 7913
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/ve/EditorOverride.css
Log:
http://jira.jboss.org/jira/browse/JBIDE-2172
Modified: trunk/vpe/plugins/org.jboss.tools.vpe/ve/EditorOverride.css
===================================================================
--- trunk/vpe/plugins/org.jboss.tools.vpe/ve/EditorOverride.css 2008-04-30 14:11:04 UTC
(rev 7912)
+++ trunk/vpe/plugins/org.jboss.tools.vpe/ve/EditorOverride.css 2008-04-30 14:12:32 UTC
(rev 7913)
@@ -93,7 +93,12 @@
::-moz-display-comboboxcontrol-frame {
-moz-user-select: text !important;
}
-
+
+.def-link {
+ text-decoration: underline -moz-anchor-decoration;
+ color: -moz-hyperlinktext;
+}
+
option {
-moz-user-select: text !important;
}