class BufferView {
public:
///
- BufferView(LyXView *owner, int , int , int, int);
+ BufferView(LyXView * owner, int , int , int, int);
///
~BufferView();
///
///
LyXView * owner() const { return owner_; }
///
- LyXScreen * getScreen()
- {
- fl_set_timer(timer_cursor, 0.4);
- return screen;
- }
+ LyXScreen * getScreen() {
+ fl_set_timer(timer_cursor, 0.4);
+ return screen;
+ }
///
void savePosition();
///
///
long current_scrollbar_value;
///
- int work_area_width;
- ///
bool lyx_focus;
///
bool work_area_focus;