#define WORKAREA_H
#include "frontends/WorkArea.h"
-#include "frontends/qt4/GuiCompleter.h"
#include "DocIterator.h"
#include "FuncRequest.h"
namespace frontend {
+class GuiCompleter;
class GuiView;
class GuiWorkArea;
void resizeBufferView();
///
- GuiCompleter & completer() { return completer_; }
+ GuiCompleter & completer() { return *completer_; }
Q_SIGNALS:
///
/// close this work area.
/// Slot for Buffer::closing signal.
void close();
+ /// Slot to restore proper scrollbar behaviour.
+ void fixVerticalScrollBar();
private:
friend class GuiCompleter;
int preedit_lines_;
///
- GuiCompleter completer_;
+ GuiCompleter * completer_;
}; // GuiWorkArea
/// close current tab, or the one given by \c clicked_tab_
void closeCurrentTab();
///
- void updateTabText(GuiWorkArea *);
+ void updateTabTexts();
private Q_SLOTS:
///
Q_OBJECT
public:
///
- DragTabBar(QWidget * parent=0);
+ DragTabBar(QWidget * parent = 0);
#if QT_VERSION < 0x040300
///