[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [GITGRUB] New menu interface (implementation)

From: Bean
Subject: Re: [GITGRUB] New menu interface (implementation)
Date: Fri, 9 Oct 2009 23:58:13 +0800



Change extend property, now it should be set in the children widget,
for example, to draw a toolbar:

screen {
  direction = bottom_to_top

  panel { class = frame }

  panel {
    direction = left_to_right
    extend = 1

    panel { extend = 1 class = frame }
    panel { extend = 1 class = frame }

You can also use valign/halign to adjust the position of children
widget, default value is extend.

Replace border_width/border_height with
border_left/border_right/border_top/border_bottom. To set all borders
to the same size, use border_size. You can also use border_size to set
a default value and then overwrite some of the borders using

Add margin_size and padding_size, the usage is very similar to border_*.

Rename style property to class.


gitgrub home:
my fork page:

reply via email to

[Prev in Thread] Current Thread [Next in Thread]