diff options
Diffstat (limited to 'WebKit/chromium/src/js/DevTools.js')
| -rw-r--r-- | WebKit/chromium/src/js/DevTools.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/WebKit/chromium/src/js/DevTools.js b/WebKit/chromium/src/js/DevTools.js index 59b88db..6e9c090 100644 --- a/WebKit/chromium/src/js/DevTools.js +++ b/WebKit/chromium/src/js/DevTools.js @@ -200,7 +200,7 @@ devtools.domContentLoaded = function() var pair = params[i].split("="); paramsObject[pair[0]] = pair[1]; } - WebInspector.setAttachedWindow(paramsObject.docked); + WebInspector.setAttachedWindow(paramsObject.docked === "true"); if (paramsObject.toolbar_color && paramsObject.text_color) WebInspector.setToolbarColors(paramsObject.toolbar_color, paramsObject.text_color); } |