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, |