Method GTK2.PrintSettings()->get_int_with_default() Method get_int_with_default int get_int_with_default(string key, int def) Description Returns the value of key, interpreted as an integer, or the default value.