[PATCH] [9/11] grub-core/gfxmenu/gui_list.c - new options: scrollbar padding

[Vladimir Testov]

scrollbar_left_pad
scrollbar_right_pad
scrollbar_top_pad
scrollbar_bottom_pad

only non-negative values

sizes of the scrollbar's padding

horizontal padding behaving depends on the selected scrollbar slice

EAST:
scrollbar_right_pad is ignored
scrollbar_left_pad is additional spacing on the right side of the menu item 
list.
Scrollbar is drawn on the left side of the menu's east slice (as it was 
before)

WEST:
Similar to east.
scrollbar_right_pad is additional spacing on the left side of the menu item 
list.
scrollbar_left_pad is ignored.

CENTER:
That's the point of this patch.
scrollbar is drawn in the center slice.
left and right padding -  is a distance to the right side of the menu item 
list and to the right side of the center slice correspondingly.
note, that option item_padding can be set and it affects padding of the menu 
item list. So if this option is set then real spacing between the list and the 
scrollbar will be item_padding + scrollbar_left_pad. That way the usual 
behaviour of item_padding is saved.

-- 
With best regards,
_______________________________
Vladimir Testov, ROSA Laboratory.
www.rosalab.ru

grub-list-scrollbar-padding.patch
Description: Text Data