]> git.lyx.org Git - lyx.git/blobdiff - src/frontends/qt4/GuiView.cpp
Now LyX closes the current document WA only by default (other WAs remain open).
[lyx.git] / src / frontends / qt4 / GuiView.cpp
index 0274edeb03210a2816b3e313d31235123891ee34..3eda5409a27cd6e0f4382abdb946e9e009ce7a4e 100644 (file)
@@ -26,6 +26,7 @@
 #include "GuiToc.h"
 #include "GuiToolbar.h"
 #include "GuiWorkArea.h"
+#include "GuiProgress.h"
 #include "LayoutBox.h"
 #include "Menus.h"
 #include "TocModel.h"
@@ -79,7 +80,6 @@
 #include "support/Systemcall.h"
 #include "support/Timeout.h"
 #include "support/ProgressInterface.h"
-#include "GuiProgress.h"
 
 #include <QAction>
 #include <QApplication>
 #include <QDesktopWidget>
 #include <QDragEnterEvent>
 #include <QDropEvent>
+#include <QLabel>
 #include <QList>
 #include <QMenu>
 #include <QMenuBar>
+#include <QMovie>
 #include <QPainter>
 #include <QPixmap>
 #include <QPixmapCache>
 #include <QtConcurrentRun>
 #endif
 
-#include <boost/bind.hpp>
+#include "support/bind.h"
 
 #include <sstream>
 
 # include <unistd.h>
 #endif
 
+
 using namespace std;
 using namespace lyx::support;
 
 namespace lyx {
+
+using support::addExtension;
+using support::changeExtension;
+using support::removeExtension;
+
 namespace frontend {
 
 namespace {
@@ -157,9 +165,8 @@ public:
                font.setStyleHint(QFont::SansSerif);
                font.setWeight(QFont::Bold);
                font.setPointSize(int(toqstr(lyxrc.font_sizes[FONT_SIZE_LARGE]).toDouble()));
-               int width = QFontMetrics(font).width(text);
                pain.setFont(font);
-               pain.drawText(397 - width, 15, text);
+               pain.drawText(190, 225, text);
                setFocusPolicy(Qt::StrongFocus);
        }
 
@@ -191,7 +198,7 @@ private:
 /// Toolbar store providing access to individual toolbars by name.
 typedef map<string, GuiToolbar *> ToolbarMap;
 
-typedef boost::shared_ptr<Dialog> DialogPtr;
+typedef shared_ptr<Dialog> DialogPtr;
 
 } // namespace anon
 
@@ -204,10 +211,23 @@ struct GuiView::GuiViewPrivate
                in_show_(false)
        {
                // hardcode here the platform specific icon size
-               smallIconSize = 14;  // scaling problems
-               normalIconSize = 20; // ok, default
+               smallIconSize = 16;  // scaling problems
+               normalIconSize = 20; // ok, default if iconsize.png is missing
                bigIconSize = 26;       // better for some math icons
 
+               // if it exists, use width of iconsize.png as normal size
+               QString const dir = toqstr(addPath("images", lyxrc.icon_set));
+               FileName const fn = lyx::libFileSearch(dir, "iconsize.png");
+               if (!fn.empty()) {
+                       QImage image(toqstr(fn.absFileName()));
+                       if (image.width() < int(smallIconSize))
+                               normalIconSize = smallIconSize;
+                       else if (image.width() > int(bigIconSize))
+                               normalIconSize = bigIconSize;
+                       else
+                               normalIconSize = image.width();
+               }
+
                splitter_ = new QSplitter;
                bg_widget_ = new BackgroundWidget;
                stack_widget_ = new QStackedWidget;
@@ -217,17 +237,17 @@ struct GuiView::GuiViewPrivate
 
                // TODO cleanup, remove the singleton, handle multiple Windows?
                progress_ = ProgressInterface::instance();
-               if (!dynamic_cast<GuiProgress*>(progress_)) {           
+               if (!dynamic_cast<GuiProgress*>(progress_)) {
                        progress_ = new GuiProgress();  // TODO who deletes it
-                       ProgressInterface::setInstance(progress_);                      
+                       ProgressInterface::setInstance(progress_);
                }
                QObject::connect(
-                               dynamic_cast<GuiProgress*>(progress_), 
-                               SIGNAL(updateStatusBarMessage(QString const&)), 
+                               dynamic_cast<GuiProgress*>(progress_),
+                               SIGNAL(updateStatusBarMessage(QString const&)),
                                gv, SLOT(updateStatusBarMessage(QString const&)));
                QObject::connect(
-                               dynamic_cast<GuiProgress*>(progress_), 
-                               SIGNAL(clearMessageText()), 
+                               dynamic_cast<GuiProgress*>(progress_),
+                               SIGNAL(clearMessageText()),
                                gv, SLOT(clearMessageText()));
        }
 
@@ -283,6 +303,11 @@ struct GuiView::GuiViewPrivate
                bg_widget_->setFocus();
        }
 
+       int tabWorkAreaCount()
+       {
+               return splitter_->count();
+       }
+
        TabWorkArea * tabWorkArea(int i)
        {
                return dynamic_cast<TabWorkArea *>(splitter_->widget(i));
@@ -290,11 +315,12 @@ struct GuiView::GuiViewPrivate
 
        TabWorkArea * currentTabWorkArea()
        {
-               if (splitter_->count() == 1)
+               int areas = tabWorkAreaCount();
+               if (areas == 1)
                        // The first TabWorkArea is always the first one, if any.
                        return tabWorkArea(0);
 
-               for (int i = 0; i != splitter_->count(); ++i) {
+               for (int i = 0; i != areas;  ++i) {
                        TabWorkArea * twa = tabWorkArea(i);
                        if (current_main_work_area_ == twa->currentWorkArea())
                                return twa;
@@ -304,15 +330,27 @@ struct GuiView::GuiViewPrivate
                return tabWorkArea(0);
        }
 
+       int countWorkAreasOf(Buffer & buf)
+       {
+               int areas = tabWorkAreaCount();
+               int count = 0;
+               for (int i = 0; i != areas;  ++i) {
+                       TabWorkArea * twa = tabWorkArea(i);
+                       if (twa->workArea(buf))
+                               ++count;
+               }
+               return count;
+       }
+
 #if (QT_VERSION >= 0x040400)
-       void setPreviewFuture(QFuture<docstring> const & f)
+       void setPreviewFuture(QFuture<Buffer::ExportStatus> const & f)
        {
-               if (preview_watcher_.isRunning()) {
+               if (processing_thread_watcher_.isRunning()) {
                        // we prefer to cancel this preview in order to keep a snappy
                        // interface.
                        return;
                }
-               preview_watcher_.setFuture(f);
+               processing_thread_watcher_.setFuture(f);
        }
 #endif
 
@@ -327,7 +365,7 @@ public:
        ToolbarMap toolbars_;
        ProgressInterface* progress_;
        /// The main layout box.
-       /** 
+       /**
         * \warning Don't Delete! The layout box is actually owned by
         * whichever toolbar contains it. All the GuiView class needs is a
         * means of accessing it.
@@ -356,26 +394,40 @@ public:
 #if (QT_VERSION >= 0x040400)
        ///
        QFutureWatcher<docstring> autosave_watcher_;
-       QFutureWatcher<docstring> preview_watcher_;
+       QFutureWatcher<Buffer::ExportStatus> processing_thread_watcher_;
        ///
        string last_export_format;
+       string processing_format;
 #else
-       struct DummyWatcher { bool isRunning(){return false;} }; 
-       DummyWatcher preview_watcher_;
+       struct DummyWatcher { bool isRunning(){return false;} };
+       DummyWatcher processing_thread_watcher_;
 #endif
 
        static QSet<Buffer const *> busyBuffers;
-       static docstring previewAndDestroy(Buffer const * orig, Buffer * buffer, string const & format);
-       static docstring exportAndDestroy(Buffer const * orig, Buffer * buffer, string const & format);
-       static docstring saveAndDestroy(Buffer const * orig, Buffer * buffer, FileName const & fname);
-
+       static Buffer::ExportStatus previewAndDestroy(Buffer const * orig, Buffer * buffer, string const & format);
+       static Buffer::ExportStatus exportAndDestroy(Buffer const * orig, Buffer * buffer, string const & format);
+       static Buffer::ExportStatus compileAndDestroy(Buffer const * orig, Buffer * buffer, string const & format);
+       static docstring autosaveAndDestroy(Buffer const * orig, Buffer * buffer);
+
+       template<class T>
+       static Buffer::ExportStatus runAndDestroy(const T& func, Buffer const * orig, Buffer * buffer, string const & format);
+
+       // TODO syncFunc/previewFunc: use bind
+       bool asyncBufferProcessing(string const & argument,
+                                  Buffer const * used_buffer,
+                                  docstring const & msg,
+                                  Buffer::ExportStatus (*asyncFunc)(Buffer const *, Buffer *, string const &),
+                                  Buffer::ExportStatus (Buffer::*syncFunc)(string const &, bool) const,
+                                  Buffer::ExportStatus (Buffer::*previewFunc)(string const &) const);
+
+       QVector<GuiWorkArea*> guiWorkAreas();
 };
 
 QSet<Buffer const *> GuiView::GuiViewPrivate::busyBuffers;
 
 
 GuiView::GuiView(int id)
-       : d(*new GuiViewPrivate(this)), id_(id), closing_(false)
+       : d(*new GuiViewPrivate(this)), id_(id), closing_(false), busy_(0)
 {
        // GuiToolbars *must* be initialised before the menu bar.
        normalSizedIcons(); // at least on Mac the default is 32 otherwise, which is huge
@@ -385,7 +437,7 @@ GuiView::GuiView(int id)
        // filling, at least for the static special menu item on Mac. Otherwise
        // they are greyed out.
        guiApp->setCurrentView(this);
-       
+
        // Fill up the menu bar.
        guiApp->menus().fillMenuBar(menuBar(), this, true);
 
@@ -393,7 +445,7 @@ GuiView::GuiView(int id)
 
        // Start autosave timer
        if (lyxrc.autosave) {
-               d.autosave_timeout_.timeout.connect(boost::bind(&GuiView::autoSave, this));
+               d.autosave_timeout_.timeout.connect(bind(&GuiView::autoSave, this));
                d.autosave_timeout_.setTimeout(lyxrc.autosave * 1000);
                d.autosave_timeout_.start();
        }
@@ -404,11 +456,18 @@ GuiView::GuiView(int id)
        setAttribute(Qt::WA_DeleteOnClose, true);
 
 #if (!defined(Q_WS_WIN) && !defined(Q_WS_MACX))
+       // QIcon::fromTheme was introduced in Qt 4.6
+#if (QT_VERSION >= 0x040600)
        // assign an icon to main form. We do not do it under Qt/Win or Qt/Mac,
-       // since the icon is provided in the application bundle.
+       // since the icon is provided in the application bundle. We use a themed
+       // version when available and use the bundled one as fallback.
+       setWindowIcon(QIcon::fromTheme("lyx", getPixmap("images/", "lyx", "png")));
+#else
        setWindowIcon(getPixmap("images/", "lyx", "png"));
 #endif
 
+#endif
+
 #if (QT_VERSION >= 0x040300)
        // use tabbed dock area for multiple docks
        // (such as "source" and "messages")
@@ -418,14 +477,33 @@ GuiView::GuiView(int id)
        // For Drag&Drop.
        setAcceptDrops(true);
 
+#if (QT_VERSION >= 0x040400)
+
+       // add busy indicator to statusbar
+       QLabel * busylabel = new QLabel(statusBar());
+       statusBar()->addPermanentWidget(busylabel);
+       QString fn = toqstr(lyx::libFileSearch("images", "busy.gif").absFileName());
+       QMovie * busyanim = new QMovie(fn, QByteArray(), busylabel);
+       busylabel->setMovie(busyanim);
+       busyanim->start();
+       busylabel->hide();
+
+       connect(&d.processing_thread_watcher_, SIGNAL(started()), 
+               busylabel, SLOT(show()));
+       connect(&d.processing_thread_watcher_, SIGNAL(finished()), 
+               busylabel, SLOT(hide()));
+
        statusBar()->setSizeGripEnabled(true);
        updateStatusBar();
 
-#if (QT_VERSION >= 0x040400)
        connect(&d.autosave_watcher_, SIGNAL(finished()), this,
-               SLOT(threadFinished()));
-       connect(&d.preview_watcher_, SIGNAL(finished()), this,
-               SLOT(threadFinished()));
+               SLOT(autoSaveThreadFinished()));
+
+       connect(&d.processing_thread_watcher_, SIGNAL(started()), this,
+               SLOT(processingThreadStarted()));
+       connect(&d.processing_thread_watcher_, SIGNAL(finished()), this,
+               SLOT(processingThreadFinished()));
+
 #endif
 
        connect(this, SIGNAL(triggerShowDialog(QString const &, QString const &, Inset *)),
@@ -457,16 +535,97 @@ GuiView::~GuiView()
 }
 
 
-void GuiView::threadFinished()
+QVector<GuiWorkArea*> GuiView::GuiViewPrivate::guiWorkAreas()
+{
+       QVector<GuiWorkArea*> areas;
+       for (int i = 0; i < tabWorkAreaCount(); i++) {
+               TabWorkArea* ta = tabWorkArea(i);
+               for (int u = 0; u < ta->count(); u++) {
+                       areas << ta->workArea(u);
+               }
+       }
+       return areas;
+}
+
+static void handleExportStatus(GuiView * view, Buffer::ExportStatus status,
+       string const & format)
+{
+       docstring const fmt = formats.prettyName(format);
+       docstring msg;
+       switch (status) {
+       case Buffer::ExportSuccess:
+               msg = bformat(_("Successful export to format: %1$s"), fmt);
+               break;
+       case Buffer::ExportCancel:
+               msg = _("Document export cancelled.");
+               break;
+       case Buffer::ExportError:
+       case Buffer::ExportNoPathToFormat:
+       case Buffer::ExportTexPathHasSpaces:
+       case Buffer::ExportConverterError:
+               msg = bformat(_("Error while exporting format: %1$s"), fmt);
+               break;
+       case Buffer::PreviewSuccess:
+               msg = bformat(_("Successful preview of format: %1$s"), fmt);
+               break;
+       case Buffer::PreviewError:
+               msg = bformat(_("Error while previewing format: %1$s"), fmt);
+               break;
+       }
+       view->message(msg);
+}
+
+
+#if QT_VERSION >= 0x040400
+
+void GuiView::processingThreadStarted()
+{
+}
+
+
+void GuiView::processingThreadFinished()
+{
+       QFutureWatcher<Buffer::ExportStatus> const * watcher =
+               static_cast<QFutureWatcher<Buffer::ExportStatus> const *>(sender());
+
+       Buffer::ExportStatus const status = watcher->result();
+       handleExportStatus(this, status, d.processing_format);
+       
+       updateToolbars();
+       BufferView const * const bv = currentBufferView();
+       if (bv && !bv->buffer().errorList("Export").empty()) {
+               errors("Export");
+               return;
+       }
+       errors(d.last_export_format);
+}
+
+
+void GuiView::autoSaveThreadFinished()
 {
-#if (QT_VERSION >= 0x040400)
        QFutureWatcher<docstring> const * watcher =
                static_cast<QFutureWatcher<docstring> const *>(sender());
        message(watcher->result());
-       errors(d.last_export_format);
-#endif
+       updateToolbars();
 }
 
+#else
+
+void GuiView::processingThreadStarted()
+{
+}
+
+
+void GuiView::processingThreadFinished()
+{
+}
+
+
+void GuiView::autoSaveThreadFinished()
+{
+}
+#endif
+
 
 void GuiView::saveLayout() const
 {
@@ -484,6 +643,19 @@ void GuiView::saveLayout() const
 }
 
 
+void GuiView::saveUISettings() const
+{
+       // Save the toolbar private states
+       ToolbarMap::iterator end = d.toolbars_.end();
+       for (ToolbarMap::iterator it = d.toolbars_.begin(); it != end; ++it)
+               it->second->saveSession();
+       // Now take care of all other dialogs
+       map<string, DialogPtr>::const_iterator it = d.dialogs_.begin();
+       for (; it!= d.dialogs_.end(); ++it)
+               it->second->saveSession();
+}
+
+
 bool GuiView::restoreLayout()
 {
        QSettings settings;
@@ -494,7 +666,16 @@ bool GuiView::restoreLayout()
                return false;
 
        //code below is skipped when when ~/.config/LyX is (re)created
-       setIconSize(settings.value(icon_key).toSize());
+       QSize icon_size = settings.value(icon_key).toSize();
+       // Check whether session size changed.
+       if (icon_size.width() != int(d.smallIconSize) &&
+           icon_size.width() != int(d.normalIconSize) &&
+           icon_size.width() != int(d.bigIconSize)) {
+               icon_size.setWidth(d.normalIconSize);
+               icon_size.setHeight(d.normalIconSize);
+       }
+       setIconSize(icon_size);
+
 #ifdef Q_WS_X11
        QPoint pos = settings.value("pos", QPoint(50, 50)).toPoint();
        QSize size = settings.value("size", QSize(690, 510)).toSize();
@@ -521,6 +702,8 @@ bool GuiView::restoreLayout()
                dialog->prepareView();
        if ((dialog = findOrBuild("progress", true)))
                dialog->prepareView();
+       if ((dialog = findOrBuild("findreplaceadv", true)))
+               dialog->prepareView();
 
        if (!restoreState(settings.value("layout").toByteArray(), 0))
                initToolbars();
@@ -633,10 +816,10 @@ void GuiView::focusInEvent(QFocusEvent * e)
        QMainWindow::focusInEvent(e);
        // Make sure guiApp points to the correct view.
        guiApp->setCurrentView(this);
-       if (currentMainWorkArea())
-               currentMainWorkArea()->setFocus();
-       else if (currentWorkArea())
+       if (currentWorkArea())
                currentWorkArea()->setFocus();
+       else if (currentMainWorkArea())
+               currentMainWorkArea()->setFocus();
        else
                d.bg_widget_->setFocus();
 }
@@ -658,10 +841,18 @@ void GuiView::showEvent(QShowEvent * e)
                // No work area, switch to the background widget.
                d.setBackground();
 
+       updateToolbars();
        QMainWindow::showEvent(e);
 }
 
 
+bool GuiView::closeScheduled()
+{
+       closing_ = true;
+       return close();
+}
+
+
 /** Destroy only all tabbed WorkAreas. Destruction of other WorkAreas
  ** is responsibility of the container (e.g., dialog)
  **/
@@ -670,11 +861,16 @@ void GuiView::closeEvent(QCloseEvent * close_event)
        LYXERR(Debug::DEBUG, "GuiView::closeEvent()");
 
        if (!GuiViewPrivate::busyBuffers.isEmpty()) {
-               Alert::warning(_("Exit LyX"), _("Could not exit LyX, because documents are processed by LyX."));
+               Alert::warning(_("Exit LyX"), 
+                       _("LyX could not be closed because documents are being processed by LyX."));
                close_event->setAccepted(false);
                return;
        }
 
+       // If the user pressed the x (so we didn't call closeView
+       // programmatically), we want to clear all existing entries.
+       if (!closing_)
+               theSession().lastOpened().clear();
        closing_ = true;
 
        writeSession();
@@ -703,16 +899,8 @@ void GuiView::closeEvent(QCloseEvent * close_event)
        // Saving fullscreen requires additional tweaks in the toolbar code.
        // It wouldn't also work under linux natively.
        if (lyxrc.allow_geometry_session) {
-               // Save this window geometry and layout.
                saveLayout();
-               // Then the toolbar private states.
-               ToolbarMap::iterator end = d.toolbars_.end();
-               for (ToolbarMap::iterator it = d.toolbars_.begin(); it != end; ++it)
-                       it->second->saveSession();
-               // Now take care of all other dialogs:
-               map<string, DialogPtr>::const_iterator it = d.dialogs_.begin();
-               for (; it!= d.dialogs_.end(); ++it)
-                       it->second->saveSession();
+               saveUISettings();
        }
 
        close_event->accept();
@@ -746,11 +934,11 @@ void GuiView::dropEvent(QDropEvent * event)
                vector<const Format *> found_formats;
 
                // Find all formats that have the correct extension.
-               vector<const Format *> const & import_formats 
+               vector<const Format *> const & import_formats
                        = theConverters().importableFormats();
                vector<const Format *>::const_iterator it = import_formats.begin();
                for (; it != import_formats.end(); ++it)
-                       if ((*it)->extension() == ext)
+                       if ((*it)->hasExtension(ext))
                                found_formats.push_back(*it);
 
                FuncRequest cmd;
@@ -762,20 +950,21 @@ void GuiView::dropEvent(QDropEvent * event)
                        }
                        string const arg = found_formats[0]->name() + " " + file;
                        cmd = FuncRequest(LFUN_BUFFER_IMPORT, arg);
-               } 
+               }
                else {
                        //FIXME: do we have to explicitly check whether it's a lyx file?
                        LYXERR(Debug::FILES,
                                "No formats found, trying to open it as a lyx file");
                        cmd = FuncRequest(LFUN_FILE_OPEN, file);
                }
-
-               // Asynchronously post the event. DropEvent usually comes
-               // from the BufferView. But reloading a file might close
-               // the BufferView from within its own event handler.
-               guiApp->dispatchDelayed(cmd);
+               // add the functions to the queue
+               guiApp->addToFuncRequestQueue(cmd);
                event->accept();
        }
+       // now process the collected functions. We perform the events
+       // asynchronously. This prevents potential problems in case the
+       // BufferView is closed within an event.
+       guiApp->processFuncRequestQueueAsync();
 }
 
 
