+ /// return the internal \c ViewMetricsInfo.
+ /// This is used specifically by the \c Workrea.
+ /// \sa WorkArea
+ /// \sa ViewMetricsInfo
+ ViewMetricsInfo const & viewMetricsInfo();
+ /// update the internal \c ViewMetricsInfo.
+ /// \param singlepar indicates wether
+ void updateMetrics(bool singlepar = false);
+
+ ///
+ TextMetrics const & textMetrics(Text const * t) const;
+ TextMetrics & textMetrics(Text const * t);
+ ///
+ ParagraphMetrics const & parMetrics(Text const *, pit_type) const;
+
+ ///
+ CoordCache & coordCache();
+ ///
+ CoordCache const & coordCache() const;
+
+ ///
+ Point getPos(DocIterator const & dit, bool boundary) const;
+
+
+ ///
+ void draw(frontend::Painter & pain);
+
+ /// get this view's keyboard map handler.
+ Intl & getIntl();
+ ///
+ Intl const & getIntl() const;
+
+ //
+ // Messages to the GUI
+ //
+ /// This signal is emitted when some message shows up.
+ void message(docstring const & msg);
+
+ /// This signal is emitted when some dialog needs to be shown.
+ void showDialog(std::string const & name);
+
+ /// This signal is emitted when some dialog needs to be shown with
+ /// some data.
+ void showDialogWithData(std::string const & name, std::string const & data);
+
+ /// This signal is emitted when some inset dialogs needs to be shown.
+ void showInsetDialog(std::string const & name, std::string const & data,
+ Inset * inset);
+
+ /// This signal is emitted when some dialogs needs to be updated.
+ void updateDialog(std::string const & name, std::string const & data);
+
+ ///
+ void setGuiDelegate(frontend::GuiBufferViewDelegate *);
+
+ ///
+ docstring contentsOfPlaintextFile(std::string const & f, bool asParagraph);
+ // Insert plain text file (if filename is empty, prompt for one)
+ void insertPlaintextFile(std::string const & fileName, bool asParagraph);