|
|
||
|
|
| {u,umin,umax} | manipulator (slider, animator, etc.) | |
| {u,umin,umax,du} | discrete manipulator with step du | |
| {u,{xmin,ymin},{xmax,ymax}} | 2D slider | |
| {u,{u1,u2,...}} | setter bar for few elements; popup menu for more | |
| {u,{u1->lbl1,u2->lbl2,...}} | setter bar or popup menu with labels for elements | |
| {u,{True,False}} | checkbox | |
| {u,color} | color slider | |
| {u} | blank input field | |
| {u,func} | an arbitrary control from a function | |
| {{u,uinit},...} | use initial value | |
| {{u,uinit,ulbl},...} | include label | |
| {{u,...},...,opts} | use the specified control options |