@@ -783,7 +972,7 @@ void GuiView::message(docstring const & str)
 {
        if (ForkedProcess::iAmAChild())
                return;
-       
+
        // call is moved to GUI-thread by GuiProgress
        d.progress_->appendMessage(toqstr(str));
 }
@@ -845,6 +1034,9 @@ void GuiView::updateWindowTitle(GuiWorkArea * wa)
 
 void GuiView::on_currentWorkAreaChanged(GuiWorkArea * wa)
 {
+       if (d.current_work_area_)
+               QObject::disconnect(d.current_work_area_, SIGNAL(busy(bool)),
+                       this, SLOT(setBusy(bool)));
        disconnectBuffer();
        disconnectBufferView();
        connectBufferView(wa->bufferView());
@@ -852,6 +1044,7 @@ void GuiView::on_currentWorkAreaChanged(GuiWorkArea * wa)
        d.current_work_area_ = wa;
        QObject::connect(wa, SIGNAL(titleChanged(GuiWorkArea *)),
                this, SLOT(updateWindowTitle(GuiWorkArea *)));
+       QObject::connect(wa, SIGNAL(busy(bool)), this, SLOT(setBusy(bool)));
        updateWindowTitle(wa);
 
        structureChanged();
@@ -1010,20 +1203,35 @@ bool GuiView::focusNextPrevChild(bool /*next*/)
 }
 
 
+bool GuiView::busy() const
+{
+       return busy_ > 0;
+}
+
+
 void GuiView::setBusy(bool busy)
 {
-       if (d.current_work_area_) {
-               d.current_work_area_->setUpdatesEnabled(!busy);
-               if (busy)
-                       d.current_work_area_->stopBlinkingCursor();
-               else
-                       d.current_work_area_->startBlinkingCursor();
-       }
+       bool const busy_before = busy_ > 0;
+       busy ? ++busy_ : --busy_;
+       if ((busy_ > 0) == busy_before)
+               // busy state didn't change
+               return;
 
-       if (busy)
+       if (busy) {
                QApplication::setOverrideCursor(Qt::WaitCursor);
-       else
-               QApplication::restoreOverrideCursor();
+               return;
+       }
+       QApplication::restoreOverrideCursor();
+       updateLayoutList();     
+}
+
+
+GuiWorkArea * GuiView::workArea(int index)
+{
+       if (TabWorkArea * twa = d.currentTabWorkArea())
+               if (index < twa->count())
+                       return dynamic_cast<GuiWorkArea *>(twa->widget(index));
+       return 0;
 }
 
 
@@ -1041,7 +1249,7 @@ GuiWorkArea * GuiView::workArea(Buffer & buffer)
 GuiWorkArea * GuiView::addWorkArea(Buffer & buffer)
 {
        // Automatically create a TabWorkArea if there are none yet.
-       TabWorkArea * tab_widget = d.splitter_->count() 
+       TabWorkArea * tab_widget = d.splitter_->count()
                ? d.currentTabWorkArea() : addTabWorkArea();
        return tab_widget->addWorkArea(buffer, *this);
 }
@@ -1101,8 +1309,8 @@ void GuiView::setCurrentWorkArea(GuiWorkArea * wa)
        // FIXME: I've no clue why this is here and why it accesses
        //  theGuiApp()->currentView, which might be 0 (bug 6464).
        //  See also 27525 (vfr).
-       if (theGuiApp()->currentView() == this 
-                 && theGuiApp()->currentView()->currentWorkArea() == wa) 
+       if (theGuiApp()->currentView() == this
+                 && theGuiApp()->currentView()->currentWorkArea() == wa)
                return;
 
        if (currentBufferView())
@@ -1110,17 +1318,23 @@ void GuiView::setCurrentWorkArea(GuiWorkArea * wa)
 
        theGuiApp()->setCurrentView(this);
        d.current_work_area_ = wa;
