Chromium Code Reviews| Index: third_party/WebKit/Source/devtools/front_end/ui/GlassPane.js |
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/GlassPane.js b/third_party/WebKit/Source/devtools/front_end/ui/GlassPane.js |
| index 9375cb03a894a6ad5d75405ddb36ca667e63ef71..dd6f964fc8188096bfe5510ffa8ed0b44c2950cb 100644 |
| --- a/third_party/WebKit/Source/devtools/front_end/ui/GlassPane.js |
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/GlassPane.js |
| @@ -159,7 +159,7 @@ UI.GlassPane = class { |
| var showArrow = this._marginBehavior === UI.GlassPane.MarginBehavior.Arrow; |
| var gutterSize = showArrow ? 8 : (this._marginBehavior === UI.GlassPane.MarginBehavior.NoMargin ? 0 : 3); |
| - var scrollbarSize = 14; |
| + var scrollbarSize = 15; |
|
luoe
2017/07/18 20:49:08
Measured on Linux, manually tested on Mac and Wind
|
| var arrowSize = 10; |
| var container = UI.GlassPane._containers.get(/** @type {!Document} */ (this.element.ownerDocument)); |