| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (C) 2013 Google Inc. All rights reserved. | 2 * Copyright (C) 2013 Google Inc. All rights reserved. |
| 3 * | 3 * |
| 4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
| 5 * modification, are permitted provided that the following conditions are | 5 * modification, are permitted provided that the following conditions are |
| 6 * met: | 6 * met: |
| 7 * | 7 * |
| 8 * * Redistributions of source code must retain the above copyright | 8 * * Redistributions of source code must retain the above copyright |
| 9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
| 10 * * Redistributions in binary form must reproduce the above | 10 * * Redistributions in binary form must reproduce the above |
| (...skipping 19 matching lines...) Expand all Loading... |
| 30 | 30 |
| 31 /** | 31 /** |
| 32 * @unrestricted | 32 * @unrestricted |
| 33 */ | 33 */ |
| 34 Console.ConsoleViewport = class { | 34 Console.ConsoleViewport = class { |
| 35 /** | 35 /** |
| 36 * @param {!Console.ConsoleViewportProvider} provider | 36 * @param {!Console.ConsoleViewportProvider} provider |
| 37 */ | 37 */ |
| 38 constructor(provider) { | 38 constructor(provider) { |
| 39 this.element = createElement('div'); | 39 this.element = createElement('div'); |
| 40 this.element.style.overflow = 'auto'; | |
| 41 this._topGapElement = this.element.createChild('div'); | 40 this._topGapElement = this.element.createChild('div'); |
| 42 this._topGapElement.style.height = '0px'; | 41 this._topGapElement.style.height = '0px'; |
| 43 this._topGapElement.style.color = 'transparent'; | 42 this._topGapElement.style.color = 'transparent'; |
| 44 this._contentElement = this.element.createChild('div'); | 43 this._contentElement = this.element.createChild('div'); |
| 45 this._bottomGapElement = this.element.createChild('div'); | 44 this._bottomGapElement = this.element.createChild('div'); |
| 46 this._bottomGapElement.style.height = '0px'; | 45 this._bottomGapElement.style.height = '0px'; |
| 47 this._bottomGapElement.style.color = 'transparent'; | 46 this._bottomGapElement.style.color = 'transparent'; |
| 48 | 47 |
| 49 // Text content needed for range intersection checks in _updateSelectionMode
l. | 48 // Text content needed for range intersection checks in _updateSelectionMode
l. |
| 50 // Use Unicode ZERO WIDTH NO-BREAK SPACE, which avoids contributing any heig
ht to the element's layout overflow. | 49 // Use Unicode ZERO WIDTH NO-BREAK SPACE, which avoids contributing any heig
ht to the element's layout overflow. |
| (...skipping 555 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 606 Console.ConsoleViewportElement.prototype = { | 605 Console.ConsoleViewportElement.prototype = { |
| 607 willHide() {}, | 606 willHide() {}, |
| 608 | 607 |
| 609 wasShown() {}, | 608 wasShown() {}, |
| 610 | 609 |
| 611 /** | 610 /** |
| 612 * @return {!Element} | 611 * @return {!Element} |
| 613 */ | 612 */ |
| 614 element() {}, | 613 element() {}, |
| 615 }; | 614 }; |
| OLD | NEW |