- /// perform pending metrics updates.
- /** \c Update::FitCursor means first to do a FitCursor, and to
+ ///
+ void setFullScreen(bool full_screen) { full_screen_ = full_screen; }
+
+ /// right margin
+ int rightMargin() const;
+ /// left margin
+ int leftMargin() const;
+ /// top margin
+ int topMargin() const;
+ /// bottom margin
+ int bottomMargin() const;
+
+ /// return the on-screen size of this length
+ /*
+ * This is a wrapper around Length::inPixels that uses the
+ * bufferview width as width and the EM value of the default
+ * document font.
+ */
+ int inPixels(Length const & len) const;
+
+ /** Return the number of pixels equivalent to \c pix pixels at
+ * 100dpi and 100% zoom.
+ */
+ int zoomedPixels(int pix) const;
+
+ /// \return true if the BufferView is at the top of the document.
+ bool isTopScreen() const;
+
+ /// \return true if the BufferView is at the bottom of the document.
+ bool isBottomScreen() const;
+
+ /// Add \p flags to current update flags and trigger an update.
+ /* If this method is invoked several times before the update
+ * actually takes place, the effect is cumulative.
+ * \c Update::FitCursor means first to do a FitCursor, and to