Raygui.TextBox
type t = [
|
`Color_selected_bg
`Color_selected_fg
`Text_inner_padding
`Text_lines_padding
]