get_size_entry
Description:
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.
Parameters:
Returns:
|
A Widget that is part of this
|