console_height
extern int32 console_height(void);
int32 height = console_height();
if (fY >= console_height())
console_set_cursor(0, console_height() - kHelpLines);
console_set_cursor(0, console_height() - kHelpLines);
print_centered(console_height() - kHelpLines + row, buffer);
print_right(console_height() - 1, get_haiku_revision());
return console_height() - kFirstLine - 1 - kHelpLines;