From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mailman by lists.gnu.org with archive (Exim 4.43) id 1MvBnn-0006Dn-W9 for mharc-grub-devel@gnu.org; Tue, 06 Oct 2009 11:18:12 -0400 Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1MvBnm-0006Bi-23 for grub-devel@gnu.org; Tue, 06 Oct 2009 11:18:10 -0400 Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1MvBnl-0006Ac-DN for grub-devel@gnu.org; Tue, 06 Oct 2009 11:18:09 -0400 Received: from [199.232.76.173] (port=41632 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1MvBnk-0006AO-UV for grub-devel@gnu.org; Tue, 06 Oct 2009 11:18:08 -0400 Received: from fg-out-1718.google.com ([72.14.220.155]:51904) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1MvBnk-000344-2P for grub-devel@gnu.org; Tue, 06 Oct 2009 11:18:08 -0400 Received: by fg-out-1718.google.com with SMTP id 22so1359199fge.12 for ; Tue, 06 Oct 2009 08:18:07 -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:content-transfer-encoding; bh=f6EPvDLkSapJVa4KA5tLLI//MRtZwxHWb0KQWoh2hwg=; b=saEUkC399oWyBJvWV+4n57Tia/7M4u+THxDck5q5w0JzPHfdRosTB1xManLrkUweQT EQEvJMkquwJRiegvcS1dbDpccSgC2EwE3cQivMhW1irP/Ogngf+DvU7T66tecetJW0GW mnap5PR6I8S/XVVH0IwgFosWSNy9oI/w/CN9M= 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 :content-transfer-encoding; b=K33KVeeuK7w2v/NHoxk32GudN4sJUTMftgEPf+Ji8nt9cBgNNbXp2YKo3swu1U14gB AxPC30IXzSREWLYD2jWf0/al6YCgI6GZY21BpwsZ/6xAVp5rXRtcAOrlXuT+ch9hIq6O +tbR9xT8aXiCMpnOgliUhvexjLF6r/2zz5ANw= MIME-Version: 1.0 Sender: hramrach@gmail.com Received: by 10.86.208.2 with SMTP id f2mr640950fgg.16.1254842286464; Tue, 06 Oct 2009 08:18:06 -0700 (PDT) In-Reply-To: References: Date: Tue, 6 Oct 2009 17:18:06 +0200 X-Google-Sender-Auth: 3bc1d1492f44220f Message-ID: From: Michal Suchanek To: The development of GRUB 2 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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: Tue, 06 Oct 2009 15:18:10 -0000 2009/10/6 Bean : > On Tue, Oct 6, 2009 at 7:46 PM, Michal Suchanek wro= te: >> This is an interesting feature but I was more interested in >> controlling the border in text mode independently of graphics mode. >> >> For example, I would want something like: >> =C2=A0- graphics: 3px outer space, 2px border, 16px inner space >> (unfortunately there is no character unit usable because the character >> size is different when measured horizontally and vertically) >> =C2=A0- text: single border using the box drawing characters, inner spac= e >> vertical 1character >> >> AFAIK this is not possible. > > Hi, > > Well, to achieve that, we need some special syntax to allow users to > skip the border bitmaps optionally in graphic mode, perhaps something > like this: > > top_left =3D "null,,cyan/blue,#0x250F:,,green/blue,#0x2554" Is the hex number the number of the box drawing character? I would prefer if the border was easier to construct in text mode without looking up which character goes where. I think there are these common uses for borders: - line border in graphics, box drawing char border in text This is the simplest case which does not require any support media. This should be well supported so that creating layout that just works is easy (think fixing grub configuration, posting on pastebin, etc) - bitmap border, box drawing char border in text This seems to be the default currently if bitmap is specified I wonder what the semantics would be if I had bitmap only for some borders (ie left, right) - bitmap border, no border in text This is probably also common use - the bitmap only serves to add rounded corners or something like that. No need to replicate in text although some special characters might fit in some cases. Adding a flat border can be done with an additional panel if desired and is probably not common, no need for special support. > >>> valign, halign: >>> Now align property control the position of current widget, instead of >>> its children, each have four values: >>> left/top >>> center >>> right/bottom >>> extend - Extend the widget to the full width/height of parent. >>> >>> margin_left, margin_right, margin_top, margin_bottom >>> This properties set the inner space reserved by the panel >>> >>> padding_left, padding_right, padding_top, padding_bottom >>> This set the outbound box of the panel >>> >>> attach_left, attach_right, attach_top, attach_bottom >>> Stick the widget to one of the border of parent, once this is set, the >>> widget is no longed controlled by the layout manager and therefore can >>> overlap with other widget. >>> >> >> This sucks. Since overlap is not properly handled it should not happen. >> >> I am not sure what is the use of this property anyway. > > This can be used to implement the auto hide toolbar. We can use a > hotkey to show/hide the bar. In this case, we definitely don't want to > add the widget to the layout manger otherwise all widgets on screen > would need to be resized after the show/hide operation. > It could be used like that if we had the ability to show/hide individual widgets. I know concealable toolbars are cool but do we really need them for grub? They are cheap in a desktop environment where the windowing system is already present and you just write an application that hides/resizes its window. In grub we would have to add and maintain/support features just to support a concealable toolbar. And what would be the use? grub is not a windowing environment in which you stay for a prolonged period of time. You just boot your system and are done with it. Admittedly, concealable toolbars are somewhat useful to hold tools which you need occasionally but which would occupy precious screen space while you are working on something else. This is not the case in grub, though. All tools that are at your disposal should be clearly visible and you don't really need to put the effort into hiding them because it should take about the same effort to boot your system and exit grub completely, including its toolbars. Thanks Michal