alignment.right_padding = MARGIN_DEFAULT;
else
alignment.right_padding = MARGIN_DOUBLE;
- if (movies > 100) {
- Banner.show_information (this, null, _("More results available - refine search to reduce the dataset"));
- }
}
private void on_movie_activated (Movie movie) {