VolkerE has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/314187

Change subject: Reintroduce `highlighted` and `selected` background colors
......................................................................

Reintroduce `highlighted` and `selected` background colors

After Id1312fee5bb of OOjs UI got merged, we have to reintroduce
`highlighted` and `selected` states background color manually as
it caused issues on simple OptionWidgets.

Change-Id: I3fe7a4d2577bd1bc0fd258bc977b3539e268a84e
---
M modules/styles/mw.echo.ui.PageNotificationsOptionWidget.less
1 file changed, 16 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Echo 
refs/changes/87/314187/1

diff --git a/modules/styles/mw.echo.ui.PageNotificationsOptionWidget.less 
b/modules/styles/mw.echo.ui.PageNotificationsOptionWidget.less
index ce54f10..7af5c96 100644
--- a/modules/styles/mw.echo.ui.PageNotificationsOptionWidget.less
+++ b/modules/styles/mw.echo.ui.PageNotificationsOptionWidget.less
@@ -6,6 +6,22 @@
        .box-sizing( border-box );
        clear: both;
 
+       &.oo-ui-optionWidget {
+               // FIXME: Unlike OOjs UI's MenuOptionWidget, we don't care for 
icon changes right now
+               &-highlighted {
+                       background-color: #eaecf0;
+               }
+
+               &-selected {
+                       background-color: #eaf3ff;
+               }
+
+               &-selected&-highlighted,
+               &-pressed&-highlighted {
+                       background-color: rgba( 41, 98, 204, 0.1 );
+               }
+       }
+
        &-icon {
                float: left;
                .oo-ui-iconElement-icon {
@@ -29,5 +45,4 @@
                        background-color: #bbb;
                }
        }
-
 }

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I3fe7a4d2577bd1bc0fd258bc977b3539e268a84e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Echo
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