grub-devel
[Top][All Lists]
Advanced

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

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


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

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

Attachment: before-scrollbar-thumb-offset.png
Description: PNG image

Attachment: after-scrollbar-thumb-offset.png
Description: PNG image

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


reply via email to

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