mutable depthEntry : Widget.entry Widget.widget = Entry.create ~width:20 ~borderwidth:1 optionFrame