#include <list>
namespace lyx {
+
+class Buffer;
+
namespace frontend {
class WorkArea;
void redrawAll(bool update_metrics);
///
void closeAll();
- /// This function is called when the buffer readonly status change.
- void setReadOnly(bool);
- /// Update window titles of all users.
+ /// Update window titles of all users and the external modifications
+ /// warning.
void updateTitles();
+ /// If there is no work area, create a new one in the current view using the
+ /// buffer buf. Returns false if not possible.
+ bool unhide(Buffer * buf) const;
private:
typedef std::list<WorkArea *>::iterator iterator;