projects / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e9e5dc) | patch
* grub-core/gfxmenu/gui_list.c: New options for scrollbar padding:
authorVladimir Testov <vladimir.testov@rosalab.ru>
Wed, 9 Oct 2013 12:55:16 +0000 (16:55 +0400)
committerVladimir Testov <vladimir.testov@rosalab.ru>
Wed, 9 Oct 2013 12:55:16 +0000 (16:55 +0400)
commitad297ec7340530edb738397daf94744a4a932bbf
treed3c7fe802d7a26aafab0366700bb6db4a4202982tree | snapshot
parent6e9e5dc98bb3b2db04310b20b43b5fb7784b09a6commit | diff
   * grub-core/gfxmenu/gui_list.c: New options for scrollbar padding:
       scrollbar_left_pad, scrollbar_right_pad, scrollbar_top_pad,
       scrollbar_bottom_pad
       * docs/grub.texi: Likewise.
ChangeLog diff | blob | history
docs/grub.texi diff | blob | history
grub-core/gfxmenu/gui_list.c diff | blob | history
GRUB2 development