Fix few pager bugs

This commit is contained in:
Vladimir 'phcoder' Serbinenko 2010-03-23 18:06:49 +01:00
parent 3c69fb81e1
commit 5c56cac95f
3 changed files with 25 additions and 16 deletions

View file

@ -113,6 +113,7 @@ void read_terminal_list (void);
void grub_set_more (int onoff);
int grub_normal_get_char_counter (void);
void grub_normal_reset_more (void);
void grub_xputs_normal (const char *str);