OLD | NEW |
1 /* | 1 /* |
2 * Copyright (C) 2007, 2008 Apple Inc. All rights reserved. | 2 * Copyright (C) 2007, 2008 Apple Inc. All rights reserved. |
3 * Copyright (C) 2009 Joseph Pecoraro | 3 * Copyright (C) 2009 Joseph Pecoraro |
4 * | 4 * |
5 * Redistribution and use in source and binary forms, with or without | 5 * Redistribution and use in source and binary forms, with or without |
6 * modification, are permitted provided that the following conditions | 6 * modification, are permitted provided that the following conditions |
7 * are met: | 7 * are met: |
8 * | 8 * |
9 * 1. Redistributions of source code must retain the above copyright | 9 * 1. Redistributions of source code must retain the above copyright |
10 * notice, this list of conditions and the following disclaimer. | 10 * notice, this list of conditions and the following disclaimer. |
(...skipping 247 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
258 { | 258 { |
259 var height = window.innerHeight - event.pageY + this._statusBarDragOffse
t; | 259 var height = window.innerHeight - event.pageY + this._statusBarDragOffse
t; |
260 height = Number.constrain(height, Preferences.minConsoleHeight, window.i
nnerHeight - this._mainElement.totalOffsetTop() - Preferences.minConsoleHeight); | 260 height = Number.constrain(height, Preferences.minConsoleHeight, window.i
nnerHeight - this._mainElement.totalOffsetTop() - Preferences.minConsoleHeight); |
261 | 261 |
262 this._mainElement.style.bottom = height + "px"; | 262 this._mainElement.style.bottom = height + "px"; |
263 this.element.style.height = height + "px"; | 263 this.element.style.height = height + "px"; |
264 if (WebInspector.inspectorView.currentPanel()) | 264 if (WebInspector.inspectorView.currentPanel()) |
265 WebInspector.inspectorView.currentPanel().doResize(); | 265 WebInspector.inspectorView.currentPanel().doResize(); |
266 this._view.doResize(); | 266 this._view.doResize(); |
267 | 267 |
268 event.consume(); | 268 event.consume(true); |
269 }, | 269 }, |
270 | 270 |
271 _endStatusBarDragging: function(event) | 271 _endStatusBarDragging: function(event) |
272 { | 272 { |
273 WebInspector.elementDragEnd(event); | 273 WebInspector.elementDragEnd(event); |
274 | 274 |
275 this._savedHeight = this.element.offsetHeight; | 275 this._savedHeight = this.element.offsetHeight; |
276 delete this._statusBarDragOffset; | 276 delete this._statusBarDragOffset; |
277 | 277 |
278 event.consume(); | 278 event.consume(); |
279 } | 279 } |
280 } | 280 } |
281 | 281 |
282 /** | 282 /** |
283 * @type {WebInspector.Drawer} | 283 * @type {WebInspector.Drawer} |
284 */ | 284 */ |
285 WebInspector.drawer = null; | 285 WebInspector.drawer = null; |
OLD | NEW |