jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/393854 )

Change subject: WikimediaUI theme: Restore `:hover:focus` border color on 
TextInputWidgets
......................................................................


WikimediaUI theme: Restore `:hover:focus` border color on TextInputWidgets

Regression from Ia732b72ed63928c5744455312769e6cd5019affe.
Also we have no other CSS-only option as
Ie70adbf0e4fd3adb8514f65792edde46202a41bd is having side-effects.

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

Approvals:
  jenkins-bot: Verified
  Jforrester: Looks good to me, approved



diff --git a/src/themes/wikimediaui/widgets.less 
b/src/themes/wikimediaui/widgets.less
index 5a2caea..453718d 100644
--- a/src/themes/wikimediaui/widgets.less
+++ b/src/themes/wikimediaui/widgets.less
@@ -1830,10 +1830,16 @@
                        }
                }
 
+               // Set on widget parent to also enable `:hover` on child 
elmeents
                &:hover {
                        input,
                        textarea {
                                border-color: @border-color-input--hover;
+
+                               // Applying `border-color` again to show right 
focus color
+                               &:focus {
+                                       border-color: @border-color-base--focus;
+                               }
                        }
                }
 

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I9af98fb969fe561c41fd8b5196137c772f6c219d
Gerrit-PatchSet: 2
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>
Gerrit-Reviewer: Bartosz DziewoƄski <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: VolkerE <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to