From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mailman by lists.gnu.org with archive (Exim 4.43) id 1MvWDS-00042R-UQ for mharc-grub-devel@gnu.org; Wed, 07 Oct 2009 09:06:03 -0400 Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1MvWDP-0003zG-VT for grub-devel@gnu.org; Wed, 07 Oct 2009 09:06:00 -0400 Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1MvWDK-0003wa-Qf for grub-devel@gnu.org; Wed, 07 Oct 2009 09:05:59 -0400 Received: from [199.232.76.173] (port=36299 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1MvWDK-0003wL-Ej for grub-devel@gnu.org; Wed, 07 Oct 2009 09:05:54 -0400 Received: from mail-bw0-f220.google.com ([209.85.218.220]:43917) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1MvWDJ-0000T6-Vm for grub-devel@gnu.org; Wed, 07 Oct 2009 09:05:54 -0400 Received: by bwz20 with SMTP id 20so4602605bwz.42 for ; Wed, 07 Oct 2009 06:05: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=XMe2/6bp0Mow8SQHmSWvPsx5tZQ0eIIkN7mYTR7d4uU=; b=HaI8ixcLnti/4OdloDSsinMNmzBoHazIBByFrUQV+eHkZT8QuhsQ9gsVm4bXQHBByF 2p2YWh88F+9ffJgM+DtPUAMbz6n6zMEOajZwY7/uFdEzEQTTLQesGtjV9zzCpMl6ZvOY nmOGSpzUeIMtWBFCjFyGnTh4NVfAOewg+PqhQ= 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=W37xVls7g9aHEQI0HF+T0C4Yt/c7IpTXeitS7JijvO7MLtZzA388TuSWSVUlUAiG31 l8ZqYjSHxYXtJzq+gbrpO89szhmbHbb3JcughYi46ZySOfDrLcW4zVcvrwdzblpJZK9h V8SVbIIw34IuT8WQQzJuP2OUcfI+MrhbpRfjM= MIME-Version: 1.0 Sender: hramrach@gmail.com Received: by 10.204.48.131 with SMTP id r3mr6218020bkf.195.1254920751331; Wed, 07 Oct 2009 06:05:51 -0700 (PDT) In-Reply-To: References: Date: Wed, 7 Oct 2009 15:05:50 +0200 X-Google-Sender-Auth: 924efd0524402394 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: Wed, 07 Oct 2009 13:06:00 -0000 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. Yes, spacing on panels should be sufficient. Terminals probably would not have borders and such anyway. Thanks Michal