+       
+       // We need to reset this now, because it will need to be
+       // right if the tabWorkArea gets reset in the for loop. We
+       // will change it back if we aren't in that case.
+       GuiWorkArea * const old_cmwa = d.current_main_work_area_;
+       d.current_main_work_area_ = wa;
+
        for (int i = 0; i != d.splitter_->count(); ++i) {
                if (d.tabWorkArea(i)->setCurrentWorkArea(wa)) {
-                       //if (d.current_main_work_area_)
-                       //      d.current_main_work_area_->setFrameStyle(QFrame::NoFrame);
-                       d.current_main_work_area_ = wa;
-                       //d.current_main_work_area_->setFrameStyle(QFrame::Box | QFrame::Plain);
-                       //d.current_main_work_area_->setLineWidth(2);
-                       LYXERR(Debug::DEBUG, "Current wa: " << currentWorkArea() << ", Current main wa: " << currentMainWorkArea());
+                       LYXERR(Debug::DEBUG, "Current wa: " << currentWorkArea() 
+                               << ", Current main wa: " << currentMainWorkArea());
                        return;
                }
        }
+       
+       d.current_main_work_area_ = old_cmwa;
+       
        LYXERR(Debug::DEBUG, "This is not a tabbed wa");
        on_currentWorkAreaChanged(wa);
        BufferView & bv = wa->bufferView();
@@ -1203,12 +1417,14 @@ void GuiView::updateToolbars()
                        lyx::getStatus(FuncRequest(LFUN_CHANGES_TRACK)).onOff(true);
                bool const mathmacrotemplate =
                        lyx::getStatus(FuncRequest(LFUN_IN_MATHMACROTEMPLATE)).enabled();
+               bool const ipa =
+                       lyx::getStatus(FuncRequest(LFUN_IN_IPA)).enabled();
 
                for (ToolbarMap::iterator it = d.toolbars_.begin(); it != end; ++it)
-                       it->second->update(math, table, review, mathmacrotemplate);
+                       it->second->update(math, table, review, mathmacrotemplate, ipa);
        } else
                for (ToolbarMap::iterator it = d.toolbars_.begin(); it != end; ++it)
-                       it->second->update(false, false, false, false);
+                       it->second->update(false, false, false, false, false);
 }
 
 
@@ -1216,12 +1432,19 @@ void GuiView::setBuffer(Buffer * newBuffer)
 {
        LYXERR(Debug::DEBUG, "Setting buffer: " << newBuffer << endl);
        LASSERT(newBuffer, return);
-       setBusy(true);
-
+       
        GuiWorkArea * wa = workArea(*newBuffer);
        if (wa == 0) {
+               setBusy(true);
                newBuffer->masterBuffer()->updateBuffer();
+               setBusy(false);
                wa = addWorkArea(*newBuffer);
+               // scroll to the position when the BufferView was last closed
+               if (lyxrc.use_lastfilepos) {
+                       LastFilePosSection::FilePos filepos =
+                               theSession().lastFilePos().load(newBuffer->fileName());
+                       wa->bufferView().moveToPosition(filepos.pit, filepos.pos, 0, 0);
+               }
        } else {
                //Disconnect the old buffer...there's no new one.
                disconnectBuffer();
@@ -1229,8 +1452,6 @@ void GuiView::setBuffer(Buffer * newBuffer)
        connectBuffer(*newBuffer);
        connectBufferView(wa->bufferView());
        setCurrentWorkArea(wa);
-
-       setBusy(false);
 }
 
 
@@ -1262,14 +1483,31 @@ void GuiView::disconnectBufferView()
 
 void GuiView::errors(string const & error_type, bool from_master)
 {
-       ErrorList & el = from_master ?
-               currentBufferView()->buffer().masterBuffer()->errorList(error_type)
-               : currentBufferView()->buffer().errorList(error_type);
+       BufferView const * const bv = currentBufferView();
+       if (!bv)
+               return;
+
+#if EXPORT_in_THREAD && (QT_VERSION >= 0x040400)
+       // We are called with from_master == false by default, so we
+       // have to figure out whether that is the case or not.
+       ErrorList & el = bv->buffer().errorList(error_type);
+       if (el.empty()) {
+           el = bv->buffer().masterBuffer()->errorList(error_type);
+           from_master = true;
+       }
+#else
+       ErrorList const & el = from_master ?
+               bv->buffer().masterBuffer()->errorList(error_type) :
+               bv->buffer().errorList(error_type);
+#endif
+
+       if (el.empty())
+               return;
+
        string data = error_type;
        if (from_master)
                data = "from_master|" + error_type;
-       if (!el.empty())
-               showDialog("errorlist", data);
+       showDialog("errorlist", data);
 }
 
 
@@ -1311,7 +1549,7 @@ BufferView * GuiView::documentBufferView()
 }
 
 
-BufferView const * GuiView::documentBufferView() const 
+BufferView const * GuiView::documentBufferView() const
 {
        return currentMainWorkArea()
                ? &currentMainWorkArea()->bufferView()
@@ -1332,23 +1570,15 @@ BufferView const * GuiView::currentBufferView() const
 
 
 #if (QT_VERSION >= 0x040400)
-docstring GuiView::GuiViewPrivate::saveAndDestroy(Buffer const * orig, Buffer * buffer, FileName const & fname)
+docstring GuiView::GuiViewPrivate::autosaveAndDestroy(
+       Buffer const * orig, Buffer * clone)
 {
-       bool failed = true;
-       FileName const tmp_ret = FileName::tempName("lyxauto");
-       if (!tmp_ret.empty()) {
-               if (buffer->writeFile(tmp_ret))
-                       failed = !tmp_ret.moveTo(fname);
-       }
-       if (failed) {
-               // failed to write/rename tmp_ret so try writing direct
-               failed = buffer->writeFile(fname);
-       }
-       delete buffer;
+       bool const success = clone->autoSave();
+       delete clone;
        busyBuffers.remove(orig);
-       return failed
-               ? _("Automatic save failed!")
-               : _("Automatic save done.");
+       return success
+               ? _("Automatic save done.")
+               : _("Automatic save failed!");
 }
 #endif
 
@@ -1359,17 +1589,20 @@ void GuiView::autoSave()
 
        Buffer * buffer = documentBufferView()
                ? &documentBufferView()->buffer() : 0;
-       if (!buffer)
+       if (!buffer) {
+               resetAutosaveTimers();
                return;
+       }
 
 #if (QT_VERSION >= 0x040400)
        GuiViewPrivate::busyBuffers.insert(buffer);
-       QFuture<docstring> f = QtConcurrent::run(GuiViewPrivate::saveAndDestroy, buffer, buffer->clone(),
-               buffer->getAutosaveFilename());
+       QFuture<docstring> f = QtConcurrent::run(GuiViewPrivate::autosaveAndDestroy,
+               buffer, buffer->cloneBufferOnly());
        d.autosave_watcher_.setFuture(f);
 #else
        buffer->autoSave();
 #endif
+       resetAutosaveTimers();
 }
 
 
@@ -1409,21 +1642,21 @@ bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
                break;
 
        case LFUN_MASTER_BUFFER_UPDATE:
-       case LFUN_MASTER_BUFFER_VIEW: 
+       case LFUN_MASTER_BUFFER_VIEW:
                enable = doc_buffer && doc_buffer->parent() != 0
-                       && !d.preview_watcher_.isRunning();
+                       && !d.processing_thread_watcher_.isRunning();
                break;
 
        case LFUN_BUFFER_UPDATE:
        case LFUN_BUFFER_VIEW: {
-               if (!doc_buffer || d.preview_watcher_.isRunning()) {
+               if (!doc_buffer || d.processing_thread_watcher_.isRunning()) {
                        enable = false;
                        break;
                }
                string format = to_utf8(cmd.argument());
                if (cmd.argument().empty())
-                       format = doc_buffer->getDefaultOutputFormat();
-               enable = doc_buffer->isExportableFormat(format);
+                       format = doc_buffer->params().getDefaultOutputFormat();
+               enable = doc_buffer->params().isExportableFormat(format);
                break;
        }
 
@@ -1457,15 +1690,17 @@ bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
                                break;
                        }
                        b = theBufferList().next(b);
-               } while (b != first); 
+               } while (b != first);
                break;
        }
 
        case LFUN_BUFFER_WRITE_AS:
+       case LFUN_BUFFER_EXPORT_AS:
                enable = doc_buffer;
                break;
 
        case LFUN_BUFFER_CLOSE:
+       case LFUN_VIEW_CLOSE:
                enable = doc_buffer;
                break;
 
@@ -1483,7 +1718,7 @@ bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
                break;
 
        case LFUN_CLOSE_TAB_GROUP:
-               enable = d.currentTabWorkArea();
+               enable = d.tabWorkAreaCount() > 1;
                break;
 
        case LFUN_TOOLBAR_TOGGLE: {
@@ -1492,7 +1727,7 @@ bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
                        flag.setOnOff(t->isVisible());
                else {
                        enable = false;
-                       docstring const msg = 
+                       docstring const msg =
                                bformat(_("Unknown toolbar \"%1$s\""), from_utf8(name));
                        flag.message(msg);
                }
@@ -1500,7 +1735,7 @@ bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
        }
 
        case LFUN_DROP_LAYOUTS_CHOICE:
-               enable = buf; 
+               enable = buf;
                break;
 
        case LFUN_UI_TOGGLE:
@@ -1527,23 +1762,22 @@ bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
                                || name == "progress"
                                || name == "compare";
                else if (name == "print")
-                       enable = doc_buffer->isExportable("dvi")
+                       enable = doc_buffer->params().isExportable("dvi")
                                && lyxrc.print_command != "none";
                else if (name == "character" || name == "symbols") {
-                       if (!buf || buf->isReadonly()
-                               || !currentBufferView()->cursor().inTexted())
+                       if (!buf || buf->isReadonly())
                                enable = false;
                        else {
-                               // FIXME we should consider passthru
-                               // paragraphs too.
-                               Inset const & in = currentBufferView()->cursor().inset();
-                               enable = !in.getLayout().isPassThru();
+                               Cursor const & cur = currentBufferView()->cursor();
+                               enable = !(cur.inTexted() && cur.paragraph().isPassThru());
                        }
                }
                else if (name == "latexlog")
                        enable = FileName(doc_buffer->logName()).isReadableFile();
                else if (name == "spellchecker")
-                       enable = theSpellChecker() && !doc_buffer->isReadonly();
+                       enable = theSpellChecker() 
+                               && !doc_buffer->isReadonly()
+                               && !doc_buffer->text().empty();
                else if (name == "vclog")
                        enable = doc_buffer->lyxvc().inUse();
                break;
@@ -1605,7 +1839,7 @@ bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
        case LFUN_BUFFER_ZOOM_IN:
                enable = doc_buffer;
                break;
-       
+
        case LFUN_BUFFER_NEXT:
        case LFUN_BUFFER_PREVIOUS:
                // FIXME: should we check is there is an previous or next buffer?
@@ -1633,13 +1867,13 @@ bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
                flag.setOnOff(enable && doc_buffer->lyxvc().locking());
                break;
        case LFUN_VC_REVERT:
-               enable = doc_buffer && doc_buffer->lyxvc().inUse();
+               enable = doc_buffer && doc_buffer->lyxvc().inUse() && !doc_buffer->isReadonly();
                break;
        case LFUN_VC_UNDO_LAST:
                enable = doc_buffer && doc_buffer->lyxvc().undoLastEnabled();
                break;
        case LFUN_VC_REPO_UPDATE:
-               enable = doc_buffer && doc_buffer->lyxvc().inUse();
+               enable = doc_buffer && doc_buffer->lyxvc().repoUpdateEnabled();
                break;
        case LFUN_VC_COMMAND: {
                if (cmd.argument().empty())
@@ -1649,8 +1883,7 @@ bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
                break;
        }
        case LFUN_VC_COMPARE:
-               enable = doc_buffer && !cmd.argument().empty()
-                        && doc_buffer->lyxvc().prepareFileRevisionEnabled();
+               enable = doc_buffer && doc_buffer->lyxvc().prepareFileRevisionEnabled();
                break;
 
        case LFUN_SERVER_GOTO_FILE_ROW:
@@ -1659,6 +1892,11 @@ bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
                enable = !(lyxrc.forward_search_dvi.empty() && lyxrc.forward_search_pdf.empty());
                break;
 
+       case LFUN_FILE_INSERT_PLAINTEXT:
+       case LFUN_FILE_INSERT_PLAINTEXT_PARA:
+               enable = documentBufferView() && documentBufferView()->cursor().inTexted();
+               break;
+
        default:
                return false;
        }
