2006-01-12 00:27:48 +03:00
|
|
|
/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*-
|
|
|
|
*
|
2012-05-21 15:12:37 +04:00
|
|
|
* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
2006-01-12 00:27:48 +03:00
|
|
|
|
|
|
|
#include "nsISupports.idl"
|
|
|
|
|
2016-10-03 11:23:23 +03:00
|
|
|
%{C++
|
|
|
|
/**
|
|
|
|
* The display type of nsIScreen belongs to.
|
|
|
|
*/
|
|
|
|
enum class DisplayType: int32_t {
|
|
|
|
DISPLAY_PRIMARY, // primary screen
|
|
|
|
DISPLAY_EXTERNAL, // wired displays, such as HDMI, DisplayPort, etc.
|
|
|
|
DISPLAY_VIRTUAL // wireless displays, such as Chromecast, WiFi-Display, etc.
|
|
|
|
};
|
|
|
|
%}
|
|
|
|
|
2014-07-14 21:22:26 +04:00
|
|
|
[scriptable, uuid(826e80c8-d70f-42e2-8aa9-82c05f2a370a)]
|
2006-01-12 00:27:48 +03:00
|
|
|
interface nsIScreen : nsISupports
|
|
|
|
{
|
2012-10-16 23:41:19 +04:00
|
|
|
/**
|
|
|
|
* These report screen dimensions in (screen-specific) device pixels
|
|
|
|
*/
|
2012-01-05 06:12:48 +04:00
|
|
|
void GetRect(out long left, out long top, out long width, out long height);
|
|
|
|
void GetAvailRect(out long left, out long top, out long width, out long height);
|
|
|
|
|
2012-10-16 23:41:19 +04:00
|
|
|
/**
|
2015-11-25 22:11:58 +03:00
|
|
|
* And these report in desktop pixels
|
2012-10-16 23:41:19 +04:00
|
|
|
*/
|
|
|
|
void GetRectDisplayPix(out long left, out long top, out long width, out long height);
|
|
|
|
void GetAvailRectDisplayPix(out long left, out long top, out long width, out long height);
|
|
|
|
|
2012-01-05 06:12:48 +04:00
|
|
|
readonly attribute long pixelDepth;
|
2012-02-07 02:33:04 +04:00
|
|
|
readonly attribute long colorDepth;
|
2012-10-02 23:48:05 +04:00
|
|
|
|
|
|
|
/**
|
2016-02-05 19:29:33 +03:00
|
|
|
* The number of device pixels per desktop pixel for this screen (for
|
|
|
|
* hidpi configurations where there may be multiple device pixels per
|
|
|
|
* desktop px and/or per CSS px).
|
|
|
|
*
|
|
|
|
* This seems poorly named (something like devicePixelsPerDesktopPixel
|
|
|
|
* would be more accurate/explicit), but given that it is exposed to
|
|
|
|
* front-end code and may also be used by add-ons, it's probably not
|
|
|
|
* worth the disruption of changing it.
|
|
|
|
*
|
|
|
|
* Returns 1.0 if HiDPI mode is disabled or unsupported, or if the
|
|
|
|
* host OS uses device pixels as its desktop pixel units (as in Win8.1
|
|
|
|
* per-monitor dpi support).
|
2012-10-02 23:48:05 +04:00
|
|
|
*/
|
|
|
|
readonly attribute double contentsScaleFactor;
|
2016-02-05 19:29:33 +03:00
|
|
|
|
|
|
|
/**
|
|
|
|
* The default number of device pixels per unscaled CSS pixel for this
|
|
|
|
* screen. This is probably what contentsScaleFactor originally meant
|
|
|
|
* to be, prior to confusion between CSS pixels and desktop pixel units.
|
|
|
|
*/
|
|
|
|
readonly attribute double defaultCSSScaleFactor;
|
2010-12-22 01:33:48 +03:00
|
|
|
};
|