vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Various fixes to make gfxmenu work smoothly in multioutput environment

Browse source
This commit is contained in:
Vladimir 'phcoder' Serbinenko 2009-12-26 16:41:54 +01:00
parent 9b1209ba15
commit d3ee2d201e
6 changed files with 137 additions and 197 deletions
Download patch file Download diff file Expand all files Collapse all files

8
include/grub/gfxmenu_view.h
View file

@ -45,14 +45,6 @@ grub_err_t grub_gui_recreate_box (grub_gfxmenu_box_t *boxptr,
void grub_gfxmenu_view_draw (grub_gfxmenu_view_t view);
int grub_gfxmenu_view_execute_with_fallback (grub_gfxmenu_view_t view,
grub_menu_entry_t entry);
int grub_gfxmenu_view_execute_entry (grub_gfxmenu_view_t view,
grub_menu_entry_t entry);
void grub_gfxmenu_view_run_terminal (grub_gfxmenu_view_t view);
void
grub_gfxmenu_redraw_menu (grub_gfxmenu_view_t view);

18
include/grub/gfxterm.h
View file

@ -25,18 +25,20 @@
#include <grub/video.h>
grub_err_t
grub_gfxterm_init_window (struct grub_video_render_target *target,
int x, int y, int width, int height,
int double_repaint,
const char *font_name, int border_width);
void grub_gfxterm_destroy_window (void);
const struct grub_term_output *grub_gfxterm_get_term (void);
grub_gfxterm_set_window (struct grub_video_render_target *target,
int x, int y, int width, int height,
int double_repaint,
const char *font_name, int border_width);
typedef void (*grub_gfxterm_repaint_callback_t)(int x, int y,
int width, int height);
void grub_gfxterm_set_repaint_callback (grub_gfxterm_repaint_callback_t func);
void grub_gfxterm_schedule_repaint (void);
grub_err_t grub_gfxterm_fullscreen (void);
extern void (*grub_gfxterm_decorator_hook) (void);
#endif /* ! GRUB_GFXTERM_HEADER */

4
include/grub/menu.h
View file

@ -83,10 +83,6 @@ typedef struct grub_menu_execute_callback
}
*grub_menu_execute_callback_t;
extern grub_err_t (*grub_gfxmenu_try_hook) (int entry, grub_menu_t menu,
int nested);
grub_menu_entry_t grub_menu_get_entry (grub_menu_t menu, int no);
int grub_menu_get_timeout (void);
void grub_menu_set_timeout (int timeout);