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