#define WORKAREA_H
#include "frontends/WorkArea.h"
+#include "frontends/qt4/GuiCompleter.h"
+#include "DocIterator.h"
#include "FuncRequest.h"
+#include "qt_helpers.h"
+#include "support/docstring.h"
#include "support/Timeout.h"
#include <QAbstractScrollArea>
namespace frontend {
class GuiView;
-
-/// types of cursor in work area
-enum CursorShape {
- /// normal I-beam
- BAR_SHAPE,
- /// L-shape for locked insets of a different language
- L_SHAPE,
- /// reverse L-shape for RTL text
- REVERSED_L_SHAPE
-};
+class GuiWorkArea;
/// for emulating triple click
class DoubleClick {
///
~GuiWorkArea();
+ ///
+ void setFullScreen(bool full_screen);
+ /// is LyXView in fullscreen mode?
+ bool isFullScreen();
///
void scheduleRedraw() { schedule_redraw_ = true; }
///
///
void resizeBufferView();
+ ///
+ GuiCompleter & completer() { return completer_; }
+
Q_SIGNALS:
///
void titleChanged(GuiWorkArea *);
void doubleClickTimeout();
/// toggle the cursor's visibility
void toggleCursor();
- /// events to be triggered by general_timer_ should go here
- void handleRegularEvents();
/// close this work area.
/// Slot for Buffer::closing signal.
void close();
private:
+ friend class GuiCompleter;
+
/// update the passed area.
void update(int x, int y, int w, int h);
///
void updateScreen();
/// paint the cursor and store the background
- virtual void showCursor(int x, int y, int h, CursorShape shape);
+ virtual void showCursor(int x, int y, int h,
+ bool l_shape, bool rtl, bool completable);
/// hide the cursor
virtual void removeCursor();
///
QTimer cursor_timeout_;
- /// this timer is used for any regular events one wants to
- /// perform. at present it is used to check if forked processes
- /// are done.
- QTimer general_timer_;
///
SyntheticMouseEvent synthetic_mouse_event_;
///
bool schedule_redraw_;
///
int preedit_lines_;
+
+ ///
+ GuiCompleter completer_;
}; // GuiWorkArea
public:
TabWorkArea(QWidget * parent = 0);
+ ///
+ void setFullScreen(bool full_screen);
void showBar(bool show);
void closeAll();
bool setCurrentWorkArea(GuiWorkArea *);
///
void on_currentTabChanged(int index);
///
+ void closeCurrentBuffer();
+ ///
void closeCurrentTab();
///
void updateTabText(GuiWorkArea *);