#include "support/types.h"
-#include <boost/tuple/tuple.hpp>
#include <boost/noncopyable.hpp>
-#include <boost/signal.hpp>
#include <utility>
#include <string>
namespace support { class FileName; }
namespace frontend { class Painter; }
+namespace frontend { class GuiBufferViewDelegate; }
class Buffer;
class Change;
public:
///
BufferView(Buffer & buffer);
-
+ ///
~BufferView();
/// return the buffer being viewed.
///
Intl const & getIntl() const { return *intl_.get(); }
+ //
+ // Messages to the GUI
+ //
/// This signal is emitted when some message shows up.
- boost::signal<void(docstring)> message;
+ void message(docstring const & msg);
/// This signal is emitted when some dialog needs to be shown.
- boost::signal<void(std::string name)> showDialog;
+ void showDialog(std::string const & name);
/// This signal is emitted when some dialog needs to be shown with
/// some data.
- boost::signal<void(std::string name,
- std::string data)> showDialogWithData;
+ void showDialogWithData(std::string const & name, std::string const & data);
/// This signal is emitted when some inset dialogs needs to be shown.
- boost::signal<void(std::string name, std::string data,
- Inset * inset)> showInsetDialog;
+ void showInsetDialog(std::string const & name, std::string const & data,
+ Inset * inset);
/// This signal is emitted when some dialogs needs to be updated.
- boost::signal<void(std::string name,
- std::string data)> updateDialog;
+ void updateDialog(std::string const & name, std::string const & data);
- /// This signal is emitted when the layout at the cursor is changed.
- boost::signal<void(docstring layout)> layoutChanged;
+ ///
+ void setGuiDelegate(frontend::GuiBufferViewDelegate *);
+ // 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;
/// A map from a Text to the associated text metrics
typedef std::map<Text const *, TextMetrics> TextMetricsCache;
mutable TextMetricsCache text_metrics_;
+
+ // Whom to notify. Not owned, so don't delete.
+ frontend::GuiBufferViewDelegate * gui_;
};
/// some space for drawing the 'nested' markers (in pixel)