| OLD | NEW | 
|---|
| 1 | 1 | 
| 2 class ScreenJs extends DOMTypeJs implements Screen native "*Screen" { | 2 class _ScreenJs extends _DOMTypeJs implements Screen native "*Screen" { | 
| 3 | 3 | 
| 4   int get availHeight() native "return this.availHeight;"; | 4   int get availHeight() native "return this.availHeight;"; | 
| 5 | 5 | 
| 6   int get availLeft() native "return this.availLeft;"; | 6   int get availLeft() native "return this.availLeft;"; | 
| 7 | 7 | 
| 8   int get availTop() native "return this.availTop;"; | 8   int get availTop() native "return this.availTop;"; | 
| 9 | 9 | 
| 10   int get availWidth() native "return this.availWidth;"; | 10   int get availWidth() native "return this.availWidth;"; | 
| 11 | 11 | 
| 12   int get colorDepth() native "return this.colorDepth;"; | 12   int get colorDepth() native "return this.colorDepth;"; | 
| 13 | 13 | 
| 14   int get height() native "return this.height;"; | 14   int get height() native "return this.height;"; | 
| 15 | 15 | 
| 16   int get pixelDepth() native "return this.pixelDepth;"; | 16   int get pixelDepth() native "return this.pixelDepth;"; | 
| 17 | 17 | 
| 18   int get width() native "return this.width;"; | 18   int get width() native "return this.width;"; | 
| 19 } | 19 } | 
| OLD | NEW | 
|---|