Assertion: gnome's size | /r/HasProperty | font
Facets:
Source sentences:
text: What really ticked off Torvalds the most was that GNOME makes it so hard to control font sizes.