Packages
webkit2gtk-web-extension-4.0
WebKit
DOM
DOMWindow
closed
default_status
device_pixel_ratio
document
frame_element
frames
inner_height
inner_width
length
name
offscreen_buffering
opener
orientation
outer_height
outer_width
page_x_offset
page_y_offset
parent
screen_left
screen_top
screen_x
screen_y
scroll_x
scroll_y
self
status
top
window
DOMWindow
alert
blur
capture_events
close
confirm
find
focus
get_closed
get_computed_style
get_default_status
get_device_pixel_ratio
get_document
get_frame_element
get_frames
get_inner_height
get_inner_width
get_length
get_name
get_offscreen_buffering
get_opener
get_orientation
get_outer_height
get_outer_width
get_page_x_offset
get_page_y_offset
get_parent
get_screen_left
get_screen_top
get_screen_x
get_screen_y
get_scroll_x
get_scroll_y
get_selection
get_self
get_status
get_top
get_window
move_by
move_to
print
prompt
release_events
resize_by
resize_to
scroll_by
scroll_to
set_default_status
set_name
set_status
stop
webkit_message_handlers_post_message
device_pixel_ratio
Description:
public
double
device_pixel_ratio
{
get
; }