| Index: chrome/browser/resources/extensions_ui.html
|
| diff --git a/chrome/browser/resources/extensions_ui.html b/chrome/browser/resources/extensions_ui.html
|
| index f2e13c8afbb75174ba48217b29b6a8df8e8cb161..b61b3e38c030c918ba5e27f25a8dd47bd5f19b7b 100644
|
| --- a/chrome/browser/resources/extensions_ui.html
|
| +++ b/chrome/browser/resources/extensions_ui.html
|
| @@ -86,12 +86,12 @@ body.hideDevModeInitial .showInDevMode {
|
| body.hideDevMode .showInDevMode {
|
| height: 0 !important;
|
| opacity: 0;
|
| - -webkit-transition: all .5s ease-out;
|
| + -webkit-transition: all .1s ease-out;
|
| }
|
|
|
| body.showDevMode .showInDevMode {
|
| opacity: 1;
|
| - -webkit-transition: all .5s ease-in;
|
| + -webkit-transition: all .1s ease-in;
|
| }
|
|
|
| .wbox-dev-tools {
|
|
|