- /// This signal is emitted when the layout at the cursor is changed.
- boost::signal<void(docstring layout)> layoutChanged;
+ ///
+ 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);