Packages
webkit2gtk-web-extension-4.1
WebKit
DOM
HTMLFontElement
color
face
size
HTMLFontElement
get_color
get_face
get_size
set_color
set_face
set_size
size
Description:
public
string
size
{
owned
get
;
set
; }