URL: <http://savannah.gnu.org/bugs/?44973>
Summary: Theme option "max_items_shown" documented but not supported? Project: GNU GRUB Submitted by: hartwork Submitted on: Fri 01 May 2015 02:53:31 AM GMT Category: None Severity: Major Priority: 5 - Normal Item Group: None Status: None Privacy: Public Assigned to: None Originator Name: Originator Email: Open/Closed: Open Discussion Lock: Any Release: Release: Git master Reproducibility: None Planned Release: None _______________________________________________________ Details: Hi! In the official GRUB documentation at https://www.gnu.org/software/grub/manual/html_node/Theme-file-format.html an option "max_items_shown" is mentioned that does not seem to be supported. I would expected it in http://git.savannah.gnu.org/cgit/grub.git/tree/grub-core/gfxmenu/gui_list.c and also grepping the whole source tree for "max_items_shown" does not yield any results. If that option was removed, please update the docs. Thanks and best, Sebastian _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?44973> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-grub mailing list Bug-grub@gnu.org https://lists.gnu.org/mailman/listinfo/bug-grub