[ Version ( since = "2.14" ) ]
public unowned Widget get_size_entry ()
This returns the Entry used to allow the user to edit the font number manually instead of selecting it from the list of font sizes.
Use FontChooser
| this |
|
A Widget that is part of this |