|Select2 -> ((3, 1), 0, "Select2")
|Select3 -> ((4, 1), 0, "Select3")
|Rdtable -> ((3, 1), rdtable_memory_length, "Rdtalbe")
- |Rwtable -> ((5, 1), rwtable_memory_length, "Rwtable");;
+ |Rwtable -> ((5, 1), rwtable_memory_length, "Rwtable")
+ |Button -> ((0, 1), 0, "Button")
+ |Checkbox -> ((0, 1), 0, "Checkbox")
+ |Vslider -> ((0, 1), 0, "Vslider")
+ |Hslider -> ((0, 1), 0, "Hslider")
+ |Vgroup -> ((0, 1), 0, "Vgroup")
+ |Hgroup -> ((0, 1), 0, "Hgroup")
+ |Tgroup -> ((0, 1), 0, "Tgroup")
+ |Hbargraph -> ((0, 1), 0, "Hbargraph")
+ |Vbargraph -> ((0, 1), 0, "Vbargraph")
+ |Nentry -> ((0, 1), 0, "Nentry")
+ |Attach -> ((2, 1), 0, "Attach") ;;
let dimension_of_symbol : symbol -> int * int =
fun (s : symbol) ->