2 

     3 widget_desc("DropDown") {

     4 

     5     longdesc

     6     ||

     7     DropDown widget let user select an entry in a list of texts, given as

     8     arguments. Single variable path is index of selection.

     9 

    10     It needs "text" (svg:text), "box" (svg:rect), "button" (svg:*),

    11     and "highlight" (svg:rect) labeled elements.

    12 

    13     When user clicks on "button", "text" is duplicated to display enties in the

    14     limit of available space in page, and "box" is extended to contain all

    15     texts. "highlight" is moved over pre-selected entry.

    16 

    17     When only one argument is given, and argment contains "#langs" then list of

    18     texts is automatically set to the list of human-readable languages supported

    19     by this HMI. 

    20     ||

    21 

    22     shortdesc > Let user select text entry in a drop-down menu

    23 

    24     arg name="entries" count="many" accepts="string" > drop-down menu entries

    25 

    26     path name="selection" accepts="HMI_INT" > selection index

    27 }

    28 

    29 // TODO: support i18n of menu entries using svg:text elements with labels starting with "_"