Simplify the public interface of Buffer::doExport

[features.git] / src / Buffer.cpp

diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index 8204fe1aeaca2c1697c09fc5eca9af87c0b9e217..e6f69c8244e7aa7766c08f4daa007d9f8bd2ca79 100644 (file)
--- a/src/Buffer.cpp
+++ b/src/Buffer.cpp
@@ -2283,10 +2283,7 @@ void Buffer::dispatch(FuncRequest const & func, DispatchResult & dr)
                        break;
                }
 
-               bool const update_unincluded =
-                               params().maintain_unincluded_children
-                               && !params().getIncludedChildren().empty();
-               if (!doExport("dvi", true, update_unincluded)) {
+               if (!doExport("dvi", true)) {
                        showPrintError(absFileName());
                        dr.setMessage(_("Error exporting to DVI."));
                        break;
@@ -3486,6 +3483,14 @@ bool Buffer::isExporting() const
 }
 
 
+bool Buffer::doExport(string const & target, bool put_in_tempdir) const
+{
+       bool const update_unincluded =
+                       params().maintain_unincluded_children
+                       && !params().getIncludedChildren().empty();
+       return doExport(target, put_in_tempdir, update_unincluded);
+}
+
 bool Buffer::doExport(string const & target, bool put_in_tempdir,
        bool includeall, string & result_file) const
 {
@@ -3730,6 +3735,14 @@ bool Buffer::doExport(string const & target, bool put_in_tempdir,
 }
 
 
+bool Buffer::preview(string const & format) const
+{
+       bool const update_unincluded =
+                       params().maintain_unincluded_children
+                       && !params().getIncludedChildren().empty();
+       return preview(format, update_unincluded);
+}
+
 bool Buffer::preview(string const & format, bool includeall) const
 {
        MarkAsExporting exporting(this);