| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index ee760025f9b0e4d9142f305ce52a6bfaeb0195ba..34961635bd4266b680f708050ae0db40d58f86b4 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,
|
|
|