15.1.44 timeout_style --------------------- This variable may be set to 'menu', 'countdown', or 'hidden' to control the way in which the timeout (⇒timeout) interacts with displaying the menu. See the documentation of 'GRUB_TIMEOUT_STYLE' (⇒Simple configuration) for details.