Author: mareshkau
Date: 2009-10-22 11:30:15 -0400 (Thu, 22 Oct 2009)
New Revision: 18239
Modified:
trunk/vpe/plugins/org.jboss.tools.vpe/ve/EditorOverride.css
Log:
https://jira.jboss.org/jira/browse/JBIDE-4993, changed default vpe style for input
element, so now we can select element
Modified: trunk/vpe/plugins/org.jboss.tools.vpe/ve/EditorOverride.css
===================================================================
--- trunk/vpe/plugins/org.jboss.tools.vpe/ve/EditorOverride.css 2009-10-22 14:26:19 UTC
(rev 18238)
+++ trunk/vpe/plugins/org.jboss.tools.vpe/ve/EditorOverride.css 2009-10-22 15:30:15 UTC
(rev 18239)
@@ -60,7 +60,7 @@
color: -moz-hyperlinktext;
}
-input, button, textarea {
+button, textarea {
-moz-user-select: all !important;
-moz-user-input: auto !important;
-moz-user-focus: none !important;