@@ -1674,7 +1912,7 @@ static FileName selectTemplateFile()
 {
        FileDialog dlg(qt_("Select template file"));
        dlg.setButton1(qt_("Documents|#o#O"), toqstr(lyxrc.document_path));
-       dlg.setButton1(qt_("Templates|#T#t"), toqstr(lyxrc.template_path));
+       dlg.setButton2(qt_("Templates|#T#t"), toqstr(lyxrc.template_path));
 
        FileDialog::Result result = dlg.open(toqstr(lyxrc.template_path),
                                 QStringList(qt_("LyX Documents (*.lyx)")));
@@ -1691,27 +1929,26 @@ Buffer * GuiView::loadDocument(FileName const & filename, bool tolastfiles)
 {
        setBusy(true);
 
-       Buffer * newBuffer = checkAndLoadLyXFile(filename);
+       Buffer * newBuffer = 0;
+       try {
+               newBuffer = checkAndLoadLyXFile(filename);
+       } catch (ExceptionMessage const & e) {
+               setBusy(false);
+               throw(e);
+       }
+       setBusy(false);
 
        if (!newBuffer) {
                message(_("Document not loaded."));
-               setBusy(false);
                return 0;
        }
-       
-       setBuffer(newBuffer);
 
-       // scroll to the position when the file was last closed
-       if (lyxrc.use_lastfilepos) {
-               LastFilePosSection::FilePos filepos =
-                       theSession().lastFilePos().load(filename);
-               documentBufferView()->moveToPosition(filepos.pit, filepos.pos, 0, 0);
-       }
+       setBuffer(newBuffer);
+       newBuffer->errors("Parse");
 
        if (tolastfiles)
                theSession().lastFiles().add(filename);
 
-       setBusy(false);
        return newBuffer;
 }
 
@@ -1757,8 +1994,8 @@ void GuiView::openDocument(string const & fname)
                filename = fname;
 
        // get absolute path of file and add ".lyx" to the filename if
-       // necessary. 
-       FileName const fullname = 
+       // necessary.
+       FileName const fullname =
                        fileSearch(string(), filename, "lyx", support::may_not_exist);
        if (!fullname.empty())
                filename = fullname.absFileName();
@@ -1770,7 +2007,7 @@ void GuiView::openDocument(string const & fname)
                return;
        }
 
