jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/331793 )
Change subject: Replace outdated color with current one
......................................................................
Replace outdated color with current one
Replacing outdated color with `#36c` from overhauled color palette.
Also making focus following common outline-width.
Bug: T153486
Change-Id: I5c76a788fff21c53bd193628bc610f38d388179f
---
M build/screenshots.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Tchanders: Looks good to me, approved
jenkins-bot: Verified
diff --git a/build/screenshots.js b/build/screenshots.js
index 1a1629a..c2c2ac3 100644
--- a/build/screenshots.js
+++ b/build/screenshots.js
@@ -81,7 +81,7 @@
if (
$lastHighlighted ) {
$lastHighlighted.css( 'outline', '' );
}
- $element.css(
'outline', '3px solid #347bff' );
+ $element.css(
'outline', '2px solid #36c' );
$lastHighlighted = $element;
},
runMenuTask: function (
done, tool, expanded, highlight, extraElements ) {
--
To view, visit https://gerrit.wikimedia.org/r/331793
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5c76a788fff21c53bd193628bc610f38d388179f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: Esanders <esand...@wikimedia.org>
Gerrit-Reviewer: Tchanders <thalia.e.c...@googlemail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
