/// dispatch method helper for \c WorkArea
/// \sa WorkArea
- /// \retval true if a redraw is needed
- bool workAreaDispatch(FuncRequest const & ev);
+ void mouseEventDispatch(FuncRequest const & ev);
/// access to anchor.
pit_type anchor_ref() const;
///
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);
private:
// the position relative to (0, baseline) of outermost paragraph
Point coordOffset(DocIterator const & dit, bool boundary) const;