-       // if the file doesn't exist and isn't already open (bug 6645), 
+       // if the file doesn't exist and isn't already open (bug 6645),
        // let the user create one
        if (!fullname.exists() && !theBufferList().exists(fullname)) {
                // the user specifically chose this name. Believe him.
@@ -1786,9 +2023,6 @@ void GuiView::openDocument(string const & fname)
        docstring str2;
        Buffer * buf = loadDocument(fullname);
        if (buf) {
-               buf->updateBuffer();
-               setBuffer(buf);
-               buf->errors("Parse");
                str2 = bformat(_("Document %1$s opened."), disp_fn);
                if (buf->lyxvc().inUse())
                        str2 += " " + from_utf8(buf->lyxvc().versionString()) +
@@ -1808,8 +2042,9 @@ static bool import(GuiView * lv, FileName const & filename,
        string loader_format;
        vector<string> loaders = theConverters().loaders();
        if (find(loaders.begin(), loaders.end(), format) == loaders.end()) {
-               for (vector<string>::const_iterator it = loaders.begin();
-                        it != loaders.end(); ++it) {
+               vector<string>::const_iterator it = loaders.begin();
+               vector<string>::const_iterator en = loaders.end();
+               for (; it != en; ++it) {
                        if (!theConverters().isReachable(format, *it))
                                continue;
 
@@ -1835,9 +2070,6 @@ static bool import(GuiView * lv, FileName const & filename,
                Buffer * buf = lv->loadDocument(lyxfile);
                if (!buf)
                        return false;
-               buf->updateBuffer();
-               lv->setBuffer(buf);
-               buf->errors("Parse");
        } else {
                Buffer * const b = newFile(lyxfile.absFileName(), string(), true);
                if (!b)
@@ -1883,10 +2115,10 @@ void GuiView::importDocument(string const & argument)
                        toqstr(addPath(package().system_support().absFileName(), "examples")));
 
                docstring filter = formats.prettyName(format);
-               filter += " (*.";
+               filter += " (*.{";
                // FIXME UNICODE
-               filter += from_utf8(formats.extension(format));
-               filter += ')';
+               filter += from_utf8(formats.extensions(format));
+               filter += "})";
 
                FileDialog::Result result =
                        dlg.open(toqstr(initpath), fileFilters(toqstr(filter)));
@@ -1963,7 +2195,7 @@ void GuiView::newDocument(string const & filename, bool from_template)
                if (templatefile.empty())
                        return;
        }
-       
+
        Buffer * b;
        if (filename.empty())
                b = newUnnamedFile(initpath, to_utf8(_("newfile")), templatefile);
@@ -1973,7 +2205,7 @@ void GuiView::newDocument(string const & filename, bool from_template)
        if (b)
                setBuffer(b);
 
-       // If no new document could be created, it is unsure 
+       // If no new document could be created, it is unsure
        // whether there is a valid BufferView.
        if (currentBufferView())
                // Ensure the cursor is correctly positioned on screen.
@@ -1989,87 +2221,41 @@ void GuiView::insertLyXFile(docstring const & fname)
 
        // FIXME UNICODE
        FileName filename(to_utf8(fname));
-       
-       if (!filename.empty()) {
-               bv->insertLyXFile(filename);
-               return;
-       }
-
-       // Launch a file browser
-       // FIXME UNICODE
-       string initpath = lyxrc.document_path;
-       string const trypath = bv->buffer().filePath();
-       // If directory is writeable, use this as default.
-       if (FileName(trypath).isDirWritable())
-               initpath = trypath;
-
-       // FIXME UNICODE
-       FileDialog dlg(qt_("Select LyX document to insert"), LFUN_FILE_INSERT);
-       dlg.setButton1(qt_("Documents|#o#O"), toqstr(lyxrc.document_path));
-       dlg.setButton2(qt_("Examples|#E#e"),
-               toqstr(addPath(package().system_support().absFileName(),
-               "examples")));
-
-       FileDialog::Result result = dlg.open(toqstr(initpath),
-                                QStringList(qt_("LyX Documents (*.lyx)")));
-
-       if (result.first == FileDialog::Later)
-               return;
-
-       // FIXME UNICODE
-       filename.set(fromqstr(result.second));
-
-       // check selected filename
        if (filename.empty()) {
-               // emit message signal.
-               message(_("Canceled."));
-               return;
-       }
-
-       bv->insertLyXFile(filename);
-}
-
-
-void GuiView::insertPlaintextFile(docstring const & fname,
-       bool asParagraph)
-{
-       BufferView * bv = documentBufferView();
-       if (!bv)
-               return;
-
-       if (!fname.empty() && !FileName::isAbsolute(to_utf8(fname))) {
-               message(_("Absolute filename expected."));
-               return;
-       }
-
-       // FIXME UNICODE
-       FileName filename(to_utf8(fname));
-       
-       if (!filename.empty()) {
-               bv->insertPlaintextFile(filename, asParagraph);
-               return;
-       }
+               // Launch a file browser
+               // FIXME UNICODE
+               string initpath = lyxrc.document_path;
+               string const trypath = bv->buffer().filePath();
+               // If directory is writeable, use this as default.
+               if (FileName(trypath).isDirWritable())
+                       initpath = trypath;
 
-       FileDialog dlg(qt_("Select file to insert"), (asParagraph ?
-               LFUN_FILE_INSERT_PLAINTEXT_PARA : LFUN_FILE_INSERT_PLAINTEXT));
+               // FIXME UNICODE
+               FileDialog dlg(qt_("Select LyX document to insert"), LFUN_FILE_INSERT);
+               dlg.setButton1(qt_("Documents|#o#O"), toqstr(lyxrc.document_path));
+               dlg.setButton2(qt_("Examples|#E#e"),
+                       toqstr(addPath(package().system_support().absFileName(),
+                       "examples")));
 
-       FileDialog::Result result = dlg.open(toqstr(bv->buffer().filePath()),
-               QStringList(qt_("All Files (*)")));
+               FileDialog::Result result = dlg.open(toqstr(initpath),
+                                        QStringList(qt_("LyX Documents (*.lyx)")));
 
-       if (result.first == FileDialog::Later)
-               return;
+               if (result.first == FileDialog::Later)
+                       return;
 
-       // FIXME UNICODE
-       filename.set(fromqstr(result.second));
+               // FIXME UNICODE
+               filename.set(fromqstr(result.second));
 
-       // check selected filename
-       if (filename.empty()) {
-               // emit message signal.
-               message(_("Canceled."));
-               return;
+               // check selected filename
+               if (filename.empty()) {
+                       // emit message signal.
+                       message(_("Canceled."));
+                       return;
+               }
        }
 
-       bv->insertPlaintextFile(filename, asParagraph);
+       bv->insertLyXFile(filename);
+       bv->buffer().errors("Parse");
 }
 
 
@@ -2113,11 +2299,31 @@ bool GuiView::renameBuffer(Buffer & b, docstring const & newname)
        }
 
        // fname is now the new Buffer location.
+
+       // if there is already a Buffer open with this name, we do not want
+       // to have another one. (the second test makes sure we're not just
+       // trying to overwrite ourselves, which is fine.)
+       if (theBufferList().exists(fname) && fname != oldname
+                 && theBufferList().getBuffer(fname) != &b) {
+               docstring const text = 
+                       bformat(_("The file\n%1$s\nis already open in your current session.\n"
+                           "Please close it before attempting to overwrite it.\n"
+                           "Do you want to choose a new filename?"),
+                               from_utf8(fname.absFileName()));
+               int const ret = Alert::prompt(_("Chosen File Already Open"),
+                       text, 0, 1, _("&Rename"), _("&Cancel"));
+               switch (ret) {
+               case 0: return renameBuffer(b, docstring());
+               case 1: return false;
+               }
+               //return false;
+       }
+       
        if (FileName(fname).exists()) {
                docstring const file = makeDisplayPath(fname.absFileName(), 30);
-               docstring text = bformat(_("The document %1$s already "
+               docstring const text = bformat(_("The document %1$s already "
                                           "exists.\n\nDo you want to "
-                                          "overwrite that document?"), 
+                                          "overwrite that document?"),
                                         file);
                int const ret = Alert::prompt(_("Overwrite document?"),
                        text, 0, 2, _("&Overwrite"), _("&Rename"), _("&Cancel"));
@@ -2128,45 +2334,108 @@ bool GuiView::renameBuffer(Buffer & b, docstring const & newname)
                }
        }
 
-       FileName oldauto = b.getAutosaveFilename();
+       bool const saved = saveBuffer(b, fname);
+       if (saved)
+               b.reload(false);
+       return saved;
+}
 
-       // Ok, change the name of the buffer
-       b.setFileName(fname.absFileName());
-       b.markDirty();
-       bool unnamed = b.isUnnamed();
-       b.setUnnamed(false);
-       b.saveCheckSum(fname);
 
-       // bring the autosave file with us, just in case.
-       b.moveAutosaveFile(oldauto);
-       
-       if (!saveBuffer(b)) {
-               oldauto = b.getAutosaveFilename();
-               b.setFileName(oldname.absFileName());
-               b.setUnnamed(unnamed);
-               b.saveCheckSum(oldname);
-               b.moveAutosaveFile(oldauto);
+struct PrettyNameComparator
+{
+       bool operator()(Format const *first, Format const *second) const {
+               return compare_ascii_no_case(first->prettyname(), second->prettyname()) <= 0;
+       }
+};
+
+
+bool GuiView::exportBufferAs(Buffer & b)
+{
+       FileName fname = b.fileName();
+
+       FileDialog dlg(qt_("Choose a filename to export the document as"));
+       dlg.setButton1(qt_("Documents|#o#O"), toqstr(lyxrc.document_path));
+
+       QStringList types;
+       types << "Any supported format (*.*)";
+       Formats::const_iterator it = formats.begin();
+       vector<Format const *> export_formats;
+       for (; it != formats.end(); ++it)
+               if (it->documentFormat() && it->inExportMenu())
+                       export_formats.push_back(&(*it));
+       PrettyNameComparator cmp;
+       sort(export_formats.begin(), export_formats.end(), cmp);
+       vector<Format const *>::const_iterator fit = export_formats.begin();
+       for (; fit != export_formats.end(); ++fit)
+               types << toqstr((*fit)->prettyname() + " (*." + (*fit)->extension() + ")");
+       QString filter;
+       FileDialog::Result result =
+               dlg.save(toqstr(fname.onlyPath().absFileName()),
+                        types,
+                        toqstr(fname.onlyFileName()),
+                        &filter);
+       if (result.first != FileDialog::Chosen)
+               return false;
+
+       string s = fromqstr(filter);
+       size_t pos = s.find(" (*.");
+       LASSERT(pos != string::npos, /**/);
+       string fmt_prettyname = s.substr(0, pos);
+       string fmt_name;
+       fname.set(fromqstr(result.second));
+       if (fmt_prettyname == "Any supported format")
+               fmt_name = formats.getFormatFromExtension(fname.extension());
+       else
+               fmt_name = formats.getFormatFromPrettyName(fmt_prettyname);
+       LYXERR(Debug::FILES, "fmt_prettyname=" << fmt_prettyname
+              << ", fmt_name=" << fmt_name << ", fname=" << fname.absFileName());
+
+       if (fmt_name.empty() || fname.empty())
                return false;
+
+       // fname is now the new Buffer location.
+       if (FileName(fname).exists()) {
+               docstring const file = makeDisplayPath(fname.absFileName(), 30);
+               docstring text = bformat(_("The document %1$s already "
+                                          "exists.\n\nDo you want to "
+                                          "overwrite that document?"),
+                                        file);
+               int const ret = Alert::prompt(_("Overwrite document?"),
+                       text, 0, 2, _("&Overwrite"), _("&Rename"), _("&Cancel"));
+               switch (ret) {
+               case 0: break;
+               case 1: return exportBufferAs(b);
+               case 2: return false;
+               }
        }
 
-       // the file has now been saved to the new location.
-       // we need to check that the locations of child buffers
-       // are still valid.
-       b.checkChildBuffers();
+       FuncRequest cmd(LFUN_BUFFER_EXPORT, fmt_name + " " + fname.absFileName());
+       DispatchResult dr;
+       dispatch(cmd, dr);
+       return dr.dispatched();
+}
+
 
-       return true;
+bool GuiView::saveBuffer(Buffer & b) {
+       return saveBuffer(b, FileName());
 }
 
 
-bool GuiView::saveBuffer(Buffer & b)
+bool GuiView::saveBuffer(Buffer & b, FileName const & fn)
 {
        if (workArea(b) && workArea(b)->inDialogMode())
                return true;
 
-       if (b.isUnnamed())
-               return renameBuffer(b, docstring());
+       if (fn.empty() && b.isUnnamed())
+                       return renameBuffer(b, docstring());
 
-       if (b.save()) {
+       bool success;
+       if (fn.empty())
+               success = b.save();
+       else
+               success = b.saveAs(fn);
+       
+       if (success) {
                theSession().lastFiles().add(b.fileName());
                return true;
        }
@@ -2202,10 +2471,45 @@ bool GuiView::hideWorkArea(GuiWorkArea * wa)
 }
 
 
+// We only want to close the buffer if it is not visible in other workareas
+// of the same view, nor in other views, and if this is not a child
 bool GuiView::closeWorkArea(GuiWorkArea * wa)
 {
        Buffer & buf = wa->bufferView().buffer();
-       return closeWorkArea(wa, !buf.parent());
+
+       bool last_wa = d.countWorkAreasOf(buf) == 1
+               && !inOtherView(buf) && !buf.parent();
+
+       bool close_buffer = last_wa;
+
+       if (last_wa) {
+               if (lyxrc.close_buffer_with_last_view == "yes")
+                       ; // Nothing to do
+               else if (lyxrc.close_buffer_with_last_view == "no")
+                       close_buffer = false;
+               else {
+                       docstring file;
+                       if (buf.isUnnamed())
+                               file = from_utf8(buf.fileName().onlyFileName());
+                       else
+                               file = buf.fileName().displayName(30);
+                       docstring const text = bformat(
+                               _("Last view on document %1$s is being closed.\n"
+                                 "Would you like to close or hide the document?\n"
+                                 "\n"
+                                 "Hidden documents can be displayed back through\n"
+                                 "the menu: View->Hidden->...\n"
+                                 "\n"
+                                 "To remove this question, set your preference in:\n"
+                                 "  Tools->Preferences->Look&Feel->UserInterface\n"
+                               ), file);
+                       int ret = Alert::prompt(_("Close or hide document?"),
+                               text, 0, 1, _("&Close"), _("&Hide"));
+                       close_buffer = (ret == 0);
+               }
+       }
+
+       return closeWorkArea(wa, close_buffer);
 }
 
 
@@ -2256,7 +2560,7 @@ bool GuiView::closeWorkAreaAll()
        setCurrentWorkArea(currentMainWorkArea());
 
        // We might be in a situation that there is still a tabWorkArea, but
-       // there are no tabs anymore. This can happen when we get here after a 
+       // there are no tabs anymore. This can happen when we get here after a
        // TabWorkArea::lastWorkAreaRemoved() signal. Therefore we count how
        // many TabWorkArea's have no documents anymore.
        int empty_twa = 0;
@@ -2286,7 +2590,8 @@ bool GuiView::closeWorkArea(GuiWorkArea * wa, bool close_buffer)
        Buffer & buf = wa->bufferView().buffer();
 
        if (close_buffer && GuiViewPrivate::busyBuffers.contains(&buf)) {
-               Alert::warning(_("Close document "), _("Could not close document, because it is processed by LyX."));
+               Alert::warning(_("Close document"), 
+                       _("Document could not be closed because it is being processed by LyX."));
                return false;
        }
 
@@ -2308,33 +2613,42 @@ bool GuiView::closeBuffer(Buffer & buf)
        // so no need to do it here. This will ensure that the children end up
        // in the session file in the correct order. If we close the master
        // buffer, we can close or release the child buffers here too.
+       bool success = true;
        if (!closing_) {
-               vector<Buffer *> clist = buf.getChildren(false);
-               for (vector<Buffer *>::const_iterator it = clist.begin();
-                        it != clist.end(); ++it) {
+               ListOfBuffers clist = buf.getChildren();
+               ListOfBuffers::const_iterator it = clist.begin();
+               ListOfBuffers::const_iterator const bend = clist.end();
+               for (; it != bend; ++it) {
                        // If a child is dirty, do not close
                        // without user intervention
                        //FIXME: should we look in other tabworkareas?
                        Buffer * child_buf = *it;
                        GuiWorkArea * child_wa = workArea(*child_buf);
                        if (child_wa) {
-                               if (!closeWorkArea(child_wa, true))
-                                       return false;
+                               if (!closeWorkArea(child_wa, true)) {
+                                       success = false;
+                                       break;
+                               }
                        } else
                                theBufferList().releaseChild(&buf, child_buf);
                }
        }
-       // goto bookmark to update bookmark pit.
-       //FIXME: we should update only the bookmarks related to this buffer!
-       LYXERR(Debug::DEBUG, "GuiView::closeBuffer()");
-       for (size_t i = 0; i < theSession().bookmarks().size(); ++i)
-               guiApp->gotoBookmark(i+1, false, false);
-
-       if (saveBufferIfNeeded(buf, false)) {
-               buf.removeAutosaveFile();
-               theBufferList().release(&buf);
-               return true;
+       if (success) {
+               // goto bookmark to update bookmark pit.
+               //FIXME: we should update only the bookmarks related to this buffer!
+               LYXERR(Debug::DEBUG, "GuiView::closeBuffer()");
+               for (size_t i = 0; i < theSession().bookmarks().size(); ++i)
+                       guiApp->gotoBookmark(i+1, false, false);
+
+               if (saveBufferIfNeeded(buf, false)) {
+                       buf.removeAutosaveFile();
+                       theBufferList().release(&buf);
+                       return true;
+               }
        }
+       // open all children again to avoid a crash because of dangling
+       // pointers (bug 6603)
+       buf.updateBuffer();
        return false;
 }
 
@@ -2350,8 +2664,8 @@ bool GuiView::closeTabWorkArea(TabWorkArea * twa)
                // We only want to close the buffer if the same buffer is not visible
                // in another view, and if this is not a child and if we are closing
                // a view (not a tabgroup).
-               bool const close_buffer = 
-                       !inMultiViews(wa) && !b.parent() && closing_;
+               bool const close_buffer =
+                       !inOtherView(b) && !b.parent() && closing_;
 
                if (!closeWorkArea(wa, close_buffer))
                        return false;
@@ -2384,7 +2698,7 @@ bool GuiView::saveBufferIfNeeded(Buffer & buf, bool hiding)
                docstring const text = bformat(_("The document %1$s has not been "
                                                 "saved yet.\n\nDo you want to save "
                                                 "the document?"), file);
-               ret = Alert::prompt(_("Save new document?"), 
+               ret = Alert::prompt(_("Save new document?"),
                        text, 0, 1, _("&Save"), _("&Cancel"));
                if (ret == 1)
                        ++ret;
@@ -2401,14 +2715,14 @@ bool GuiView::saveBufferIfNeeded(Buffer & buf, bool hiding)
                        return false;
                break;
        case 1:
-               // if we crash after this we could
-               // have no autosave file but I guess
-               // this is really improbable (Jug)
-               // Sometime improbable things happen, bug 6857 (ps)
+               // If we crash after this we could have no autosave file
+               // but I guess this is really improbable (Jug).
+               // Sometimes improbable things happen:
+               // - see bug http://www.lyx.org/trac/ticket/6587 (ps)
                // buf.removeAutosaveFile();
                if (hiding)
                        // revert all changes
-                       buf.reload();
+                       reloadBuffer(buf);
                buf.markClean();
                break;
        case 2:
@@ -2427,20 +2741,18 @@ bool GuiView::inMultiTabs(GuiWorkArea * wa)
                if (wa_ && wa_ != wa)
                        return true;
        }
-       return inMultiViews(wa);
+       return inOtherView(buf);
 }
 
 
-bool GuiView::inMultiViews(GuiWorkArea * wa)
+bool GuiView::inOtherView(Buffer & buf)
 {
        QList<int> const ids = guiApp->viewIds();
-       Buffer & buf = wa->bufferView().buffer();
 
-       int found_twa = 0;
-       for (int i = 0; i != ids.size() && found_twa <= 1; ++i) {
+       for (int i = 0; i != ids.size(); ++i) {
                if (id_ == ids[i])
                        continue;
-               
+
                if (guiApp->view(ids[i]).workArea(buf))
                        return true;
        }
@@ -2450,24 +2762,24 @@ bool GuiView::inMultiViews(GuiWorkArea * wa)
 
 void GuiView::gotoNextOrPreviousBuffer(NextOrPrevious np)
 {
-       Buffer * const curbuf = documentBufferView()
-               ? &documentBufferView()->buffer() : 0;
-       Buffer * nextbuf = curbuf;
-       while (true) {
-               if (np == NEXTBUFFER)
-                       nextbuf = theBufferList().next(nextbuf);
-               else
-                       nextbuf = theBufferList().previous(nextbuf);
-               if (nextbuf == curbuf)
-                       break;
-               if (nextbuf == 0) {
-                       nextbuf = curbuf;
-                       break;
+       if (!documentBufferView())
+               return;
+       
+       if (TabWorkArea * twa = d.currentTabWorkArea()) {
+               Buffer * const curbuf = &documentBufferView()->buffer();
+               int nwa = twa->count();
+               for (int i = 0; i < nwa; ++i) {
+                       if (&workArea(i)->bufferView().buffer() == curbuf) {
+                               int next_index;
+                               if (np == NEXTBUFFER)
+                                       next_index = (i == nwa - 1 ? 0 : i + 1);
+                               else
+                                       next_index = (i == 0 ? nwa - 1 : i - 1);
+                               setBuffer(&workArea(next_index)->bufferView().buffer());
+                               break;
+                       }
                }
-               if (workArea(*nextbuf))
-                       break;
        }
-       setBuffer(nextbuf);
 }
 
 
@@ -2486,7 +2798,7 @@ static bool ensureBufferClean(Buffer * buffer)
                                                 "changes.\n\nDo you want to save "
                                                 "the document?"), file);
                title = _("Save changed document?");
-               
+
        } else {
                text = bformat(_("The document %1$s has not been "
                                                 "saved yet.\n\nDo you want to save "
@@ -2502,10 +2814,10 @@ static bool ensureBufferClean(Buffer * buffer)
 }
 
 
-void GuiView::reloadBuffer()
+bool GuiView::reloadBuffer(Buffer & buf)
 {
-       Buffer * buf = &documentBufferView()->buffer();
-       buf->reload();
+       Buffer::ReadStatus status = buf.reload();
+       return status == Buffer::ReadSuccess;
 }
 
 
@@ -2514,25 +2826,23 @@ void GuiView::checkExternallyModifiedBuffers()
        BufferList::iterator bit = theBufferList().begin();
        BufferList::iterator const bend = theBufferList().end();
        for (; bit != bend; ++bit) {
-               if ((*bit)->fileName().exists()
-                       && (*bit)->isExternallyModified(Buffer::checksum_method)) {
+               Buffer * buf = *bit;
+               if (buf->fileName().exists()
+                       && buf->isExternallyModified(Buffer::checksum_method)) {
                        docstring text = bformat(_("Document \n%1$s\n has been externally modified."
                                        " Reload now? Any local changes will be lost."),
-                                       from_utf8((*bit)->absFileName()));
+                                       from_utf8(buf->absFileName()));
                        int const ret = Alert::prompt(_("Reload externally changed document?"),
                                                text, 0, 1, _("&Reload"), _("&Cancel"));
                        if (!ret)
-                               (*bit)->reload();
+                               reloadBuffer(*buf);
                }
        }
 }
 
 
-//FIXME use a DispatchResult object to transmit messages
-void GuiView::dispatchVC(FuncRequest const & cmd)
+void GuiView::dispatchVC(FuncRequest const & cmd, DispatchResult & dr)
 {
-       // message for statusbar
-       string msg;
        Buffer * buffer = documentBufferView()
                ? &(documentBufferView()->buffer()) : 0;
 
@@ -2541,8 +2851,10 @@ void GuiView::dispatchVC(FuncRequest const & cmd)
                if (!buffer || !ensureBufferClean(buffer))
                        break;
                if (!buffer->lyxvc().inUse()) {
-                       if (buffer->lyxvc().registrer())
-                               reloadBuffer();
+                       if (buffer->lyxvc().registrer()) {
+                               reloadBuffer(*buffer);
+                               dr.suppressMessageUpdate();
+                       }
                }
                break;
 
@@ -2550,9 +2862,9 @@ void GuiView::dispatchVC(FuncRequest const & cmd)
                if (!buffer || !ensureBufferClean(buffer))
                        break;
                if (buffer->lyxvc().inUse() && !buffer->isReadonly()) {
-                       msg = buffer->lyxvc().checkIn();
-                       if (!msg.empty())
-                               reloadBuffer();
+                       dr.setMessage(buffer->lyxvc().checkIn());
+                       if (!dr.message().empty())
+                               reloadBuffer(*buffer);
                }
                break;
 
@@ -2560,8 +2872,8 @@ void GuiView::dispatchVC(FuncRequest const & cmd)
                if (!buffer || !ensureBufferClean(buffer))
                        break;
                if (buffer->lyxvc().inUse()) {
-                       msg = buffer->lyxvc().checkOut();
-                       reloadBuffer();
+                       dr.setMessage(buffer->lyxvc().checkOut());
+                       reloadBuffer(*buffer);
                }
                break;
 
@@ -2575,28 +2887,31 @@ void GuiView::dispatchVC(FuncRequest const & cmd)
                                frontend::Alert::error(_("Revision control error."),
                                _("Error when setting the locking property."));
                        } else {
-                               msg = res;
-                               reloadBuffer();
+                               dr.setMessage(res);
+                               reloadBuffer(*buffer);
                        }
                }
                break;
 
        case LFUN_VC_REVERT:
                LASSERT(buffer, return);
-               buffer->lyxvc().revert();
-               reloadBuffer();
+               if (buffer->lyxvc().revert()) {
+                       reloadBuffer(*buffer);
+                       dr.suppressMessageUpdate();
+               }
                break;
 
        case LFUN_VC_UNDO_LAST:
                LASSERT(buffer, return);
                buffer->lyxvc().undoLast();
-               reloadBuffer();
+               reloadBuffer(*buffer);
+               dr.suppressMessageUpdate();
                break;
 
        case LFUN_VC_REPO_UPDATE:
                LASSERT(buffer, return);
                if (ensureBufferClean(buffer)) {
-                       msg = buffer->lyxvc().repoUpdate();
+                       dr.setMessage(buffer->lyxvc().repoUpdate());
                        checkExternallyModifiedBuffers();
                }
                break;
@@ -2638,13 +2953,18 @@ void GuiView::dispatchVC(FuncRequest const & cmd)
                if (contains(flag, 'I'))
                        buffer->markDirty();
                if (contains(flag, 'R'))
-                       reloadBuffer();
+                       reloadBuffer(*buffer);
 
                break;
                }
 
        case LFUN_VC_COMPARE: {
 
+               if (cmd.argument().empty()) {
+                       lyx::dispatch(FuncRequest(LFUN_DIALOG_SHOW, "comparehistory"));
+                       break;
+               }
+
                string rev1 = cmd.getArg(0);
                string f1, f2;
 
@@ -2662,29 +2982,17 @@ void GuiView::dispatchVC(FuncRequest const & cmd)
                        if (!buffer->lyxvc().prepareFileRevision(rev2, f2))
                                break;
                }
-               // FIXME We need to call comparison feature here.
-               // This is quick and dirty code for testing VC.
-               // We need that comparison feature has some LFUN_COMPARE <FLAG> file1 file1
-               // where <FLAG> specifies whether we want GUI dialog or just launch
-               // running with defaults.
-               /*
-               FileName initpath(lyxrc.document_path);
-               Buffer * dest = newUnnamedFile(initpath, to_utf8(_("differences")));
-               CompareOptions options;
-               Compare * compare = new Compare(loadIfNeeded(FileName(f1)), loadIfNeeded(FileName(f2)), dest, options);
-               compare->start(QThread::LowPriority);
-               Sleep::millisec(200);
-               lyx::dispatch(FuncRequest(LFUN_BUFFER_SWITCH, dest->absFileName()));
-               */
+
+               LYXERR(Debug::LYXVC, "Launching comparison for fetched revisions:\n" <<
+                                       f1 << "\n"  << f2 << "\n" );
+               string par = "compare run " + quoteName(f1) + " " + quoteName(f2);
+               lyx::dispatch(FuncRequest(LFUN_DIALOG_SHOW, par));
                break;
        }
 
        default:
                break;
        }
-
-       if (!msg.empty())
-               message(from_utf8(msg));
 }
 
 
@@ -2695,26 +3003,19 @@ void GuiView::openChildDocument(string const & fname)
        FileName const filename = support::makeAbsPath(fname, buffer.filePath());
        documentBufferView()->saveBookmark(false);
        Buffer * child = 0;
-       bool parsed = false;
        if (theBufferList().exists(filename)) {
                child = theBufferList().getBuffer(filename);
+               setBuffer(child);
        } else {
                message(bformat(_("Opening child document %1$s..."),
-               makeDisplayPath(filename.absFileName())));
+                       makeDisplayPath(filename.absFileName())));
                child = loadDocument(filename, false);
