#ifndef BASE_WORKAREA_H
#define BASE_WORKAREA_H
-#include "frontends/key_state.h"
+#include "frontends/KeyModifier.h"
+#include "frontends/Delegates.h"
#include "support/Timeout.h"
#include "support/docstring.h"
/// Process Key pressed event.
/// This needs to be public because it is accessed externally by GuiView.
- void processKeySym(KeySymbol const & key, key_modifier::state state);
+ void processKeySym(KeySymbol const & key, KeyModifier mod);
/// close this work area.
/// Slot for Buffer::closing signal.
/// 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 dispatch(FuncRequest const & cmd0, KeyModifier = NoModifier);
///
void resizeBufferView();