wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-24 18:58:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Replace outdated color with current one

Browse source 
Replacing outdated color with `#36c` from overhauled color palette.
Also making focus following common outline-width.

Bug: T153486
Change-Id: I5c76a788fff21c53bd193628bc610f38d388179f
This commit is contained in:
Volker E 2017-01-11 15:16:59 -08:00
parent 220b2ef042
commit 1a7e325eb5
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
build/screenshots.js
View file

@ -81,7 +81,7 @@ function runTests( lang ) {
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 ) {