ReadOriginal
};
+ enum ExportStatus {
+ // export
+ ExportSuccess,
+ ExportError,
+ ExportNoPathToFormat,
+ ExportTexPathHasSpaces,
+ ExportConverterError,
+ // preview
+ PreviewSuccess,
+ PreviewError
+ };
/// Method to check if a file is externally modified, used by
/// isExternallyModified()
///
bool hasGuiDelegate() const;
-
-
///
- bool doExport(std::string const & format, bool put_in_tempdir,
+ ExportStatus doExport(std::string const & target, bool put_in_tempdir) const;
+ ///
+ ExportStatus preview(std::string const & format) const;
+
+private:
+ /// target is a format name optionally followed by a space
+ /// and a destination file-name
+ ExportStatus doExport(std::string const & target, bool put_in_tempdir,
bool includeall, std::string & result_file) const;
///
- bool doExport(std::string const & format, bool put_in_tempdir,
- bool includeall = false) const;
+ ExportStatus doExport(std::string const & target, bool put_in_tempdir,
+ bool includeall) const;
///
- bool preview(std::string const & format, bool includeall = false) const;
+ ExportStatus preview(std::string const & format, bool includeall = false) const;
+
+public:
/// mark the buffer as busy exporting something, or not
void setExportStatus(bool e) const;
///
///
void collectChildren(ListOfBuffers & children, bool grand_children) const;
-
+ /// noncopyable
+ Buffer(Buffer const &);
+ void operator=(Buffer const &);
+
/// Use the Pimpl idiom to hide the internals.
class Impl;
/// The pointer never changes although *pimpl_'s contents may.