-               parsed = true;
        }
-       if (!child)
-               return;
-
        // Set the parent name of the child document.
        // This makes insertion of citations and references in the child work,
        // when the target is in the parent or another child document.
-       child->setParent(&buffer);
-       child->masterBuffer()->updateBuffer();
-       setBuffer(child);
-       if (parsed)
-               child->errors("Parse");
+       if (child)
+               child->setParent(&buffer);
 }
 
 
@@ -2759,8 +3060,8 @@ bool GuiView::goToFileRow(string const & argument)
                        buf = theBufferList().getBuffer(s);
                else if (s.exists()) {
                        buf = loadDocument(s);
-                       buf->updateBuffer();
-                       buf->errors("Parse");
+                       if (!buf)
+                               return false;
                } else {
                        message(bformat(
                                        _("File does not exist: %1$s"),
@@ -2768,6 +3069,13 @@ bool GuiView::goToFileRow(string const & argument)
                        return false;
                }
        }
+       if (!buf) {
+               message(bformat(
+                       _("No buffer for file: %1$s."),
+                       makeDisplayPath(file_name))
+               );
+               return false;
+       }
        setBuffer(buf);
        documentBufferView()->setCursorFromRow(row);
        return true;
@@ -2775,40 +3083,164 @@ bool GuiView::goToFileRow(string const & argument)
 
 
 #if (QT_VERSION >= 0x040400)
-docstring GuiView::GuiViewPrivate::exportAndDestroy(Buffer const * orig, Buffer * buffer, string const & format)
+template<class T>
+Buffer::ExportStatus GuiView::GuiViewPrivate::runAndDestroy(const T& func, Buffer const * orig, Buffer * clone, string const & format)
 {
-       bool const update_unincluded =
-                               buffer->params().maintain_unincluded_children
-                               && !buffer->params().getIncludedChildren().empty();
-       bool const success = buffer->doExport(format, true, update_unincluded);
-       delete buffer;
+       Buffer::ExportStatus const status = func(format);
+
+       // the cloning operation will have produced a clone of the entire set of
+       // documents, starting from the master. so we must delete those.
+       Buffer * mbuf = const_cast<Buffer *>(clone->masterBuffer());
+       delete mbuf;
        busyBuffers.remove(orig);
-       return success
-               ? bformat(_("Successful export to format: %1$s"), from_utf8(format))
-               : bformat(_("Error exporting to format: %1$s"), from_utf8(format));
+       return status;
 }
 
 
-docstring GuiView::GuiViewPrivate::previewAndDestroy(Buffer const * orig, Buffer * buffer, string const & format)
+Buffer::ExportStatus GuiView::GuiViewPrivate::compileAndDestroy(Buffer const * orig, Buffer * clone, string const & format)
 {
-       bool const update_unincluded =
-                               buffer->params().maintain_unincluded_children
-                               && !buffer->params().getIncludedChildren().empty();
-       bool const success = buffer->preview(format, update_unincluded);
-       delete buffer;
-       busyBuffers.remove(orig);
-       return success
-               ? bformat(_("Successful preview of format: %1$s"), from_utf8(format))
-               : bformat(_("Error previewing format: %1$s"), from_utf8(format));
+       Buffer::ExportStatus (Buffer::* mem_func)(std::string const &, bool) const = &Buffer::doExport;
+       return runAndDestroy(bind(mem_func, clone, _1, true), orig, clone, format);
+}
+
+
+Buffer::ExportStatus GuiView::GuiViewPrivate::exportAndDestroy(Buffer const * orig, Buffer * clone, string const & format)
+{
+       Buffer::ExportStatus (Buffer::* mem_func)(std::string const &, bool) const = &Buffer::doExport;
+       return runAndDestroy(bind(mem_func, clone, _1, false), orig, clone, format);
+}
+
+
+Buffer::ExportStatus GuiView::GuiViewPrivate::previewAndDestroy(Buffer const * orig, Buffer * clone, string const & format)
+{
+       Buffer::ExportStatus (Buffer::* mem_func)(std::string const &) const = &Buffer::preview;
+       return runAndDestroy(bind(mem_func, clone, _1), orig, clone, format);
 }
+
+#else
+
+// not used, but the linker needs them
+
+Buffer::ExportStatus GuiView::GuiViewPrivate::compileAndDestroy(
+               Buffer const *, Buffer *, string const &)
+{
+       return Buffer::ExportSuccess;
+}
+
+
+Buffer::ExportStatus GuiView::GuiViewPrivate::exportAndDestroy(
+               Buffer const *, Buffer *, string const &)
+{
+       return Buffer::ExportSuccess;
+}
+
+
+Buffer::ExportStatus GuiView::GuiViewPrivate::previewAndDestroy(
+               Buffer const *, Buffer *, string const &)
+{
+       return Buffer::ExportSuccess;
+}
+
+#endif
+
+
+bool GuiView::GuiViewPrivate::asyncBufferProcessing(
+                          string const & argument,
+                          Buffer const * used_buffer,
+                          docstring const & msg,
+                          Buffer::ExportStatus (*asyncFunc)(Buffer const *, Buffer *, string const &),
+                          Buffer::ExportStatus (Buffer::*syncFunc)(string const &, bool) const,
+                          Buffer::ExportStatus (Buffer::*previewFunc)(string const &) const)
+{
+       if (!used_buffer)
+               return false;
+
+       string format = argument;
+       if (format.empty())
+               format = used_buffer->params().getDefaultOutputFormat();
+       processing_format = format;
+#if EXPORT_in_THREAD && (QT_VERSION >= 0x040400)
+       if (!msg.empty()) {
+               progress_->clearMessages();
+               gv_->message(msg);
+       }
+       GuiViewPrivate::busyBuffers.insert(used_buffer);
+       Buffer * cloned_buffer = used_buffer->cloneFromMaster();
+       if (!cloned_buffer) {
+               Alert::error(_("Export Error"),
+                            _("Error cloning the Buffer."));
+               return false;
+       }
+       QFuture<Buffer::ExportStatus> f = QtConcurrent::run(
+                               asyncFunc,
+                               used_buffer,
+                               cloned_buffer,
+                               format);
+       setPreviewFuture(f);
+       last_export_format = used_buffer->params().bufferFormat();
+       (void) syncFunc;
+       (void) previewFunc;
+       // We are asynchronous, so we don't know here anything about the success
+       return true;
+#else
+       Buffer::ExportStatus status;
+       if (syncFunc) {
+               // TODO check here if it breaks exporting with Qt < 4.4
+               status = (used_buffer->*syncFunc)(format, true);
+       } else if (previewFunc) {
+               status = (used_buffer->*previewFunc)(format); 
+       } else
+               return false;
+       handleExportStatus(gv_, status, format);
+       (void) asyncFunc;
+       return (status == Buffer::ExportSuccess 
+                       || status == Buffer::PreviewSuccess);
 #endif
+}
+
+void GuiView::dispatchToBufferView(FuncRequest const & cmd, DispatchResult & dr)
+{
+       BufferView * bv = currentBufferView();
+       LASSERT(bv, /**/);
+
+       // Let the current BufferView dispatch its own actions.
+       bv->dispatch(cmd, dr);
+       if (dr.dispatched())
+               return;
+
+       // Try with the document BufferView dispatch if any.
+       BufferView * doc_bv = documentBufferView();
+       if (doc_bv && doc_bv != bv) {
+               doc_bv->dispatch(cmd, dr);
+               if (dr.dispatched())
+                       return;
+       }
+
+       // Then let the current Cursor dispatch its own actions.
+       bv->cursor().dispatch(cmd);
+
+       // update completion. We do it here and not in
+       // processKeySym to avoid another redraw just for a
+       // changed inline completion
+       if (cmd.origin() == FuncRequest::KEYBOARD) {
+               if (cmd.action() == LFUN_SELF_INSERT
+                       || (cmd.action() == LFUN_ERT_INSERT && bv->cursor().inMathed()))
+                       updateCompletion(bv->cursor(), true, true);
+               else if (cmd.action() == LFUN_CHAR_DELETE_BACKWARD)
+                       updateCompletion(bv->cursor(), false, true);
+               else
+                       updateCompletion(bv->cursor(), false, false);
+       }
+
+       dr = bv->cursor().result();
+}
 
 
 void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
 {
        BufferView * bv = currentBufferView();
        // By default we won't need any update.
-       dr.update(Update::None);
+       dr.screenUpdate(Update::None);
        // assume cmd will be dispatched
        dr.dispatched(true);
 
@@ -2838,111 +3270,110 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                                break;
                        // GCC only sees strfwd.h when building merged
                        if (::lyx::operator==(cmd.argument(), "custom")) {
-                               dispatch(FuncRequest(LFUN_DIALOG_SHOW, "sendto"), 
-                                        dr);
+                               dispatch(FuncRequest(LFUN_DIALOG_SHOW, "sendto"), dr);
                                break;
                        }
+#if QT_VERSION < 0x040400
                        if (!doc_buffer->doExport(argument, false)) {
                                dr.setError(true);
-                               dr.setMessage(bformat(_("Error exporting to format: %1$s."),
+                               dr.setMessage(bformat(_("Error exporting to format: %1$s"),
                                        cmd.argument()));
                        }
+#else
+                       /* TODO/Review: Is it a problem to also export the children?
+                                       See the update_unincluded flag */
+                       d.asyncBufferProcessing(argument,
+                                               doc_buffer,
+                                               _("Exporting ..."),
+                                               &GuiViewPrivate::exportAndDestroy,
+                                               &Buffer::doExport,
+                                               0);
+                       // TODO Inform user about success
+#endif
                        break;
                }
 
+               case LFUN_BUFFER_EXPORT_AS:
+                       LASSERT(doc_buffer, break);
+                       exportBufferAs(*doc_buffer);
+                       break;
+
                case LFUN_BUFFER_UPDATE: {
-                       if (!doc_buffer)
-                               break;
-                       string format = argument;
-                       if (argument.empty())
-                               format = doc_buffer->getDefaultOutputFormat();
-#if EXPORT_in_THREAD && (QT_VERSION >= 0x040400)
-                       d.progress_->clearMessages();
-                       message(_("Exporting ..."));
-                       GuiViewPrivate::busyBuffers.insert(doc_buffer);
-                       QFuture<docstring> f = QtConcurrent::run(GuiViewPrivate::exportAndDestroy,
-                               doc_buffer, doc_buffer->clone(), format);
-                       d.setPreviewFuture(f);
-                       d.last_export_format = doc_buffer->bufferFormat();
-#else
-                       bool const update_unincluded =
-                               doc_buffer->params().maintain_unincluded_children
-                               && !doc_buffer->params().getIncludedChildren().empty();
-                       doc_buffer->doExport(format, true, update_unincluded);
-#endif
+                       d.asyncBufferProcessing(argument,
+                                               doc_buffer,
+                                               _("Exporting ..."),
+                                               &GuiViewPrivate::compileAndDestroy,
+                                               &Buffer::doExport,
+                                               0);
                        break;
                }
                case LFUN_BUFFER_VIEW: {
-                       if (!doc_buffer)
-                               break;
-                       string format = argument;
-                       if (argument.empty())
-                               format = doc_buffer->getDefaultOutputFormat();
-#if EXPORT_in_THREAD && (QT_VERSION >= 0x040400)
-                       d.progress_->clearMessages();
-                       message(_("Previewing ..."));
-                       GuiViewPrivate::busyBuffers.insert(doc_buffer);
-                       QFuture<docstring> f = QtConcurrent::run(GuiViewPrivate::previewAndDestroy,
-                               doc_buffer, doc_buffer->clone(), format);
-                       d.setPreviewFuture(f);
-                       d.last_export_format = doc_buffer->bufferFormat();
-#else
-                       bool const update_unincluded =
-                               doc_buffer->params().maintain_unincluded_children
-                               && !doc_buffer->params().getIncludedChildren().empty();
-                       doc_buffer->preview(format, update_unincluded);
-#endif
+                       d.asyncBufferProcessing(argument,
+                                               doc_buffer,
+                                               _("Previewing ..."),
+                                               &GuiViewPrivate::previewAndDestroy,
+                                               0,
+                                               &Buffer::preview);
                        break;
                }
                case LFUN_MASTER_BUFFER_UPDATE: {
-                       if (!doc_buffer)
-                               break;
-                       string format = argument;
-                       Buffer const * master = doc_buffer->masterBuffer();
-                       if (argument.empty())
-                               format = master->getDefaultOutputFormat();
-#if EXPORT_in_THREAD && (QT_VERSION >= 0x040400)
-                       GuiViewPrivate::busyBuffers.insert(master);
-                       QFuture<docstring> f = QtConcurrent::run(GuiViewPrivate::exportAndDestroy,
-                               master, master->clone(), format);
-                       d.setPreviewFuture(f);
-                       d.last_export_format = doc_buffer->bufferFormat();
-#else
-                       bool const update_unincluded =
-                               master->params().maintain_unincluded_children
-                               && !master->params().getIncludedChildren().empty();
-                       master->doExport(format, true);
-#endif
+                       d.asyncBufferProcessing(argument,
+                                               (doc_buffer ? doc_buffer->masterBuffer() : 0),
+                                               docstring(),
+                                               &GuiViewPrivate::compileAndDestroy,
+                                               &Buffer::doExport,
+                                               0);
                        break;
                }
                case LFUN_MASTER_BUFFER_VIEW: {
-                       string format = argument;
-                       Buffer const * master = doc_buffer->masterBuffer();
-                       if (argument.empty())
-                               format = master->getDefaultOutputFormat();
-#if EXPORT_in_THREAD && (QT_VERSION >= 0x040400)
-                       GuiViewPrivate::busyBuffers.insert(master);
-                       QFuture<docstring> f = QtConcurrent::run(GuiViewPrivate::previewAndDestroy,
-                               master, master->clone(), format);
-                       d.setPreviewFuture(f);
-                       d.last_export_format = doc_buffer->bufferFormat();
-#else
-                       master->preview(format);
-#endif
+                       d.asyncBufferProcessing(argument,
+                                               (doc_buffer ? doc_buffer->masterBuffer() : 0),
+                                               docstring(),
+                                               &GuiViewPrivate::previewAndDestroy,
+                                               0, &Buffer::preview);
                        break;
                }
-               case LFUN_BUFFER_SWITCH:
-                       if (FileName::isAbsolute(to_utf8(cmd.argument()))) {
-                               Buffer * buffer = 
-                                       theBufferList().getBuffer(FileName(to_utf8(cmd.argument())));
-                               if (buffer)
-                                       setBuffer(buffer);
-                               else {
-                                       dr.setError(true);
-                                       dr.setMessage(_("Document not loaded"));
+               case LFUN_BUFFER_SWITCH: {
+                       string const file_name = to_utf8(cmd.argument());
+                       if (!FileName::isAbsolute(file_name)) {
+                               dr.setError(true);
+                               dr.setMessage(_("Absolute filename expected."));
+                               break;
+                       }
+
+                       Buffer * buffer = theBufferList().getBuffer(FileName(file_name));
+                       if (!buffer) {
+                               dr.setError(true);
+                               dr.setMessage(_("Document not loaded"));
+                               break;
+                       }
+
+                       // Do we open or switch to the buffer in this view ?
+                       if (workArea(*buffer)
+                                 || lyxrc.open_buffers_in_tabs || !documentBufferView()) {
+                               setBuffer(buffer);
+                               break;
+                       }
+
+                       // Look for the buffer in other views
+                       QList<int> const ids = guiApp->viewIds();
+                       int i = 0;
+                       for (; i != ids.size(); ++i) {
+                               GuiView & gv = guiApp->view(ids[i]);
+                               if (gv.workArea(*buffer)) {
+                                       gv.activateWindow();
+                                       gv.setBuffer(buffer);
+                                       break;
                                }
                        }
+
+                       // If necessary, open a new window as a last resort
+                       if (i == ids.size()) {
+                               lyx::dispatch(FuncRequest(LFUN_WINDOW_NEW));
+                               lyx::dispatch(cmd);
+                       }
                        break;
+               }
 
                case LFUN_BUFFER_NEXT:
                        gotoNextOrPreviousBuffer(NEXTBUFFER);
@@ -2975,25 +3406,57 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                case LFUN_FILE_INSERT:
                        insertLyXFile(cmd.argument());
                        break;
-               case LFUN_FILE_INSERT_PLAINTEXT_PARA:
-                       insertPlaintextFile(cmd.argument(), true);
-                       break;
 
                case LFUN_FILE_INSERT_PLAINTEXT:
-                       insertPlaintextFile(cmd.argument(), false);
+               case LFUN_FILE_INSERT_PLAINTEXT_PARA: {
+                       bool const as_paragraph = (cmd.action() == LFUN_FILE_INSERT_PLAINTEXT_PARA);
+                       string const fname = to_utf8(cmd.argument());
+                       if (!fname.empty() && !FileName::isAbsolute(fname)) {
+                               dr.setMessage(_("Absolute filename expected."));
+                               break;
+                       }
+                       
+                       FileName filename(fname);
+                       if (fname.empty()) {
+                               FileDialog dlg(qt_("Select file to insert"), (as_paragraph ?
+                                       LFUN_FILE_INSERT_PLAINTEXT_PARA : LFUN_FILE_INSERT_PLAINTEXT));
+
+                               FileDialog::Result result = dlg.open(toqstr(bv->buffer().filePath()),
+                                       QStringList(qt_("All Files (*)")));
+                               
+                               if (result.first == FileDialog::Later || result.second.isEmpty()) {
+                                       dr.setMessage(_("Canceled."));
+                                       break;
+                               }
+
+                               filename.set(fromqstr(result.second));
+                       }
+
+                       if (bv) {
+                               FuncRequest const new_cmd(cmd, filename.absoluteFilePath());
+                               bv->dispatch(new_cmd, dr);
+                       }
                        break;
+               }
 
                case LFUN_BUFFER_RELOAD: {
                        LASSERT(doc_buffer, break);
-                       docstring const file = makeDisplayPath(doc_buffer->absFileName(), 20);
-                       docstring text = bformat(_("Any changes will be lost. Are you sure "
-                                                                "you want to revert to the saved version of the document %1$s?"), file);
-                       int const ret = Alert::prompt(_("Revert to saved document?"),
-                               text, 1, 1, _("&Revert"), _("&Cancel"));
+
+                       int ret = 0;
+                       if (!doc_buffer->isClean()) {
+                               docstring const file =
+                                       makeDisplayPath(doc_buffer->absFileName(), 20);
+                               docstring text = bformat(_("Any changes will be lost. "
+                                       "Are you sure you want to revert to the saved version "
+                                       "of the document %1$s?"), file);
+                               ret = Alert::prompt(_("Revert to saved document?"),
+                                       text, 1, 1, _("&Revert"), _("&Cancel"));
+                       }
 
                        if (ret == 0) {
                                doc_buffer->markClean();
-                               reloadBuffer();
+                               reloadBuffer(*doc_buffer);
+                               dr.forceBufferUpdate();
                        }
                        break;
                }
@@ -3021,7 +3484,7 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                                        LYXERR(Debug::ACTION, "Saved " << b->absFileName());
                                }
                                b = theBufferList().next(b);
-                       } while (b != first); 
+                       } while (b != first);
                        dr.setMessage(_("All documents saved."));
                        break;
                }
@@ -3043,29 +3506,28 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
 
                case LFUN_DIALOG_UPDATE: {
                        string const name = to_utf8(cmd.argument());
-                       if (currentBufferView()) {
+                       if (name == "prefs" || name == "document")
+                               updateDialog(name, string());
+                       else if (name == "paragraph")
+                               lyx::dispatch(FuncRequest(LFUN_PARAGRAPH_UPDATE));
+                       else if (currentBufferView()) {
                                Inset * inset = currentBufferView()->editedInset(name);
                                // Can only update a dialog connected to an existing inset
-                               if (!inset)
-                                       break;
-                               // FIXME: get rid of this indirection; GuiView ask the inset
-                               // if he is kind enough to update itself...
-                               FuncRequest fr(LFUN_INSET_DIALOG_UPDATE, cmd.argument());
-                               //FIXME: pass DispatchResult here?
-                               inset->dispatch(currentBufferView()->cursor(), fr);
-                       } else if (name == "paragraph") {
-                               lyx::dispatch(FuncRequest(LFUN_PARAGRAPH_UPDATE));
-                       } else if (name == "prefs" || name == "document") {
-                               updateDialog(name, string());
+                               if (inset) {
+                                       // FIXME: get rid of this indirection; GuiView ask the inset
+                                       // if he is kind enough to update itself...
+                                       FuncRequest fr(LFUN_INSET_DIALOG_UPDATE, cmd.argument());
+                                       //FIXME: pass DispatchResult here?
+                                       inset->dispatch(currentBufferView()->cursor(), fr);
+                               }
                        }
                        break;
                }
 
                case LFUN_DIALOG_TOGGLE: {
-                       if (isDialogVisible(cmd.getArg(0)))
-                               dispatch(FuncRequest(LFUN_DIALOG_HIDE, cmd.argument()), dr);
-                       else
-                               dispatch(FuncRequest(LFUN_DIALOG_SHOW, cmd.argument()), dr);
+                       FuncCode const func_code = isDialogVisible(cmd.getArg(0))
+                               ? LFUN_DIALOG_HIDE : LFUN_DIALOG_SHOW;
+                       dispatch(FuncRequest(func_code, cmd.argument()), dr);
                        break;
                }
 
@@ -3087,7 +3549,7 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                                if (!data.empty())
                                        showDialog("character", data);
                        } else if (name == "latexlog") {
-                               Buffer::LogType type; 
+                               Buffer::LogType type;
                                string const logfile = doc_buffer->logName(&type);
                                switch (type) {
                                case Buffer::latexlog:
@@ -3155,7 +3617,22 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                                }
                        }
                        break;
-                       
+
+               case LFUN_VIEW_CLOSE:
+                       if (TabWorkArea * twa = d.currentTabWorkArea()) {
+                               closeWorkArea(twa->currentWorkArea());
+                               d.current_work_area_ = 0;
+                               twa = d.currentTabWorkArea();
+                               // Switch to the next GuiWorkArea in the found TabWorkArea.
+                               if (twa) {
+                                       // Make sure the work area is up to date.
+                                       setCurrentWorkArea(twa->currentWorkArea());
+                               } else {
+                                       setCurrentWorkArea(0);
+                               }
+                       }
+                       break;
+
                case LFUN_COMPLETION_INLINE:
                        if (d.current_work_area_)
                                d.current_work_area_->completer().showInline();
@@ -3198,7 +3675,7 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
 
                        if (lyxrc.zoom < 10)
                                lyxrc.zoom = 10;
-                               
+
                        // The global QPixmapCache is used in GuiPainter to cache text
                        // painting so we must reset it.
                        QPixmapCache::clear();
@@ -3215,7 +3692,7 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                case LFUN_VC_UNDO_LAST:
                case LFUN_VC_COMMAND:
                case LFUN_VC_COMPARE:
-                       dispatchVC(cmd);
+                       dispatchVC(cmd, dr);
                        break;
 
                case LFUN_SERVER_GOTO_FILE_ROW:
@@ -3223,27 +3700,43 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                        break;
 
                case LFUN_FORWARD_SEARCH: {
-                       FileName const path(doc_buffer->temppath());
-                       string const texname = doc_buffer->latexName();
+                       Buffer const * doc_master = doc_buffer->masterBuffer();
+                       FileName const path(doc_master->temppath());
+                       string const texname = doc_master->isChild(doc_buffer)
+                               ? DocFileName(changeExtension(
+                                       doc_buffer->absFileName(),
+                                               "tex")).mangledFileName()
+                               : doc_buffer->latexName();
+                       string const fulltexname = 
+                               support::makeAbsPath(texname, doc_master->temppath()).absFileName();
+                       string const mastername =
+                               removeExtension(doc_master->latexName());
                        FileName const dviname(addName(path.absFileName(),
-                                   support::changeExtension(texname, "dvi")));
+                                       addExtension(mastername, "dvi")));
                        FileName const pdfname(addName(path.absFileName(),
-                                   support::changeExtension(texname, "pdf")));
-                       if (!dviname.exists() && !pdfname.exists()) {
+                                       addExtension(mastername, "pdf")));
+                       bool const have_dvi = dviname.exists();
+                       bool const have_pdf = pdfname.exists();
+                       if (!have_dvi && !have_pdf) {
                                dr.setMessage(_("Please, preview the document first."));
                                break;
                        }
                        string outname = dviname.onlyFileName();
                        string command = lyxrc.forward_search_dvi;
