Fix up 3847e0ef7.

diff --git a/src/frontends/qt4/GuiDocument.cpp b/src/frontends/qt4/GuiDocument.cpp
index ba6963c4021da6098e0d1a63216ea0634bffbf6e..70d6d617f35d79fce89238d349c8a9f2849dd3e0 100644 (file)
--- a/src/frontends/qt4/GuiDocument.cpp
+++ b/src/frontends/qt4/GuiDocument.cpp
@@ -567,7 +567,7 @@ void PreambleModule::editExternal() {
        string const format =
                current_id_->params().documentClass().outputFormat();
        string const ext = theFormats().extension(format);
-       tempfile_.reset(new TempFile("preamble_editXXXXXX" + ext));
+       tempfile_.reset(new TempFile("preamble_editXXXXXX." + ext));
        FileName const tempfilename = tempfile_->name();
        string const name = tempfilename.toFilesystemEncoding();
        ofdocstream os(name.c_str());
@@ -737,7 +737,7 @@ void LocalLayout::editExternal() {
        string const format =
                current_id_->params().documentClass().outputFormat();
        string const ext = theFormats().extension(format);
-       tempfile_.reset(new TempFile("preamble_editXXXXXX" + ext));
+       tempfile_.reset(new TempFile("preamble_editXXXXXX." + ext));
        FileName const tempfilename = tempfile_->name();
        string const name = tempfilename.toFilesystemEncoding();
        ofdocstream os(name.c_str());