WebKit2.Settings.prototype.set_default_charset

function set_default_charset(default_charset: String): void {
    // Gjs wrapper for webkit_settings_set_default_charset()
}