[bug #44973] Theme option "max_items_shown" documented but not supported?

[Sebastian Pipping]

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/