class FileNameList;
}
+namespace graphics {
+class PreviewLoader;
+}
+
class Buffer;
typedef std::list<Buffer *> ListOfBuffers;
/// Set by buffer_funcs' newFile.
void setFullyLoaded(bool);
+ /// FIXME: Needed by RenderPreview.
+ graphics::PreviewLoader * loader() const;
/// Update the LaTeX preview snippets associated with this buffer
void updatePreviews() const;
/// Remove any previewed LaTeX snippets associated with this buffer