2009-11-20 15:02:58 +00:00
|
|
|
/* gui_list.c - GUI component to display a selectable list of items. */
|
|
|
|
/*
|
|
|
|
* GRUB -- GRand Unified Bootloader
|
|
|
|
* Copyright (C) 2008,2009 Free Software Foundation, Inc.
|
|
|
|
*
|
|
|
|
* GRUB is free software: you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License as published by
|
|
|
|
* the Free Software Foundation, either version 3 of the License, or
|
|
|
|
* (at your option) any later version.
|
|
|
|
*
|
|
|
|
* GRUB is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU General Public License
|
|
|
|
* along with GRUB. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <grub/mm.h>
|
|
|
|
#include <grub/misc.h>
|
|
|
|
#include <grub/gui.h>
|
|
|
|
#include <grub/gui_string_util.h>
|
|
|
|
#include <grub/gfxmenu_view.h>
|
|
|
|
#include <grub/gfxwidgets.h>
|
2013-05-30 22:42:33 +00:00
|
|
|
#include <grub/color.h>
|
2009-11-20 15:02:58 +00:00
|
|
|
|
2013-10-08 14:31:53 +00:00
|
|
|
enum scrollbar_slice_mode {
|
|
|
|
SCROLLBAR_SLICE_WEST,
|
|
|
|
SCROLLBAR_SLICE_CENTER,
|
|
|
|
SCROLLBAR_SLICE_EAST
|
|
|
|
};
|
|
|
|
|
2009-11-20 15:02:58 +00:00
|
|
|
struct grub_gui_list_impl
|
|
|
|
{
|
2009-12-29 16:31:02 +00:00
|
|
|
struct grub_gui_list list;
|
2009-11-20 15:02:58 +00:00
|
|
|
|
|
|
|
grub_gui_container_t parent;
|
|
|
|
grub_video_rect_t bounds;
|
|
|
|
char *id;
|
|
|
|
int visible;
|
|
|
|
|
|
|
|
int icon_width;
|
|
|
|
int icon_height;
|
|
|
|
int item_height;
|
|
|
|
int item_padding;
|
|
|
|
int item_icon_space;
|
|
|
|
int item_spacing;
|
|
|
|
grub_font_t item_font;
|
2013-08-15 12:12:11 +00:00
|
|
|
int selected_item_font_inherit;
|
2009-11-20 15:02:58 +00:00
|
|
|
grub_font_t selected_item_font;
|
2010-12-10 16:45:58 +00:00
|
|
|
grub_video_rgba_color_t item_color;
|
2013-08-15 12:12:11 +00:00
|
|
|
int selected_item_color_inherit;
|
2010-12-10 16:45:58 +00:00
|
|
|
grub_video_rgba_color_t selected_item_color;
|
2009-11-20 15:02:58 +00:00
|
|
|
|
|
|
|
int draw_scrollbar;
|
|
|
|
int need_to_recreate_scrollbar;
|
|
|
|
char *scrollbar_frame_pattern;
|
|
|
|
char *scrollbar_thumb_pattern;
|
|
|
|
grub_gfxmenu_box_t scrollbar_frame;
|
|
|
|
grub_gfxmenu_box_t scrollbar_thumb;
|
2013-10-10 10:37:19 +00:00
|
|
|
int scrollbar_thumb_overlay;
|
2009-11-20 15:02:58 +00:00
|
|
|
int scrollbar_width;
|
2013-10-08 14:31:53 +00:00
|
|
|
enum scrollbar_slice_mode scrollbar_slice;
|
2013-10-09 12:55:16 +00:00
|
|
|
int scrollbar_left_pad;
|
|
|
|
int scrollbar_right_pad;
|
|
|
|
int scrollbar_top_pad;
|
|
|
|
int scrollbar_bottom_pad;
|
2009-11-20 15:02:58 +00:00
|
|
|
|
|
|
|
int first_shown_index;
|
|
|
|
|
|
|
|
int need_to_recreate_boxes;
|
|
|
|
char *theme_dir;
|
|
|
|
char *menu_box_pattern;
|
|
|
|
char *selected_item_box_pattern;
|
|
|
|
grub_gfxmenu_box_t menu_box;
|
|
|
|
grub_gfxmenu_box_t selected_item_box;
|
|
|
|
|
|
|
|
grub_gfxmenu_icon_manager_t icon_manager;
|
2009-12-26 00:49:57 +00:00
|
|
|
|
|
|
|
grub_gfxmenu_view_t view;
|
2009-11-20 15:02:58 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
typedef struct grub_gui_list_impl *list_impl_t;
|
|
|
|
|
|
|
|
static void
|
|
|
|
list_destroy (void *vself)
|
|
|
|
{
|
|
|
|
list_impl_t self = vself;
|
|
|
|
|
|
|
|
grub_free (self->theme_dir);
|
|
|
|
grub_free (self->menu_box_pattern);
|
|
|
|
grub_free (self->selected_item_box_pattern);
|
|
|
|
if (self->menu_box)
|
|
|
|
self->menu_box->destroy (self->menu_box);
|
|
|
|
if (self->selected_item_box)
|
|
|
|
self->selected_item_box->destroy (self->selected_item_box);
|
|
|
|
if (self->icon_manager)
|
|
|
|
grub_gfxmenu_icon_manager_destroy (self->icon_manager);
|
2013-05-04 11:47:10 +00:00
|
|
|
if (self->scrollbar_thumb)
|
|
|
|
self->scrollbar_thumb->destroy (self->scrollbar_thumb);
|
|
|
|
if (self->scrollbar_frame)
|
|
|
|
self->scrollbar_frame->destroy (self->scrollbar_frame);
|
2013-05-04 20:23:23 +00:00
|
|
|
grub_free (self->scrollbar_thumb_pattern);
|
2013-10-09 06:44:11 +00:00
|
|
|
grub_free (self->scrollbar_frame_pattern);
|
2009-11-20 15:02:58 +00:00
|
|
|
grub_free (self);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
|
|
|
get_num_shown_items (list_impl_t self)
|
|
|
|
{
|
2010-01-05 20:07:06 +00:00
|
|
|
int boxpad = self->item_padding;
|
|
|
|
int item_vspace = self->item_spacing;
|
|
|
|
int item_height = self->item_height;
|
|
|
|
|
|
|
|
grub_gfxmenu_box_t box = self->menu_box;
|
|
|
|
int box_top_pad = box->get_top_pad (box);
|
|
|
|
int box_bottom_pad = box->get_bottom_pad (box);
|
2013-07-14 21:02:37 +00:00
|
|
|
grub_gfxmenu_box_t selbox = self->selected_item_box;
|
|
|
|
int sel_top_pad = selbox->get_top_pad (selbox);
|
|
|
|
int sel_bottom_pad = selbox->get_bottom_pad (selbox);
|
2010-01-05 20:07:06 +00:00
|
|
|
|
|
|
|
return (self->bounds.height + item_vspace - 2 * boxpad
|
2013-07-14 21:02:37 +00:00
|
|
|
- sel_top_pad - sel_bottom_pad
|
|
|
|
- box_top_pad - box_bottom_pad) / (item_height + item_vspace);
|
2009-11-20 15:02:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
|
|
|
check_boxes (list_impl_t self)
|
|
|
|
{
|
|
|
|
if (self->need_to_recreate_boxes)
|
|
|
|
{
|
|
|
|
grub_gui_recreate_box (&self->menu_box,
|
|
|
|
self->menu_box_pattern,
|
|
|
|
self->theme_dir);
|
|
|
|
|
|
|
|
grub_gui_recreate_box (&self->selected_item_box,
|
|
|
|
self->selected_item_box_pattern,
|
|
|
|
self->theme_dir);
|
|
|
|
|
|
|
|
self->need_to_recreate_boxes = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
return (self->menu_box != 0 && self->selected_item_box != 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
|
|
|
check_scrollbar (list_impl_t self)
|
|
|
|
{
|
|
|
|
if (self->need_to_recreate_scrollbar)
|
|
|
|
{
|
|
|
|
grub_gui_recreate_box (&self->scrollbar_frame,
|
|
|
|
self->scrollbar_frame_pattern,
|
|
|
|
self->theme_dir);
|
|
|
|
|
|
|
|
grub_gui_recreate_box (&self->scrollbar_thumb,
|
|
|
|
self->scrollbar_thumb_pattern,
|
|
|
|
self->theme_dir);
|
|
|
|
|
|
|
|
self->need_to_recreate_scrollbar = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
return (self->scrollbar_frame != 0 && self->scrollbar_thumb != 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static const char *
|
|
|
|
list_get_id (void *vself)
|
|
|
|
{
|
|
|
|
list_impl_t self = vself;
|
|
|
|
return self->id;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
|
|
|
list_is_instance (void *vself __attribute__((unused)), const char *type)
|
|
|
|
{
|
|
|
|
return (grub_strcmp (type, "component") == 0
|
|
|
|
|| grub_strcmp (type, "list") == 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
static struct grub_video_bitmap *
|
|
|
|
get_item_icon (list_impl_t self, int item_index)
|
|
|
|
{
|
|
|
|
grub_menu_entry_t entry;
|
2009-12-26 00:49:57 +00:00
|
|
|
entry = grub_menu_get_entry (self->view->menu, item_index);
|
2009-11-20 15:02:58 +00:00
|
|
|
if (! entry)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
return grub_gfxmenu_icon_manager_get_icon (self->icon_manager, entry);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
|
|
|
make_selected_item_visible (list_impl_t self)
|
|
|
|
{
|
2009-12-26 00:49:57 +00:00
|
|
|
int selected_index = self->view->selected;
|
2009-11-20 15:02:58 +00:00
|
|
|
if (selected_index < 0)
|
|
|
|
return; /* No item is selected. */
|
|
|
|
int num_shown_items = get_num_shown_items (self);
|
|
|
|
int last_shown_index = self->first_shown_index + (num_shown_items - 1);
|
|
|
|
if (selected_index < self->first_shown_index)
|
|
|
|
self->first_shown_index = selected_index;
|
|
|
|
else if (selected_index > last_shown_index)
|
|
|
|
self->first_shown_index = selected_index - (num_shown_items - 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Draw a scrollbar on the menu. */
|
|
|
|
static void
|
|
|
|
draw_scrollbar (list_impl_t self,
|
|
|
|
int value, int extent, int min, int max,
|
2013-10-08 12:27:56 +00:00
|
|
|
int scrollbar_width, int scrollbar_height)
|
2009-11-20 15:02:58 +00:00
|
|
|
{
|
|
|
|
grub_gfxmenu_box_t frame = self->scrollbar_frame;
|
|
|
|
grub_gfxmenu_box_t thumb = self->scrollbar_thumb;
|
|
|
|
int frame_vertical_pad = (frame->get_top_pad (frame)
|
|
|
|
+ frame->get_bottom_pad (frame));
|
|
|
|
int frame_horizontal_pad = (frame->get_left_pad (frame)
|
|
|
|
+ frame->get_right_pad (frame));
|
2013-10-08 12:27:56 +00:00
|
|
|
int thumb_vertical_pad = (thumb->get_top_pad (thumb)
|
|
|
|
+ thumb->get_bottom_pad (thumb));
|
|
|
|
int thumb_horizontal_pad = (thumb->get_left_pad (thumb)
|
|
|
|
+ thumb->get_right_pad (thumb));
|
|
|
|
int tracktop = frame->get_top_pad (frame);
|
|
|
|
int tracklen = scrollbar_height - frame_vertical_pad;
|
|
|
|
frame->set_content_size (frame,
|
|
|
|
scrollbar_width - frame_horizontal_pad,
|
|
|
|
tracklen);
|
2013-10-10 10:37:19 +00:00
|
|
|
if (self->scrollbar_thumb_overlay)
|
|
|
|
{
|
|
|
|
tracklen += thumb_vertical_pad;
|
|
|
|
tracktop -= thumb->get_top_pad (thumb);
|
|
|
|
}
|
2009-11-20 15:02:58 +00:00
|
|
|
int thumby = tracktop + tracklen * (value - min) / (max - min);
|
|
|
|
int thumbheight = tracklen * extent / (max - min) + 1;
|
2013-10-08 14:49:35 +00:00
|
|
|
/* Rare occasion: too many entries or too low height. */
|
|
|
|
if (thumbheight < thumb_vertical_pad)
|
|
|
|
{
|
|
|
|
thumbheight = thumb_vertical_pad;
|
|
|
|
thumby = tracktop + ((tracklen - thumb_vertical_pad) * (value - min)
|
|
|
|
/ (max - extent));
|
|
|
|
}
|
2013-10-10 10:37:19 +00:00
|
|
|
int thumbx = frame->get_left_pad (frame);
|
|
|
|
int thumbwidth = scrollbar_width - frame_horizontal_pad;
|
|
|
|
if (!self->scrollbar_thumb_overlay)
|
|
|
|
thumbwidth -= thumb_horizontal_pad;
|
|
|
|
else
|
|
|
|
thumbx -= thumb->get_left_pad (thumb);
|
|
|
|
thumb->set_content_size (thumb, thumbwidth,
|
2013-10-08 12:27:56 +00:00
|
|
|
thumbheight - thumb_vertical_pad);
|
|
|
|
frame->draw (frame, 0, 0);
|
2013-10-10 10:37:19 +00:00
|
|
|
thumb->draw (thumb, thumbx, thumby);
|
2009-11-20 15:02:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Draw the list of items. */
|
|
|
|
static void
|
2010-07-02 16:28:54 +00:00
|
|
|
draw_menu (list_impl_t self, int num_shown_items)
|
2009-11-20 15:02:58 +00:00
|
|
|
{
|
|
|
|
if (! self->menu_box || ! self->selected_item_box)
|
|
|
|
return;
|
|
|
|
|
|
|
|
int boxpad = self->item_padding;
|
|
|
|
int icon_text_space = self->item_icon_space;
|
|
|
|
int item_vspace = self->item_spacing;
|
|
|
|
|
|
|
|
int ascent = grub_font_get_ascent (self->item_font);
|
|
|
|
int descent = grub_font_get_descent (self->item_font);
|
2013-08-15 12:13:51 +00:00
|
|
|
int selected_ascent = grub_font_get_ascent (self->selected_item_font);
|
|
|
|
int selected_descent = grub_font_get_descent (self->selected_item_font);
|
2009-11-20 15:02:58 +00:00
|
|
|
int item_height = self->item_height;
|
|
|
|
|
|
|
|
make_selected_item_visible (self);
|
|
|
|
|
2010-01-05 22:22:02 +00:00
|
|
|
grub_gfxmenu_box_t selbox = self->selected_item_box;
|
|
|
|
int sel_leftpad = selbox->get_left_pad (selbox);
|
2010-07-02 16:28:54 +00:00
|
|
|
int sel_toppad = selbox->get_top_pad (selbox);
|
|
|
|
int item_top = sel_toppad;
|
2009-11-20 15:02:58 +00:00
|
|
|
int menu_index;
|
|
|
|
int visible_index;
|
2010-07-02 16:28:54 +00:00
|
|
|
struct grub_video_rect oviewport;
|
|
|
|
|
|
|
|
grub_video_get_viewport (&oviewport.x, &oviewport.y,
|
|
|
|
&oviewport.width, &oviewport.height);
|
|
|
|
grub_video_set_viewport (oviewport.x + boxpad,
|
|
|
|
oviewport.y + boxpad,
|
|
|
|
oviewport.width - 2 * boxpad,
|
|
|
|
oviewport.height - 2 * boxpad);
|
2009-11-20 15:02:58 +00:00
|
|
|
|
2013-10-08 14:31:53 +00:00
|
|
|
int cwidth = oviewport.width - 2 * boxpad;
|
2013-07-14 21:10:27 +00:00
|
|
|
if (selbox->get_border_width)
|
|
|
|
cwidth -= selbox->get_border_width (selbox);
|
|
|
|
selbox->set_content_size (selbox, cwidth, item_height);
|
|
|
|
|
2013-08-15 12:13:51 +00:00
|
|
|
int item_left_offset = self->icon_width + icon_text_space;
|
|
|
|
int item_top_offset = (item_height - (ascent + descent)) / 2 + ascent;
|
|
|
|
int selected_item_top_offset = (item_height - (selected_ascent
|
|
|
|
+ selected_descent)) / 2
|
|
|
|
+ selected_ascent;
|
2013-07-14 21:10:27 +00:00
|
|
|
|
|
|
|
grub_video_rect_t svpsave, sviewport;
|
2013-08-15 12:13:51 +00:00
|
|
|
sviewport.x = sel_leftpad + item_left_offset;
|
|
|
|
sviewport.width = cwidth - item_left_offset;
|
2013-07-14 21:10:27 +00:00
|
|
|
sviewport.height = item_height;
|
|
|
|
|
2013-08-15 12:12:11 +00:00
|
|
|
grub_video_color_t item_color;
|
|
|
|
grub_video_color_t selected_item_color;
|
|
|
|
item_color = grub_video_map_rgba_color (self->item_color);
|
|
|
|
selected_item_color = grub_video_map_rgba_color (self->selected_item_color);
|
|
|
|
|
2009-11-20 15:02:58 +00:00
|
|
|
for (visible_index = 0, menu_index = self->first_shown_index;
|
2010-01-05 22:24:16 +00:00
|
|
|
visible_index < num_shown_items && menu_index < self->view->menu->size;
|
2009-11-20 15:02:58 +00:00
|
|
|
visible_index++, menu_index++)
|
|
|
|
{
|
2009-12-26 00:49:57 +00:00
|
|
|
int is_selected = (menu_index == self->view->selected);
|
2011-12-14 11:05:26 +00:00
|
|
|
struct grub_video_bitmap *icon;
|
2013-08-15 12:12:11 +00:00
|
|
|
grub_font_t font;
|
|
|
|
grub_video_color_t color;
|
2013-08-15 12:13:51 +00:00
|
|
|
int top_offset;
|
2009-11-20 15:02:58 +00:00
|
|
|
|
|
|
|
if (is_selected)
|
|
|
|
{
|
2010-07-02 16:28:54 +00:00
|
|
|
selbox->draw (selbox, 0,
|
2009-11-20 15:02:58 +00:00
|
|
|
item_top - sel_toppad);
|
2013-08-15 12:12:11 +00:00
|
|
|
font = self->selected_item_font;
|
|
|
|
color = selected_item_color;
|
2013-08-15 12:13:51 +00:00
|
|
|
top_offset = selected_item_top_offset;
|
2013-08-15 12:12:11 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
font = self->item_font;
|
|
|
|
color = item_color;
|
2013-08-15 12:13:51 +00:00
|
|
|
top_offset = item_top_offset;
|
2009-11-20 15:02:58 +00:00
|
|
|
}
|
|
|
|
|
2011-12-14 11:05:26 +00:00
|
|
|
icon = get_item_icon (self, menu_index);
|
|
|
|
if (icon != 0)
|
2009-11-20 15:02:58 +00:00
|
|
|
grub_video_blit_bitmap (icon, GRUB_VIDEO_BLIT_BLEND,
|
2010-07-02 16:28:54 +00:00
|
|
|
sel_leftpad,
|
2009-11-20 15:02:58 +00:00
|
|
|
item_top + (item_height - self->icon_height) / 2,
|
|
|
|
0, 0, self->icon_width, self->icon_height);
|
|
|
|
|
|
|
|
const char *item_title =
|
2009-12-26 00:49:57 +00:00
|
|
|
grub_menu_get_entry (self->view->menu, menu_index)->title;
|
2013-07-14 21:10:27 +00:00
|
|
|
|
|
|
|
sviewport.y = item_top;
|
|
|
|
grub_gui_set_viewport (&sviewport, &svpsave);
|
2009-11-20 15:02:58 +00:00
|
|
|
grub_font_draw_string (item_title,
|
|
|
|
font,
|
2013-08-15 12:12:11 +00:00
|
|
|
color,
|
2013-07-14 21:10:27 +00:00
|
|
|
0,
|
2013-08-15 12:13:51 +00:00
|
|
|
top_offset);
|
2013-07-14 21:10:27 +00:00
|
|
|
grub_gui_restore_viewport (&svpsave);
|
2009-11-20 15:02:58 +00:00
|
|
|
|
|
|
|
item_top += item_height + item_vspace;
|
|
|
|
}
|
2010-07-02 16:28:54 +00:00
|
|
|
grub_video_set_viewport (oviewport.x,
|
|
|
|
oviewport.y,
|
|
|
|
oviewport.width,
|
|
|
|
oviewport.height);
|
2009-11-20 15:02:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2009-11-24 06:17:18 +00:00
|
|
|
list_paint (void *vself, const grub_video_rect_t *region)
|
2009-11-20 15:02:58 +00:00
|
|
|
{
|
|
|
|
list_impl_t self = vself;
|
2009-11-24 06:17:18 +00:00
|
|
|
grub_video_rect_t vpsave;
|
2009-11-20 15:02:58 +00:00
|
|
|
|
|
|
|
if (! self->visible)
|
|
|
|
return;
|
2009-11-24 06:17:18 +00:00
|
|
|
if (!grub_video_have_common_points (region, &self->bounds))
|
|
|
|
return;
|
2009-11-20 15:02:58 +00:00
|
|
|
|
|
|
|
check_boxes (self);
|
|
|
|
|
2010-01-05 22:22:02 +00:00
|
|
|
if (! self->menu_box || ! self->selected_item_box)
|
|
|
|
return;
|
|
|
|
|
2009-11-20 15:02:58 +00:00
|
|
|
grub_gui_set_viewport (&self->bounds, &vpsave);
|
2010-01-05 22:22:02 +00:00
|
|
|
{
|
|
|
|
grub_gfxmenu_box_t box = self->menu_box;
|
|
|
|
int box_left_pad = box->get_left_pad (box);
|
|
|
|
int box_top_pad = box->get_top_pad (box);
|
|
|
|
int box_right_pad = box->get_right_pad (box);
|
|
|
|
int box_bottom_pad = box->get_bottom_pad (box);
|
|
|
|
grub_video_rect_t vpsave2, content_rect;
|
|
|
|
int num_shown_items = get_num_shown_items (self);
|
|
|
|
int drawing_scrollbar = (self->draw_scrollbar
|
2010-01-05 22:24:16 +00:00
|
|
|
&& (num_shown_items < self->view->menu->size)
|
2010-01-05 22:22:02 +00:00
|
|
|
&& check_scrollbar (self));
|
2013-10-08 14:31:53 +00:00
|
|
|
int scrollbar_width = self->scrollbar_width;
|
2010-01-05 22:22:02 +00:00
|
|
|
|
|
|
|
content_rect.x = box_left_pad;
|
|
|
|
content_rect.y = box_top_pad;
|
|
|
|
content_rect.width = self->bounds.width - box_left_pad - box_right_pad;
|
|
|
|
content_rect.height = self->bounds.height - box_top_pad - box_bottom_pad;
|
|
|
|
|
|
|
|
box->set_content_size (box, content_rect.width, content_rect.height);
|
|
|
|
|
|
|
|
box->draw (box, 0, 0);
|
|
|
|
|
2013-10-08 14:31:53 +00:00
|
|
|
switch (self->scrollbar_slice)
|
|
|
|
{
|
|
|
|
case SCROLLBAR_SLICE_WEST:
|
2013-10-09 12:55:16 +00:00
|
|
|
content_rect.x += self->scrollbar_right_pad;
|
|
|
|
content_rect.width -= self->scrollbar_right_pad;
|
2013-10-08 14:31:53 +00:00
|
|
|
break;
|
|
|
|
case SCROLLBAR_SLICE_CENTER:
|
|
|
|
if (drawing_scrollbar)
|
2013-10-09 12:55:16 +00:00
|
|
|
content_rect.width -= scrollbar_width + self->scrollbar_left_pad
|
|
|
|
+ self->scrollbar_right_pad;
|
2013-10-08 14:31:53 +00:00
|
|
|
break;
|
|
|
|
case SCROLLBAR_SLICE_EAST:
|
2013-10-09 12:55:16 +00:00
|
|
|
content_rect.width -= self->scrollbar_left_pad;
|
2013-10-08 14:31:53 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2010-01-05 22:22:02 +00:00
|
|
|
grub_gui_set_viewport (&content_rect, &vpsave2);
|
2010-07-02 16:28:54 +00:00
|
|
|
draw_menu (self, num_shown_items);
|
2010-01-05 22:22:02 +00:00
|
|
|
grub_gui_restore_viewport (&vpsave2);
|
|
|
|
|
|
|
|
if (drawing_scrollbar)
|
2013-10-08 12:27:56 +00:00
|
|
|
{
|
2013-10-09 12:55:16 +00:00
|
|
|
content_rect.y += self->scrollbar_top_pad;
|
|
|
|
content_rect.height -= self->scrollbar_top_pad
|
|
|
|
+ self->scrollbar_bottom_pad;
|
2013-10-08 14:31:53 +00:00
|
|
|
content_rect.width = scrollbar_width;
|
|
|
|
switch (self->scrollbar_slice)
|
|
|
|
{
|
|
|
|
case SCROLLBAR_SLICE_WEST:
|
|
|
|
if (box_left_pad > scrollbar_width)
|
|
|
|
{
|
|
|
|
content_rect.x = box_left_pad - scrollbar_width;
|
|
|
|
content_rect.width = scrollbar_width;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
content_rect.x = 0;
|
|
|
|
content_rect.width = box_left_pad;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
case SCROLLBAR_SLICE_CENTER:
|
|
|
|
content_rect.x = self->bounds.width - box_right_pad
|
2013-10-09 12:55:16 +00:00
|
|
|
- scrollbar_width - self->scrollbar_right_pad;
|
2013-10-08 14:31:53 +00:00
|
|
|
content_rect.width = scrollbar_width;
|
|
|
|
break;
|
|
|
|
case SCROLLBAR_SLICE_EAST:
|
|
|
|
content_rect.x = self->bounds.width - box_right_pad;
|
|
|
|
content_rect.width = box_right_pad;
|
|
|
|
break;
|
|
|
|
}
|
2013-10-08 12:27:56 +00:00
|
|
|
|
|
|
|
grub_gui_set_viewport (&content_rect, &vpsave2);
|
|
|
|
draw_scrollbar (self,
|
|
|
|
self->first_shown_index, num_shown_items,
|
|
|
|
0, self->view->menu->size,
|
2013-10-08 14:31:53 +00:00
|
|
|
scrollbar_width,
|
2013-10-08 12:27:56 +00:00
|
|
|
content_rect.height);
|
|
|
|
grub_gui_restore_viewport (&vpsave2);
|
|
|
|
}
|
2010-01-05 22:22:02 +00:00
|
|
|
}
|
|
|
|
|
2009-11-20 15:02:58 +00:00
|
|
|
grub_gui_restore_viewport (&vpsave);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
|
|
|
list_set_parent (void *vself, grub_gui_container_t parent)
|
|
|
|
{
|
|
|
|
list_impl_t self = vself;
|
|
|
|
self->parent = parent;
|
|
|
|
}
|
|
|
|
|
|
|
|
static grub_gui_container_t
|
|
|
|
list_get_parent (void *vself)
|
|
|
|
{
|
|
|
|
list_impl_t self = vself;
|
|
|
|
return self->parent;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
|
|
|
list_set_bounds (void *vself, const grub_video_rect_t *bounds)
|
|
|
|
{
|
|
|
|
list_impl_t self = vself;
|
|
|
|
self->bounds = *bounds;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
|
|
|
list_get_bounds (void *vself, grub_video_rect_t *bounds)
|
|
|
|
{
|
|
|
|
list_impl_t self = vself;
|
|
|
|
*bounds = self->bounds;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2009-12-29 16:31:02 +00:00
|
|
|
list_get_minimal_size (void *vself, unsigned *width, unsigned *height)
|
2009-11-20 15:02:58 +00:00
|
|
|
{
|
|
|
|
list_impl_t self = vself;
|
|
|
|
|
|
|
|
if (check_boxes (self))
|
|
|
|
{
|
|
|
|
int boxpad = self->item_padding;
|
|
|
|
int item_vspace = self->item_spacing;
|
|
|
|
int item_height = self->item_height;
|
2010-01-05 20:07:06 +00:00
|
|
|
int num_items = 3;
|
2009-11-20 15:02:58 +00:00
|
|
|
|
|
|
|
grub_gfxmenu_box_t box = self->menu_box;
|
|
|
|
int box_left_pad = box->get_left_pad (box);
|
|
|
|
int box_top_pad = box->get_top_pad (box);
|
|
|
|
int box_right_pad = box->get_right_pad (box);
|
|
|
|
int box_bottom_pad = box->get_bottom_pad (box);
|
2010-01-05 20:07:06 +00:00
|
|
|
unsigned width_s;
|
2010-07-02 16:28:54 +00:00
|
|
|
|
|
|
|
grub_gfxmenu_box_t selbox = self->selected_item_box;
|
2013-07-14 21:02:37 +00:00
|
|
|
int sel_top_pad = selbox->get_top_pad (selbox);
|
|
|
|
int sel_bottom_pad = selbox->get_bottom_pad (selbox);
|
2013-10-08 11:35:00 +00:00
|
|
|
int sel_left_pad = selbox->get_left_pad (selbox);
|
|
|
|
int sel_right_pad = selbox->get_right_pad (selbox);
|
|
|
|
|
2010-01-05 20:07:06 +00:00
|
|
|
*width = grub_font_get_string_width (self->item_font, "Typical OS");
|
|
|
|
width_s = grub_font_get_string_width (self->selected_item_font,
|
|
|
|
"Typical OS");
|
|
|
|
if (*width < width_s)
|
|
|
|
*width = width_s;
|
2009-11-20 15:02:58 +00:00
|
|
|
|
2013-08-15 12:10:45 +00:00
|
|
|
*width += 2 * boxpad + box_left_pad + box_right_pad
|
2013-10-08 14:31:53 +00:00
|
|
|
+ sel_left_pad + sel_right_pad
|
2013-08-15 12:10:45 +00:00
|
|
|
+ self->item_icon_space + self->icon_width;
|
2009-11-20 15:02:58 +00:00
|
|
|
|
2013-10-08 14:31:53 +00:00
|
|
|
switch (self->scrollbar_slice)
|
|
|
|
{
|
|
|
|
case SCROLLBAR_SLICE_WEST:
|
2013-10-09 12:55:16 +00:00
|
|
|
*width += self->scrollbar_right_pad;
|
2013-10-08 14:31:53 +00:00
|
|
|
break;
|
|
|
|
case SCROLLBAR_SLICE_CENTER:
|
2013-10-09 12:55:16 +00:00
|
|
|
*width += self->scrollbar_width + self->scrollbar_left_pad
|
|
|
|
+ self->scrollbar_right_pad;
|
2013-10-08 14:31:53 +00:00
|
|
|
break;
|
|
|
|
case SCROLLBAR_SLICE_EAST:
|
2013-10-09 12:55:16 +00:00
|
|
|
*width += self->scrollbar_left_pad;
|
2013-10-08 14:31:53 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2009-11-20 15:02:58 +00:00
|
|
|
/* Set the menu box height to fit the items. */
|
|
|
|
*height = (item_height * num_items
|
|
|
|
+ item_vspace * (num_items - 1)
|
|
|
|
+ 2 * boxpad
|
2013-07-14 21:02:37 +00:00
|
|
|
+ box_top_pad + box_bottom_pad
|
|
|
|
+ sel_top_pad + sel_bottom_pad);
|
2009-11-20 15:02:58 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
*width = 0;
|
|
|
|
*height = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static grub_err_t
|
|
|
|
list_set_property (void *vself, const char *name, const char *value)
|
|
|
|
{
|
|
|
|
list_impl_t self = vself;
|
|
|
|
if (grub_strcmp (name, "item_font") == 0)
|
|
|
|
{
|
|
|
|
self->item_font = grub_font_get (value);
|
2013-08-15 12:12:11 +00:00
|
|
|
if (self->selected_item_font_inherit)
|
|
|
|
self->selected_item_font = self->item_font;
|
2009-11-20 15:02:58 +00:00
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "selected_item_font") == 0)
|
|
|
|
{
|
|
|
|
if (! value || grub_strcmp (value, "inherit") == 0)
|
2013-08-15 12:12:11 +00:00
|
|
|
{
|
|
|
|
self->selected_item_font = self->item_font;
|
|
|
|
self->selected_item_font_inherit = 1;
|
|
|
|
}
|
2009-11-20 15:02:58 +00:00
|
|
|
else
|
2013-08-15 12:12:11 +00:00
|
|
|
{
|
|
|
|
self->selected_item_font = grub_font_get (value);
|
|
|
|
self->selected_item_font_inherit = 0;
|
|
|
|
}
|
2009-11-20 15:02:58 +00:00
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "item_color") == 0)
|
|
|
|
{
|
2013-08-15 12:12:11 +00:00
|
|
|
grub_video_rgba_color_t color;
|
|
|
|
if (grub_video_parse_color (value, &color) == GRUB_ERR_NONE)
|
|
|
|
{
|
|
|
|
self->item_color = color;
|
|
|
|
if (self->selected_item_color_inherit)
|
|
|
|
self->selected_item_color = self->item_color;
|
|
|
|
}
|
2009-11-20 15:02:58 +00:00
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "selected_item_color") == 0)
|
|
|
|
{
|
|
|
|
if (! value || grub_strcmp (value, "inherit") == 0)
|
|
|
|
{
|
2013-08-15 12:12:11 +00:00
|
|
|
self->selected_item_color = self->item_color;
|
|
|
|
self->selected_item_color_inherit = 1;
|
2009-11-20 15:02:58 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2013-08-15 12:12:11 +00:00
|
|
|
grub_video_rgba_color_t color;
|
|
|
|
if (grub_video_parse_color (value, &color)
|
2009-11-20 15:02:58 +00:00
|
|
|
== GRUB_ERR_NONE)
|
2013-08-15 12:12:11 +00:00
|
|
|
{
|
|
|
|
self->selected_item_color = color;
|
|
|
|
self->selected_item_color_inherit = 0;
|
|
|
|
}
|
2009-11-20 15:02:58 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "icon_width") == 0)
|
|
|
|
{
|
|
|
|
self->icon_width = grub_strtol (value, 0, 10);
|
|
|
|
grub_gfxmenu_icon_manager_set_icon_size (self->icon_manager,
|
|
|
|
self->icon_width,
|
|
|
|
self->icon_height);
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "icon_height") == 0)
|
|
|
|
{
|
|
|
|
self->icon_height = grub_strtol (value, 0, 10);
|
|
|
|
grub_gfxmenu_icon_manager_set_icon_size (self->icon_manager,
|
|
|
|
self->icon_width,
|
|
|
|
self->icon_height);
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "item_height") == 0)
|
|
|
|
{
|
|
|
|
self->item_height = grub_strtol (value, 0, 10);
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "item_padding") == 0)
|
|
|
|
{
|
|
|
|
self->item_padding = grub_strtol (value, 0, 10);
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "item_icon_space") == 0)
|
|
|
|
{
|
|
|
|
self->item_icon_space = grub_strtol (value, 0, 10);
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "item_spacing") == 0)
|
|
|
|
{
|
|
|
|
self->item_spacing = grub_strtol (value, 0, 10);
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "visible") == 0)
|
|
|
|
{
|
|
|
|
self->visible = grub_strcmp (value, "false") != 0;
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "menu_pixmap_style") == 0)
|
|
|
|
{
|
|
|
|
self->need_to_recreate_boxes = 1;
|
|
|
|
grub_free (self->menu_box_pattern);
|
|
|
|
self->menu_box_pattern = value ? grub_strdup (value) : 0;
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "selected_item_pixmap_style") == 0)
|
|
|
|
{
|
|
|
|
self->need_to_recreate_boxes = 1;
|
|
|
|
grub_free (self->selected_item_box_pattern);
|
|
|
|
self->selected_item_box_pattern = value ? grub_strdup (value) : 0;
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "scrollbar_frame") == 0)
|
|
|
|
{
|
|
|
|
self->need_to_recreate_scrollbar = 1;
|
|
|
|
grub_free (self->scrollbar_frame_pattern);
|
|
|
|
self->scrollbar_frame_pattern = value ? grub_strdup (value) : 0;
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "scrollbar_thumb") == 0)
|
|
|
|
{
|
|
|
|
self->need_to_recreate_scrollbar = 1;
|
|
|
|
grub_free (self->scrollbar_thumb_pattern);
|
|
|
|
self->scrollbar_thumb_pattern = value ? grub_strdup (value) : 0;
|
|
|
|
}
|
2013-10-10 10:37:19 +00:00
|
|
|
else if (grub_strcmp (name, "scrollbar_thumb_overlay") == 0)
|
|
|
|
{
|
|
|
|
self->scrollbar_thumb_overlay = grub_strcmp (value, "true") == 0;
|
|
|
|
}
|
2009-11-20 15:02:58 +00:00
|
|
|
else if (grub_strcmp (name, "scrollbar_width") == 0)
|
|
|
|
{
|
|
|
|
self->scrollbar_width = grub_strtol (value, 0, 10);
|
|
|
|
}
|
2013-10-08 14:31:53 +00:00
|
|
|
else if (grub_strcmp (name, "scrollbar_slice") == 0)
|
|
|
|
{
|
|
|
|
if (grub_strcmp (value, "west") == 0)
|
|
|
|
self->scrollbar_slice = SCROLLBAR_SLICE_WEST;
|
|
|
|
else if (grub_strcmp (value, "center") == 0)
|
|
|
|
self->scrollbar_slice = SCROLLBAR_SLICE_CENTER;
|
|
|
|
else if (grub_strcmp (value, "east") == 0)
|
|
|
|
self->scrollbar_slice = SCROLLBAR_SLICE_EAST;
|
|
|
|
}
|
2013-10-09 12:55:16 +00:00
|
|
|
else if (grub_strcmp (name, "scrollbar_left_pad") == 0)
|
|
|
|
{
|
|
|
|
self->scrollbar_left_pad = grub_strtol (value, 0, 10);
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "scrollbar_right_pad") == 0)
|
|
|
|
{
|
|
|
|
self->scrollbar_right_pad = grub_strtol (value, 0, 10);
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "scrollbar_top_pad") == 0)
|
|
|
|
{
|
|
|
|
self->scrollbar_top_pad = grub_strtol (value, 0, 10);
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "scrollbar_bottom_pad") == 0)
|
|
|
|
{
|
|
|
|
self->scrollbar_bottom_pad = grub_strtol (value, 0, 10);
|
|
|
|
}
|
2009-11-20 15:02:58 +00:00
|
|
|
else if (grub_strcmp (name, "scrollbar") == 0)
|
|
|
|
{
|
|
|
|
self->draw_scrollbar = grub_strcmp (value, "false") != 0;
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "theme_dir") == 0)
|
|
|
|
{
|
|
|
|
self->need_to_recreate_boxes = 1;
|
|
|
|
grub_free (self->theme_dir);
|
|
|
|
self->theme_dir = value ? grub_strdup (value) : 0;
|
|
|
|
}
|
|
|
|
else if (grub_strcmp (name, "id") == 0)
|
|
|
|
{
|
|
|
|
grub_free (self->id);
|
|
|
|
if (value)
|
|
|
|
self->id = grub_strdup (value);
|
|
|
|
else
|
|
|
|
self->id = 0;
|
|
|
|
}
|
|
|
|
return grub_errno;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Set necessary information that the gfxmenu view provides. */
|
|
|
|
static void
|
|
|
|
list_set_view_info (void *vself,
|
2009-12-26 00:49:57 +00:00
|
|
|
grub_gfxmenu_view_t view)
|
2009-11-20 15:02:58 +00:00
|
|
|
{
|
|
|
|
list_impl_t self = vself;
|
2009-12-26 00:49:57 +00:00
|
|
|
grub_gfxmenu_icon_manager_set_theme_path (self->icon_manager,
|
|
|
|
view->theme_path);
|
|
|
|
self->view = view;
|
2009-11-20 15:02:58 +00:00
|
|
|
}
|
|
|
|
|
2013-04-29 11:40:11 +00:00
|
|
|
/* Refresh list variables */
|
|
|
|
static void
|
|
|
|
list_refresh_info (void *vself,
|
|
|
|
grub_gfxmenu_view_t view)
|
|
|
|
{
|
|
|
|
list_impl_t self = vself;
|
|
|
|
if (view->nested)
|
|
|
|
self->first_shown_index = 0;
|
|
|
|
}
|
|
|
|
|
2009-12-29 16:31:02 +00:00
|
|
|
static struct grub_gui_component_ops list_comp_ops =
|
|
|
|
{
|
|
|
|
.destroy = list_destroy,
|
|
|
|
.get_id = list_get_id,
|
|
|
|
.is_instance = list_is_instance,
|
|
|
|
.paint = list_paint,
|
|
|
|
.set_parent = list_set_parent,
|
|
|
|
.get_parent = list_get_parent,
|
|
|
|
.set_bounds = list_set_bounds,
|
|
|
|
.get_bounds = list_get_bounds,
|
|
|
|
.get_minimal_size = list_get_minimal_size,
|
|
|
|
.set_property = list_set_property
|
|
|
|
};
|
|
|
|
|
2009-11-20 15:02:58 +00:00
|
|
|
static struct grub_gui_list_ops list_ops =
|
|
|
|
{
|
2013-04-29 11:40:11 +00:00
|
|
|
.set_view_info = list_set_view_info,
|
|
|
|
.refresh_list = list_refresh_info
|
2009-11-20 15:02:58 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
grub_gui_component_t
|
|
|
|
grub_gui_list_new (void)
|
|
|
|
{
|
|
|
|
list_impl_t self;
|
|
|
|
grub_font_t default_font;
|
2010-12-10 16:45:58 +00:00
|
|
|
grub_video_rgba_color_t default_fg_color;
|
2009-11-20 15:02:58 +00:00
|
|
|
|
2009-12-29 16:31:02 +00:00
|
|
|
self = grub_zalloc (sizeof (*self));
|
2009-11-20 15:02:58 +00:00
|
|
|
if (! self)
|
|
|
|
return 0;
|
|
|
|
|
2009-12-29 16:31:02 +00:00
|
|
|
self->list.ops = &list_ops;
|
|
|
|
self->list.component.ops = &list_comp_ops;
|
|
|
|
|
2009-11-20 15:02:58 +00:00
|
|
|
self->visible = 1;
|
|
|
|
|
2010-02-16 12:23:08 +00:00
|
|
|
default_font = grub_font_get ("Unknown Regular 16");
|
2010-12-10 16:45:58 +00:00
|
|
|
default_fg_color = grub_video_rgba_color_rgb (0, 0, 0);
|
2009-11-20 15:02:58 +00:00
|
|
|
|
|
|
|
self->icon_width = 32;
|
|
|
|
self->icon_height = 32;
|
|
|
|
self->item_height = 42;
|
|
|
|
self->item_padding = 14;
|
|
|
|
self->item_icon_space = 4;
|
|
|
|
self->item_spacing = 16;
|
|
|
|
self->item_font = default_font;
|
2013-08-15 12:12:11 +00:00
|
|
|
self->selected_item_font_inherit = 1; /* Default to using the item_font. */
|
|
|
|
self->selected_item_font = default_font;
|
2009-11-20 15:02:58 +00:00
|
|
|
self->item_color = default_fg_color;
|
2013-08-15 12:12:11 +00:00
|
|
|
self->selected_item_color_inherit = 1; /* Default to using the item_color. */
|
2009-11-20 15:02:58 +00:00
|
|
|
self->selected_item_color = default_fg_color;
|
|
|
|
|
|
|
|
self->draw_scrollbar = 1;
|
|
|
|
self->need_to_recreate_scrollbar = 1;
|
|
|
|
self->scrollbar_frame = 0;
|
|
|
|
self->scrollbar_thumb = 0;
|
|
|
|
self->scrollbar_frame_pattern = 0;
|
|
|
|
self->scrollbar_thumb_pattern = 0;
|
2013-10-10 10:37:19 +00:00
|
|
|
self->scrollbar_thumb_overlay = 0;
|
2009-11-20 15:02:58 +00:00
|
|
|
self->scrollbar_width = 16;
|
2013-10-08 14:31:53 +00:00
|
|
|
self->scrollbar_slice = SCROLLBAR_SLICE_EAST;
|
2013-10-09 12:55:16 +00:00
|
|
|
self->scrollbar_left_pad = 2;
|
|
|
|
self->scrollbar_right_pad = 0;
|
|
|
|
self->scrollbar_top_pad = 0;
|
|
|
|
self->scrollbar_bottom_pad = 0;
|
2009-11-20 15:02:58 +00:00
|
|
|
|
|
|
|
self->first_shown_index = 0;
|
|
|
|
|
|
|
|
self->need_to_recreate_boxes = 0;
|
|
|
|
self->theme_dir = 0;
|
|
|
|
self->menu_box_pattern = 0;
|
|
|
|
self->selected_item_box_pattern = 0;
|
|
|
|
self->menu_box = grub_gfxmenu_create_box (0, 0);
|
|
|
|
self->selected_item_box = grub_gfxmenu_create_box (0, 0);
|
|
|
|
|
|
|
|
self->icon_manager = grub_gfxmenu_icon_manager_new ();
|
|
|
|
if (! self->icon_manager)
|
|
|
|
{
|
2009-12-29 16:31:02 +00:00
|
|
|
self->list.component.ops->destroy (self);
|
2009-11-20 15:02:58 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
grub_gfxmenu_icon_manager_set_icon_size (self->icon_manager,
|
|
|
|
self->icon_width,
|
|
|
|
self->icon_height);
|
|
|
|
return (grub_gui_component_t) self;
|
|
|
|
}
|