The choice box for selecting font sizes in the HTML editor should use an editable ComboBox so the user can type in font sizes that are not in the drop-down list.

There is no need to restrict the sizes to what is in the list.