#include "ui_WorkAreaUi.h"
#include "frontends/WorkArea.h"
-#include "frontends/KeySymbol.h"
#include <QAbstractScrollArea>
#include <QTabBar>
class Buffer;
class BufferView;
class FuncRequest;
+class KeySymbol;
namespace frontend {
Q_OBJECT
// non-null
GuiWorkArea * const wa_;
- void dispatch(FuncRequest f) const;
+ void dispatch(FuncRequest const & f) const;
private Q_SLOTS:
void updateDisplay();