-                       if (!dviname.exists() ||
-                           pdfname.lastModified() > dviname.lastModified()) {
+                       if (!have_dvi || (have_pdf &&
+                           pdfname.lastModified() > dviname.lastModified())) {
                                outname = pdfname.onlyFileName();
                                command = lyxrc.forward_search_pdf;
                        }
 
-                       int row = doc_buffer->texrow().getRowFromIdPos(bv->cursor().paragraph().id(), bv->cursor().pos());
+                       DocIterator tmpcur = bv->cursor();
+                       // Leave math first
+                       while (tmpcur.inMathed())
+                               tmpcur.pop_back();
+                       int row = tmpcur.inMathed() ? 0 : doc_buffer->texrow().getRowFromIdPos(
+                                                               tmpcur.paragraph().id(), tmpcur.pos());
                        LYXERR(Debug::ACTION, "Forward search: row:" << row
-                               << " id:" << bv->cursor().paragraph().id());
+                               << " id:" << tmpcur.paragraph().id());
                        if (!row || command.empty()) {
                                dr.setMessage(_("Couldn't proceed."));
                                break;
@@ -3251,6 +3744,7 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                        string texrow = convert<string>(row);
 
                        command = subst(command, "$$n", texrow);
+                       command = subst(command, "$$f", fulltexname);
                        command = subst(command, "$$t", texname);
                        command = subst(command, "$$o", outname);
 
@@ -3260,7 +3754,9 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                        break;
                }
                default:
