From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mailman by lists.gnu.org with archive (Exim 4.43) id 1Mvr1M-00033k-3a for mharc-grub-devel@gnu.org; Thu, 08 Oct 2009 07:18:56 -0400 Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1Mvr1K-00032m-Qp for grub-devel@gnu.org; Thu, 08 Oct 2009 07:18:54 -0400 Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1Mvr1K-00031v-0D for grub-devel@gnu.org; Thu, 08 Oct 2009 07:18:54 -0400 Received: from [199.232.76.173] (port=59733 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Mvr1J-00031m-Ln for grub-devel@gnu.org; Thu, 08 Oct 2009 07:18:53 -0400 Received: from fg-out-1718.google.com ([72.14.220.154]:32681) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1Mvr1J-0007x7-Au for grub-devel@gnu.org; Thu, 08 Oct 2009 07:18:53 -0400 Received: by fg-out-1718.google.com with SMTP id 22so1833707fge.12 for ; Thu, 08 Oct 2009 04:18:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:to :content-type; bh=5zzqF2feFJe/KfYjMUlJg61C7rAllenqO4NjHFoca4s=; b=qCM697AK0didj9fmO4ovGFzOmEPgvbV8zJZAW9VHKtECsoygZSqzDo+2wOGz4Q21YM mx3Gr58zl9dROzGpoj5JtyZnzSAokq4QH1594+khmoIURyerng9JuhiTC55Q86/E90q5 LVAfS8bwZgAp/g7JZjvpXXshCf5tll3kj6GNU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:content-type; b=lWinCyBV5vbf9S/TftVq0T91+0vo2T9WLfuv4Bx5Go1BjYI8khXbgAhrE9ZgYBA5cY Lj0/MKfdlDlrGboExnidVPIo3TJu4kH7NZHdXu6hqhHGOdm9xo2TzDuqPPoTSF0jtZRM a79i4eYIxyMS0Usb0AS4IPshH/iP7SVMhMwfM= MIME-Version: 1.0 Sender: hramrach@gmail.com Received: by 10.86.158.5 with SMTP id g5mr1009834fge.32.1255000732501; Thu, 08 Oct 2009 04:18:52 -0700 (PDT) In-Reply-To: References: Date: Thu, 8 Oct 2009 13:18:48 +0200 X-Google-Sender-Auth: ae394a6641163a6b Message-ID: From: Michal Suchanek To: The development of GRUB 2 Content-Type: text/plain; charset=UTF-8 X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 2) Subject: Re: [GITGRUB] New menu interface (implementation) X-BeenThere: grub-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: The development of GRUB 2 List-Id: The development of GRUB 2 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 08 Oct 2009 11:18:55 -0000 2009/10/8 Bean : > On Thu, Oct 8, 2009 at 5:13 AM, Michal Suchanek wrote: >> 2009/10/7 Michal Suchanek : >>> 2009/10/7 Bean : >>>> On Wed, Oct 7, 2009 at 4:54 PM, Michal Suchanek wrote: >>>>> This might make switching the direction of a panel more difficult but >>>>> there may be other issues. Either way the method with margin does not >>>>> work either. >>>> >>>> Hi, >>>> >>>> The latest version should work now, although there is a small issue, >>>> the margin_*, padding_* property only works for panel widget for now, >>>> so you should replace padding_* of the term with margin_* of parent >>>> panel. >> >> I tired the latest code and there is still some alignment issue. >> >> In graphics mode the top and bottom part of border is missing. >> >> The problem with zero width panels is fixed but a layout with a >> "toolbar" does not really work for me. > > Hi, > > Some issue of the config: > > 1, Don't add the c suffix , now default unit is character, just use It should be possible to use the c suffix even if it is the default. > number. Also, if you set height/width directly, it should include the > border size, so minimum value is 2 (for top and bottom rect). Indeed, the width should include the border which is currently quite large. > > 2, You should use far position as you want to extend the widget at the > far side (top). This dependency is a problem. The rules for creating a working layout are then complicated and hard to understand. Also I have no idea why I should set position on the screen, it is never positioned. > > 3, border_width only draws left/right border, to draw top/bottom > border, you need to add border_height as well. That's quite surprising. In other layout systems I have seen so far there is - border width (of all borders) - border top/left/bottom/right width (for particular borders, sometimes not available) It would be useful to have aliases for margin and padding so that vertical./horizontal/all can be set in one assignment. Thanks Michal