VolkerE has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/371600 )

Change subject: WikimediaUI theme: Remove unnecessary selector in 
CheckboxInputWidget
......................................................................

WikimediaUI theme: Remove unnecessary selector in CheckboxInputWidget

Removing unnecessary `&disabled:hover + span` selector in
CheckboxInputWidget, which was introduced in I96daa17d5451.

Change-Id: Iee293016bc75e4fab63cfa25ebcffd0d7007f7c1
---
M src/themes/wikimediaui/widgets.less
1 file changed, 0 insertions(+), 4 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/00/371600/1

diff --git a/src/themes/wikimediaui/widgets.less 
b/src/themes/wikimediaui/widgets.less
index 64160af..1e7daa3 100644
--- a/src/themes/wikimediaui/widgets.less
+++ b/src/themes/wikimediaui/widgets.less
@@ -380,10 +380,6 @@
                                background-color: 
@background-color-filled--disabled;
                                border-color: @border-color-base--disabled;
                        }
-                       &:hover + span {
-                               background-color: 
@background-color-filled--disabled;
-                               border-color: @border-color-base--disabled;
-                       }
                }
        }
 

-- 
To view, visit https://gerrit.wikimedia.org/r/371600
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Iee293016bc75e4fab63cfa25ebcffd0d7007f7c1
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to