Tweak the gtk-font-name setting docs
Clarify that only parts of the font name are used. https://bugzilla.gnome.org/show_bug.cgi?id=758367
This commit is contained in:
parent
3e649c4812
commit
98fd5bda58
@ -507,10 +507,15 @@ gtk_settings_class_init (GtkSettingsClass *class)
|
||||
NULL);
|
||||
g_assert (result == PROP_DND_DRAG_THRESHOLD);
|
||||
|
||||
/**
|
||||
* GtkSettings:gtk-font-name:
|
||||
*
|
||||
* The default font to use. GTK+ uses the family name and size from this string.
|
||||
*/
|
||||
result = settings_install_property_parser (class,
|
||||
g_param_spec_string ("gtk-font-name",
|
||||
P_("Font Name"),
|
||||
P_("Name of default font to use"),
|
||||
P_("The default font family and size to use"),
|
||||
"Sans 10",
|
||||
GTK_PARAM_READWRITE),
|
||||
NULL);
|
||||
|
Loading…
Reference in New Issue
Block a user