Index: third_party/WebKit/Source/devtools/front_end/ui/Toolbar.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/Toolbar.js b/third_party/WebKit/Source/devtools/front_end/ui/Toolbar.js |
index 8e6f552001bba2f712cf2fb3412318eddf459255..b3c75cb232d02aaab47434cdfa67fe096d721529 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/Toolbar.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/Toolbar.js |
@@ -355,6 +355,13 @@ UI.Toolbar = class { |
} |
} |
} |
+ |
+ /** |
+ * @param {boolean} visible |
+ */ |
+ setVisible(visible) { |
dgozman
2017/01/24 17:32:14
Don't introduce a method for this, since toolbar d
eostroukhov
2017/01/24 17:40:28
Done.
|
+ this.element.classList.toggle('hidden', !visible); |
+ } |
}; |
/** |