+ void init();
+ ///
+ void setBuffer(Buffer &);
+ ///
+ void setGuiView(GuiView &);
+ ///
+ void setFullScreen(bool full_screen);
+ /// is LyXView in fullscreen mode?
+ bool isFullScreen();
+ ///
+ void scheduleRedraw() { schedule_redraw_ = true; }
+ ///
+ BufferView & bufferView();
+ ///
+ BufferView const & bufferView() const;
+ ///
+ void redraw(bool update_metrics);
+ ///
+ void stopBlinkingCursor();
+ ///
+ void startBlinkingCursor();
+ /// Process Key pressed event.
+ /// This needs to be public because it is accessed externally by GuiView.
+ void processKeySym(KeySymbol const & key, KeyModifier mod);
+ ///
+ void resizeBufferView();