- /// Estimated average par height for scrollbar.
- int wh_;
- ///
- void menuInsertLyXFile(std::string const & filen);
-
- /// this is used to handle XSelection events in the right manner.
- struct {
- CursorSlice cursor;
- CursorSlice anchor;
- bool set;
- } xsel_cache_;
- ///
- Cursor cursor_;
- ///
- bool multiparsel_cache_;
- ///
- pit_type anchor_ref_;
- ///
- int offset_ref_;
- ///
- void updateOffsetRef();
- ///
- bool need_centering_;
-
- /// keyboard mapping object.
- boost::scoped_ptr<Intl> const intl_;
-
- /// last visited inset (kept to send setMouseHover(false) )
- Inset * last_inset_;
-
- /// A map from a Text to the associated text metrics
- typedef std::map<Text const *, TextMetrics> TextMetricsCache;
- mutable TextMetricsCache text_metrics_;