Vladimir 'phcoder' Serbinenko abc474ef4b Take into account the decorations the computing menu entry width.
* grub-core/gfxmenu/widget-box.c (get_border_width): New function.
	(grub_gfxmenu_create_box): Register get_border_width.
	* grub-core/gfxmenu/gui_list.c (draw_menu): Use get_border_width
	if available.
	* include/grub/gfxwidgets.h (grub_gfxmenu_box): New member
	get_border_width.
2011-04-19 00:44:53 +02:00
..
2010-07-13 00:43:28 +05:30
2010-05-26 17:49:05 +05:30
2010-05-26 17:49:05 +05:30
2010-05-06 11:34:04 +05:30