/// update the internal \c ViewMetricsInfo.
void updateMetrics();
+ // this is the "nodraw" drawing stage: only set the positions of the
+ // insets in metrics cache.
+ void updatePosCache();
+
///
TextMetrics const & textMetrics(Text const * t) const;
TextMetrics & textMetrics(Text const * t);
/// get the position and height of the cursor
void cursorPosAndHeight(Point & p, int & h) const;
-
///
void draw(frontend::Painter & pain);