Chromium Code Reviews| Index: Source/devtools/front_end/Settings.js |
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js |
| index 1de6be4443a7733260bc601434a868c1b1070560..caa07e0950a05ad2a48e33ee1e1c2b7f70d65af4 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" |