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; } if (self->scrollbar_frame == 0 || self->scrollbar_thumb == 0) return 0; /* Sanity checks. */ grub_gfxmenu_box_t frame = self->scrollbar_frame; grub_gfxmenu_box_t thumb = self->scrollbar_thumb; grub_gfxmenu_box_t menu = self->menu_box; int min_width = frame->get_left_pad (frame) + frame->get_right_pad (frame); int min_height = frame->get_top_pad (frame) + frame->get_bottom_pad (frame) + self->scrollbar_top_pad + self->scrollbar_bottom_pad + menu->get_top_pad (menu) + menu->get_bottom_pad (menu); if (!self->scrollbar_thumb_overlay) { min_width += thumb->get_left_pad (thumb) + thumb->get_right_pad (thumb); min_height += thumb->get_top_pad (thumb) + thumb->get_bottom_pad (thumb); } if (min_width <= self->scrollbar_width && min_height <= (int) self->bounds.height) return 1; /* Unprintable dimenstions. */ self->draw_scrollbar = 0; return 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 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); }
/* Set the specified property NAME on the view to the given string VALUE. The caller is responsible for the lifetimes of NAME and VALUE. */ static grub_err_t theme_set_string (grub_gfxmenu_view_t view, const char *name, const char *value, const char *theme_dir, const char *filename, int line_num, int col_num) { if (! grub_strcmp ("title-font", name)) view->title_font = grub_font_get (value); else if (! grub_strcmp ("message-font", name)) view->message_font = grub_font_get (value); else if (! grub_strcmp ("terminal-font", name)) { grub_free (view->terminal_font_name); view->terminal_font_name = grub_strdup (value); if (! view->terminal_font_name) return grub_errno; } else if (! grub_strcmp ("title-color", name)) grub_video_parse_color (value, &view->title_color); else if (! grub_strcmp ("message-color", name)) grub_video_parse_color (value, &view->message_color); else if (! grub_strcmp ("message-bg-color", name)) grub_video_parse_color (value, &view->message_bg_color); else if (! grub_strcmp ("desktop-image", name)) { struct grub_video_bitmap *raw_bitmap; char *path; path = grub_resolve_relative_path (theme_dir, value); if (! path) return grub_errno; if (grub_video_bitmap_load (&raw_bitmap, path) != GRUB_ERR_NONE) { grub_free (path); return grub_errno; } grub_free(path); grub_video_bitmap_destroy (view->raw_desktop_image); view->raw_desktop_image = raw_bitmap; } else if (! grub_strcmp ("desktop-image-scale-method", name)) { if (! value || ! grub_strcmp ("stretch", value)) view->desktop_image_scale_method = GRUB_VIDEO_BITMAP_SELECTION_METHOD_STRETCH; else if (! grub_strcmp ("crop", value)) view->desktop_image_scale_method = GRUB_VIDEO_BITMAP_SELECTION_METHOD_CROP; else if (! grub_strcmp ("padding", value)) view->desktop_image_scale_method = GRUB_VIDEO_BITMAP_SELECTION_METHOD_PADDING; else if (! grub_strcmp ("fitwidth", value)) view->desktop_image_scale_method = GRUB_VIDEO_BITMAP_SELECTION_METHOD_FITWIDTH; else if (! grub_strcmp ("fitheight", value)) view->desktop_image_scale_method = GRUB_VIDEO_BITMAP_SELECTION_METHOD_FITHEIGHT; else return grub_error (GRUB_ERR_BAD_ARGUMENT, "Unsupported scale method: %s", value); } else if (! grub_strcmp ("desktop-image-h-align", name)) { if (! grub_strcmp ("left", value)) view->desktop_image_h_align = GRUB_VIDEO_BITMAP_H_ALIGN_LEFT; else if (! grub_strcmp ("center", value)) view->desktop_image_h_align = GRUB_VIDEO_BITMAP_H_ALIGN_CENTER; else if (! grub_strcmp ("right", value)) view->desktop_image_h_align = GRUB_VIDEO_BITMAP_H_ALIGN_RIGHT; else return grub_error (GRUB_ERR_BAD_ARGUMENT, "Unsupported horizontal align method: %s", value); } else if (! grub_strcmp ("desktop-image-v-align", name)) { if (! grub_strcmp ("top", value)) view->desktop_image_v_align = GRUB_VIDEO_BITMAP_V_ALIGN_TOP; else if (! grub_strcmp ("center", value)) view->desktop_image_v_align = GRUB_VIDEO_BITMAP_V_ALIGN_CENTER; else if (! grub_strcmp ("bottom", value)) view->desktop_image_v_align = GRUB_VIDEO_BITMAP_V_ALIGN_BOTTOM; else return grub_error (GRUB_ERR_BAD_ARGUMENT, "Unsupported vertical align method: %s", value); } else if (! grub_strcmp ("desktop-color", name)) grub_video_parse_color (value, &view->desktop_color); else if (! grub_strcmp ("terminal-box", name)) { grub_err_t err; err = grub_gui_recreate_box (&view->terminal_box, value, theme_dir); if (err != GRUB_ERR_NONE) return err; } else if (! grub_strcmp ("terminal-border", name)) { view->terminal_border = grub_strtoul (value, 0, 10); if (grub_errno) return grub_errno; } else if (! grub_strcmp ("terminal-left", name)) { unsigned int tmp; int err = theme_get_unsigned_int_from_proportional (value, view->screen.width, &tmp); if (err != GRUB_ERR_NONE) return err; view->terminal_rect.x = tmp; } else if (! grub_strcmp ("terminal-top", name)) { unsigned int tmp; int err = theme_get_unsigned_int_from_proportional (value, view->screen.height, &tmp); if (err != GRUB_ERR_NONE) return err; view->terminal_rect.y = tmp; } else if (! grub_strcmp ("terminal-width", name)) { unsigned int tmp; int err = theme_get_unsigned_int_from_proportional (value, view->screen.width, &tmp); if (err != GRUB_ERR_NONE) return err; view->terminal_rect.width = tmp; } else if (! grub_strcmp ("terminal-height", name)) { unsigned int tmp; int err = theme_get_unsigned_int_from_proportional (value, view->screen.height, &tmp); if (err != GRUB_ERR_NONE) return err; view->terminal_rect.height = tmp; } else if (! grub_strcmp ("title-text", name)) { grub_free (view->title_text); view->title_text = grub_strdup (value); if (! view->title_text) return grub_errno; } else { return grub_error (GRUB_ERR_BAD_ARGUMENT, "%s:%d:%d unknown property `%s'", filename, line_num, col_num, name); } return grub_errno; }