- ///
- 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_;