WebKit2.WebView.prototype.get_window_properties

function get_window_properties(): WebKit2.WindowProperties {
    // Gjs wrapper for webkit_web_view_get_window_properties()
}