[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
before-scrollbar-thumb-offset.png
Description: PNG image
after-scrollbar-thumb-offset.png
Description: PNG image
grub-list-scrollbar-thumb-offset.patch
Description: Text Data
- [PATCH] [7/?] grub-core/gfxmenu/gui_list.c - scrollbar thumb offsets,
Vladimir Testov <=