if (!lyxrc.show_banner)
return;
- string const file = LibFileSearch("images", "banner", "xpm");
+ string const file = LibFileSearch("images", "banner", "ppm");
if (file.empty())
return;
text->first_y = newtop;
return true;
}
+
return false;
}
// Is a change necessary?
int const newtop = topCursorVisible(text->cursor, text->first_y);
bool const result = (newtop != text->first_y);
- if (result)
+ if (result) {
draw(text, bv, newtop);
+ }
+
return result;
}