| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index 2b9b891275d3e4be3c1b3d50181a159e2c0c5b94..81133f4e2fafe87314a01cddd2ebfe0062407c72 100644
|
| --- a/Source/devtools/front_end/Settings.js
|
| +++ b/Source/devtools/front_end/Settings.js
|
| @@ -31,7 +31,7 @@
|
|
|
| var Preferences = {
|
| maxInlineTextChildLength: 80,
|
| - minConsoleHeight: 75,
|
| + minConsoleHeight: 25,
|
| minSidebarWidth: 100,
|
| minSidebarHeight: 75,
|
| minElementsSidebarWidth: 200,
|
|
|