mutable levelEntry : Widget.entry Widget.widget = Entry.create ~width:20 ~borderwidth:1 ~background:defcol ~state:`Disabled optionFrame