-                       dr.dispatched(false);
+                       // The LFUN must be for one of BufferView, Buffer or Cursor;
+                       // let's try that:
+                       dispatchToBufferView(cmd, dr);
                        break;
        }
 
@@ -3271,8 +3767,6 @@ void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                if (statusBar()->isVisible())
                        statusBar()->hide();
        }
-
-       return;
 }
 
 
@@ -3399,14 +3893,15 @@ namespace {
 // docs in LyXAction.cpp.
 
 char const * const dialognames[] = {
+
 "aboutlyx", "bibitem", "bibtex", "box", "branch", "changes", "character",
-"citation", "compare", "document", "errorlist", "ert", "external", "file",
-"findreplace", "findreplaceadv", "float", "graphics", "href", "include",
-"index", "index_print", "info", "listings", "label", "log", "mathdelimiter",
-"mathmatrix", "mathspace", "nomenclature", "nomencl_print", "note",
-"paragraph", "phantom", "prefs", "print", "ref", "sendto", "space",
-"spellchecker", "symbols", "tabular", "tabularcreate", "thesaurus", "texinfo",
-"toc", "view-source", "vspace", "wrap", "progress"};
+"citation", "compare", "comparehistory", "document", "errorlist", "ert",
+"external", "file", "findreplace", "findreplaceadv", "float", "graphics",
+"href", "include", "index", "index_print", "info", "listings", "label", "line",
+"log", "mathdelimiter", "mathmatrix", "mathspace", "nomenclature",
+"nomencl_print", "note", "paragraph", "phantom", "prefs", "print", "ref",
+"sendto", "space", "spellchecker", "symbols", "tabular", "tabularcreate",
+"thesaurus", "texinfo", "toc", "view-source", "vspace", "wrap", "progress"};
 
 char const * const * const end_dialognames =
        dialognames + (sizeof(dialognames) / sizeof(char *));
@@ -3436,6 +3931,7 @@ void GuiView::resetDialogs()
        // Make sure that no LFUN uses any GuiView.
        guiApp->setCurrentView(0);
        saveLayout();
+       saveUISettings();
        menuBar()->clear();
        constructToolbars();
        guiApp->menus().fillMenuBar(menuBar(), this, false);
@@ -3490,9 +3986,18 @@ void GuiView::doShowDialog(QString const & qname, QString const & qdata,
        try {
                Dialog * dialog = findOrBuild(name, false);
                if (dialog) {
+                       bool const visible = dialog->isVisibleView();
                        dialog->showData(data);
                        if (inset && currentBufferView())
                                currentBufferView()->editInset(name, inset);
+                       // We only set the focus to the new dialog if it was not yet
+                       // visible in order not to change the existing previous behaviour
+                       if (visible) {
+                               // activateWindow is needed for floating dockviews
+                               dialog->asQWidget()->raise();
+                               dialog->asQWidget()->activateWindow();
+                               dialog->asQWidget()->setFocus();
+                       }
                }
        }
        catch (ExceptionMessage const & ex) {
@@ -3518,9 +4023,12 @@ void GuiView::hideDialog(string const & name, Inset * inset)
        if (it == d.dialogs_.end())
                return;
 
-       if (inset && currentBufferView()
-               && inset != currentBufferView()->editedInset(name))
-               return;
+       if (inset) {
+               if (!currentBufferView())
+                       return;
+               if (inset != currentBufferView()->editedInset(name))
+                       return;
+       }
 
        Dialog * const dialog = it->second.get();
        if (dialog->isVisibleView())
@@ -3557,7 +4065,7 @@ void GuiView::updateDialogs()
        for(; it != end; ++it) {
                Dialog * dialog = it->second.get();
                if (dialog) {
-                       if (dialog->isBufferDependent() && !documentBufferView())
+                       if (dialog->needBufferOpen() && !documentBufferView())
                                hideDialog(fromqstr(dialog->name()), 0);
                        else if (dialog->isVisibleView())
                                dialog->checkStatus();
@@ -3576,6 +4084,7 @@ Dialog * createGuiChanges(GuiView & lv);
 Dialog * createGuiCharacter(GuiView & lv);
 Dialog * createGuiCitation(GuiView & lv);
 Dialog * createGuiCompare(GuiView & lv);
+Dialog * createGuiCompareHistory(GuiView & lv);
 Dialog * createGuiDelimiter(GuiView & lv);
 Dialog * createGuiDocument(GuiView & lv);
 Dialog * createGuiErrorList(GuiView & lv);
@@ -3583,18 +4092,15 @@ Dialog * createGuiExternal(GuiView & lv);
 Dialog * createGuiGraphics(GuiView & lv);
 Dialog * createGuiInclude(GuiView & lv);
 Dialog * createGuiIndex(GuiView & lv);
-Dialog * createGuiLabel(GuiView & lv);
 Dialog * createGuiListings(GuiView & lv);
 Dialog * createGuiLog(GuiView & lv);
 Dialog * createGuiMathMatrix(GuiView & lv);
-Dialog * createGuiNomenclature(GuiView & lv);
 Dialog * createGuiNote(GuiView & lv);
 Dialog * createGuiParagraph(GuiView & lv);
 Dialog * createGuiPhantom(GuiView & lv);
 Dialog * createGuiPreferences(GuiView & lv);
 Dialog * createGuiPrint(GuiView & lv);
 Dialog * createGuiPrintindex(GuiView & lv);
-Dialog * createGuiPrintNomencl(GuiView & lv);
 Dialog * createGuiRef(GuiView & lv);
 Dialog * createGuiSearch(GuiView & lv);
 Dialog * createGuiSearchAdv(GuiView & lv);
@@ -3606,7 +4112,6 @@ Dialog * createGuiTabularCreate(GuiView & lv);
 Dialog * createGuiTexInfo(GuiView & lv);
 Dialog * createGuiToc(GuiView & lv);
 Dialog * createGuiThesaurus(GuiView & lv);
-Dialog * createGuiHyperlink(GuiView & lv);
 Dialog * createGuiViewSource(GuiView & lv);
 Dialog * createGuiWrap(GuiView & lv);
 Dialog * createGuiProgressView(GuiView & lv);
@@ -3633,6 +4138,8 @@ Dialog * GuiView::build(string const & name)
                return createGuiCitation(*this);
        if (name == "compare")
                return createGuiCompare(*this);
+       if (name == "comparehistory")
+               return createGuiCompareHistory(*this);
        if (name == "document")
                return createGuiDocument(*this);
        if (name == "errorlist")
@@ -3647,16 +4154,12 @@ Dialog * GuiView::build(string const & name)
                return createGuiSearchAdv(*this);
        if (name == "graphics")
                return createGuiGraphics(*this);
-       if (name == "href")
-               return createGuiHyperlink(*this);
        if (name == "include")
                return createGuiInclude(*this);
        if (name == "index")
                return createGuiIndex(*this);
        if (name == "index_print")
                return createGuiPrintindex(*this);
-       if (name == "label")
-               return createGuiLabel(*this);
        if (name == "listings")
                return createGuiListings(*this);
        if (name == "log")
@@ -3665,10 +4168,6 @@ Dialog * GuiView::build(string const & name)
                return createGuiDelimiter(*this);
        if (name == "mathmatrix")
                return createGuiMathMatrix(*this);
-       if (name == "nomenclature")
-               return createGuiNomenclature(*this);
-       if (name == "nomencl_print")
-               return createGuiPrintNomencl(*this);
        if (name == "note")
                return createGuiNote(*this);
        if (name == "paragraph")