- BufferView & bufferView();
- ///
- BufferView const & bufferView() const;
-
- /// \return true if has the keyboard input focus.
- virtual bool hasFocus() const = 0;
-
- /// return the width of the work area in pixels
- virtual int width() const = 0;
-
- /// return the height of the work area in pixels
- virtual int height() const = 0;
-
- /**
- * Update the scrollbar.
- * @param height the total document height in pixels
- * @param pos the current position in the document, in pixels
- * @param line_height the line-scroll amount, in pixels
- */
- virtual void setScrollbarParams(int height, int pos, int line_height) = 0;
-
- ///
- virtual void scheduleRedraw() = 0;
-
- /// redraw the screen, without using existing pixmap
- virtual void redraw();
- ///
- void stopBlinkingCursor();
- void startBlinkingCursor();
-
- /// Process Key pressed event.
- /// This needs to be public because it is accessed externally by GuiView.
- void processKeySym(KeySymbolPtr key, key_modifier::state state);
-protected:
- /// cause the display of the given area of the work area
- virtual void expose(int x, int y, int w, int h) = 0;
- ///
- void dispatch(FuncRequest const & cmd0,
- key_modifier::state = key_modifier::none);
- ///
- void resizeBufferView();
- ///
- void scrollBufferView(int position);
- /// hide the visible cursor, if it is visible
- void hideCursor();
- /// show the cursor if it is not visible
- void showCursor();
- /// toggle the cursor's visibility
- void toggleCursor();
- /// hide the cursor
- virtual void removeCursor() = 0;
- /// paint the cursor and store the background
- virtual void showCursor(int x, int y, int h, CursorShape shape) = 0;
- ///
- void updateScrollbar();
-
- ///
- BufferView * buffer_view_;
-
- ///
- LyXView & lyx_view_;
- ///
- bool greyed_out_;