- if(slider)
- {
- unsigned scroll = max(text.get_n_lines(), visible_rows)-visible_rows;
- slider->set_range(0, scroll);
- slider->set_value(scroll-first_row);
- }
+ unsigned scroll = max(text.get_n_lines(), visible_rows)-visible_rows;
+ slider->set_range(0, scroll);
+ slider->set_value(scroll-first_row);