OLD | NEW |
1 // Copyright 2013 The Chromium Authors. All rights reserved. | 1 // Copyright 2013 The Chromium Authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 // Use the <code>system.display</code> API to query display metadata. | 5 // Use the <code>system.display</code> API to query display metadata. |
6 namespace system.display { | 6 namespace system.display { |
7 | 7 |
8 dictionary Bounds { | 8 dictionary Bounds { |
9 // The x-coordinate of the upper-left corner. | 9 // The x-coordinate of the upper-left corner. |
10 long left; | 10 long left; |
(...skipping 139 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
150 | 150 |
151 // The usable work area of the display within the display bounds. The work | 151 // The usable work area of the display within the display bounds. The work |
152 // area excludes areas of the display reserved for OS, for example taskbar | 152 // area excludes areas of the display reserved for OS, for example taskbar |
153 // and launcher. | 153 // and launcher. |
154 Bounds workArea; | 154 Bounds workArea; |
155 | 155 |
156 // The list of available display modes. The current mode will have | 156 // The list of available display modes. The current mode will have |
157 // isSelected=true. Only available on Chrome OS. Will be set to an empty | 157 // isSelected=true. Only available on Chrome OS. Will be set to an empty |
158 // array on other platforms. | 158 // array on other platforms. |
159 DisplayMode[] modes; | 159 DisplayMode[] modes; |
| 160 |
| 161 // True if this display has a touch input device associated with it. |
| 162 boolean hasTouchSupport; |
160 }; | 163 }; |
161 | 164 |
162 dictionary DisplayProperties { | 165 dictionary DisplayProperties { |
163 // Chrome OS only. If set and not empty, enables mirroring for this display. | 166 // Chrome OS only. If set and not empty, enables mirroring for this display. |
164 // Otherwise disables mirroring for this display. This value should indicate | 167 // Otherwise disables mirroring for this display. This value should indicate |
165 // the id of the source display to mirror, which must not be the same as the | 168 // the id of the source display to mirror, which must not be the same as the |
166 // id passed to setDisplayProperties. If set, no other property may be set. | 169 // id passed to setDisplayProperties. If set, no other property may be set. |
167 DOMString? mirroringSourceId; | 170 DOMString? mirroringSourceId; |
168 | 171 |
169 // If set to true, makes the display primary. No-op if set to false. | 172 // If set to true, makes the display primary. No-op if set to false. |
(...skipping 124 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
294 // calibration data. | 297 // calibration data. |
295 // |id|: The display's unique identifier. | 298 // |id|: The display's unique identifier. |
296 static void touchCalibrationReset(DOMString id); | 299 static void touchCalibrationReset(DOMString id); |
297 }; | 300 }; |
298 | 301 |
299 interface Events { | 302 interface Events { |
300 // Fired when anything changes to the display configuration. | 303 // Fired when anything changes to the display configuration. |
301 static void onDisplayChanged(); | 304 static void onDisplayChanged(); |
302 }; | 305 }; |
303 }; | 306 }; |
OLD | NEW |