Re: [GITGRUB] New menu interface

[Michal Suchanek]

Hello

2009/9/2 Bean <address@hidden>:
...
>  + box {
>    + screen {
>      bgimage = "splash.png"
>    }
>  }
> }

Where would this image get displayed? It's highly unlikely it would
have the same resolution as the screen box.

>
> + screen {
>  + text {
>    class = "header"
>    x = 10
>    y = 10
>    text = "Welcome"
>  }
>  + menu {
>    x = 30
>    y = 30
>    width = 100
>    height = 100
>  }
> }

With this kind of placement (x, y) how do you get
 - a menu with fixed number of components that scales to make best use
of available screen space
 - a scrollable menu with fixed font size that accomodates as many
items on the screen as reasonably possible (within some layout
constraints such as text/menu borders)

In my view the typical requirements are
 - margins and borders to separate elements
 - alignment like left, right, center, decimal (could be probably used
for version as well)
 - relative alignment like below, right-of, .. or packing like
three-column, 2-span, etc.

Specifying pixel coordinates for each item separately is
counter-productive and typically not what you want.

Thanks

Michal