Index: Source/devtools/front_end/Settings.js |
diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js |
index 7386c884142465070f592f382d8fc3c6fefc624c..7a0fe0027a435c6c7c9e4279d2d6cfbf890a8205 100644 |
--- a/Source/devtools/front_end/Settings.js |
+++ b/Source/devtools/front_end/Settings.js |
@@ -31,7 +31,6 @@ |
var Preferences = { |
maxInlineTextChildLength: 80, |
- minDrawerHeight: 25, |
minSidebarWidth: 100, |
minSidebarHeight: 75, |
applicationTitle: "Developer Tools - %s" |