diff options
Diffstat (limited to 'devtools')
| -rw-r--r-- | devtools/client/themes/webconsole.css | 1 | ||||
| -rw-r--r-- | devtools/shared/css/generated/properties-db.js | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/devtools/client/themes/webconsole.css b/devtools/client/themes/webconsole.css index 85c73264c..89bb38628 100644 --- a/devtools/client/themes/webconsole.css +++ b/devtools/client/themes/webconsole.css @@ -14,6 +14,7 @@ a { -moz-user-focus: normal; + -moz-user-input: enabled; cursor: pointer; text-decoration: underline; } diff --git a/devtools/shared/css/generated/properties-db.js b/devtools/shared/css/generated/properties-db.js index eda2c7148..25d9e2d33 100644 --- a/devtools/shared/css/generated/properties-db.js +++ b/devtools/shared/css/generated/properties-db.js @@ -1440,6 +1440,8 @@ exports.CSS_PROPERTIES = { "supports": [], "values": [ "auto", + "disabled", + "enabled", "inherit", "initial", "none", |