[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
grub-list-scrollbar-thumb-offset.patch
Description: Text Data