grub-devel
[Top][All Lists]
Advanced

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

Re: [PATCH] [7/?] grub-core/gfxmenu/gui_list.c - scrollbar thumb offsets


From: Vladimir Testov
Subject: Re: [PATCH] [7/?] grub-core/gfxmenu/gui_list.c - scrollbar thumb offsets
Date: Fri, 19 Jul 2013 21:18:24 +0400
User-agent: KMail/4.10.4 (Linux/3.8.0-26-generic; KDE/4.10.4; x86_64; ; )

Sanity checks fixed. Rare case with too big scrollbar frame was incorrectly 
handled.

On Thursday, July 18, 2013 07:57:14 PM Vladimir Testov wrote:
> New options
> scrollbar_thumb_top_offset
> scrollbar_thumb_bottom_offset
> 
> With these two options we can make scrollbar thumb with round edges so it
> will fit to the scrollbar frame. See screenshots.
> 
> offset is a number of pixels to indent from the edge of the center slice of
> the scrollbar's frame.
> positive value means we move to the bottom
> negative value means we move to the top
> 
> in the example given (see screenshots)
> scrollbar_thumb_top_offset = -5
> scrollbar_thumb_bottom_offset = 5
> 
> Sanity checks are present.
> 
> --
> With best regards,
> _______________________________
> Vladimir Testov, ROSA Laboratory.
> www.rosalab.ru
-- 
With best regards,
_______________________________
Vladimir Testov, ROSA Laboratory.
www.rosalab.ru

Attachment: grub-list-scrollbar-thumb-offset.patch
Description: Text Data


reply via email to

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