Restore and enhance pager functionality
This commit is contained in:
parent
6fcebedeed
commit
3c69fb81e1
3 changed files with 316 additions and 151 deletions
|
@ -113,7 +113,6 @@ void read_terminal_list (void);
|
|||
void grub_set_more (int onoff);
|
||||
|
||||
int grub_normal_get_char_counter (void);
|
||||
void grub_install_newline_hook (void);
|
||||
|
||||
void grub_xputs_normal (const char *str);
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue