method private _get_dispsize = match glade#dispsize_check#active with | true -> Some glade#dispsize_spinbutton#value_as_int | false -> None