1 /* gfxmenu.c - Graphical menu interface controller. */
3 * GRUB -- GRand Unified Bootloader
4 * Copyright (C) 2008 Free Software Foundation, Inc.
6 * GRUB is free software: you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation, either version 3 of the License, or
9 * (at your option) any later version.
11 * GRUB is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with GRUB. If not, see <http://www.gnu.org/licenses/>.
20 #include <grub/types.h>
21 #include <grub/misc.h>
25 #include <grub/command.h>
26 #include <grub/video.h>
27 #include <grub/gfxterm.h>
28 #include <grub/bitmap.h>
29 #include <grub/bitmap_scale.h>
30 #include <grub/term.h>
32 #include <grub/normal.h>
33 #include <grub/gfxwidgets.h>
34 #include <grub/menu.h>
35 #include <grub/menu_viewer.h>
36 #include <grub/gfxmenu_model.h>
37 #include <grub/gfxmenu_view.h>
38 #include <grub/time.h>
39 #include <grub/i18n.h>
41 GRUB_MOD_LICENSE ("GPLv3+");
43 static grub_gfxmenu_view_t cached_view
;
46 grub_gfxmenu_viewer_fini (void *data
__attribute__ ((unused
)))
50 /* FIXME: Previously 't' changed to text menu is it necessary? */
52 grub_gfxmenu_try (int entry
, grub_menu_t menu
, int nested
)
54 grub_gfxmenu_view_t view
= NULL
;
55 const char *theme_path
;
56 struct grub_menu_viewer
*instance
;
58 struct grub_video_mode_info mode_info
;
60 theme_path
= grub_env_get ("theme");
62 return grub_error (GRUB_ERR_FILE_NOT_FOUND
, N_("variable `%s' isn't set"),
65 instance
= grub_zalloc (sizeof (*instance
));
69 err
= grub_video_get_info (&mode_info
);
73 if (!cached_view
|| grub_strcmp (cached_view
->theme_path
, theme_path
) != 0
74 || cached_view
->screen
.width
!= mode_info
.width
75 || cached_view
->screen
.height
!= mode_info
.height
)
77 grub_free (cached_view
);
78 /* Create the view. */
79 cached_view
= grub_gfxmenu_view_new (theme_path
, mode_info
.width
,
91 view
->double_repaint
= (mode_info
.mode_type
92 & GRUB_VIDEO_MODE_TYPE_DOUBLE_BUFFERED
)
93 && !(mode_info
.mode_type
& GRUB_VIDEO_MODE_TYPE_UPDATING_SWAP
);
94 view
->selected
= entry
;
96 view
->nested
= nested
;
97 view
->first_timeout
= -1;
99 grub_video_set_viewport (0, 0, mode_info
.width
, mode_info
.height
);
100 if (view
->double_repaint
)
102 grub_video_swap_buffers ();
103 grub_video_set_viewport (0, 0, mode_info
.width
, mode_info
.height
);
106 grub_gfxmenu_view_draw (view
);
108 instance
->data
= view
;
109 instance
->set_chosen_entry
= grub_gfxmenu_set_chosen_entry
;
110 instance
->fini
= grub_gfxmenu_viewer_fini
;
111 instance
->print_timeout
= grub_gfxmenu_print_timeout
;
112 instance
->clear_timeout
= grub_gfxmenu_clear_timeout
;
114 grub_menu_register_viewer (instance
);
116 return GRUB_ERR_NONE
;
119 GRUB_MOD_INIT (gfxmenu
)
121 struct grub_term_output
*term
;
123 FOR_ACTIVE_TERM_OUTPUTS(term
)
124 if (grub_gfxmenu_try_hook
&& term
->fullscreen
)
130 grub_gfxmenu_try_hook
= grub_gfxmenu_try
;
133 GRUB_MOD_FINI (gfxmenu
)
135 grub_gfxmenu_view_destroy (cached_view
);
136 grub_gfxmenu_try_hook
= NULL
;