#ifndef BUFFER_VIEW_H
#define BUFFER_VIEW_H
+#include "DocumentClassPtr.h"
#include "update_flags.h"
+#include "support/shared_ptr.h"
#include "support/strfwd.h"
#include "support/types.h"
void clearLastInset(Inset * inset) const;
/// Is the mouse hovering a clickable inset or element?
bool clickableInset() const;
+ ///
+ void makeDocumentClass();
private:
/// noncopyable
void updateHoveredInset() const;
///
- void updateDocumentClass(DocumentClass const * const olddc);
+ void updateDocumentClass(DocumentClassConstPtr olddc);
///
int width_;
///