#define BASE_WORKAREA_H
#include "frontends/key_state.h"
-#include "frontends/LyXKeySym.h"
+#include "frontends/KeySymbol.h"
#include "frontends/Timeout.h"
#include "support/docstring.h"
*/
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();
///
/// Process Key pressed event.
/// This needs to be public because it is accessed externally by GuiView.
- void processKeySym(LyXKeySymPtr key, key_modifier::state state);
+ 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);
+ void dispatch(FuncRequest const & cmd0,
+ key_modifier::state = key_modifier::none);
///
void resizeBufferView();
///