#include "metricsinfo.h"
#include "frontends/LyXKeySym.h"
-#include "frontends/Timeout.h"
#include "support/types.h"
///
void selectionLost();
///
- void cursorToggle();
- ///
bool available() const;
/// get the change at the cursor position
Change const getCurrentChange();
/// Estimated average par height for scrollbar
int wh_;
///
- Timeout cursor_timeout;
- ///
class Position {
public:
/// Filename