src/frontends/qt4/GuiView.cpp

   1 /**
   2  * \file GuiView.cpp
   3  * This file is part of LyX, the document processor.
   4  * Licence details can be found in the file COPYING.
   5  *
   6  * \author Lars Gullik Bjønnes
   7  * \author John Levon
   8  * \author Abdelrazak Younes
   9  * \author Peter Kümmel
  10  *
  11  * Full author contact details are available in file CREDITS.
  12  */
  13
  14 #include <config.h>
  15
  16 #include "GuiView.h"
  17
  18 #include "Dialog.h"
  19 #include "DispatchResult.h"
  20 #include "FileDialog.h"
  21 #include "FontLoader.h"
  22 #include "GuiApplication.h"
  23 #include "GuiCommandBuffer.h"
  24 #include "GuiCompleter.h"
  25 #include "GuiKeySymbol.h"
  26 #include "GuiToc.h"
  27 #include "GuiToolbar.h"
  28 #include "GuiWorkArea.h"
  29 #include "GuiProgress.h"
  30 #include "LayoutBox.h"
  31 #include "Menus.h"
  32 #include "TocModel.h"
  33
  34 #include "qt_helpers.h"
  35 #include "support/filetools.h"
  36
  37 #include "frontends/alert.h"
  38 #include "frontends/KeySymbol.h"
  39
  40 #include "buffer_funcs.h"
  41 #include "Buffer.h"
  42 #include "BufferList.h"
  43 #include "BufferParams.h"
  44 #include "BufferView.h"
  45 #include "Compare.h"
  46 #include "Converter.h"
  47 #include "Cursor.h"
  48 #include "CutAndPaste.h"
  49 #include "Encoding.h"
  50 #include "ErrorList.h"
  51 #include "Format.h"
  52 #include "FuncStatus.h"
  53 #include "FuncRequest.h"
  54 #include "Intl.h"
  55 #include "Layout.h"
  56 #include "Lexer.h"
  57 #include "LyXAction.h"
  58 #include "LyX.h"
  59 #include "LyXRC.h"
  60 #include "LyXVC.h"
  61 #include "Paragraph.h"
  62 #include "SpellChecker.h"
  63 #include "Session.h"
  64 #include "TexRow.h"
  65 #include "TextClass.h"
  66 #include "Text.h"
  67 #include "Toolbars.h"
  68 #include "version.h"
  69
  70 #include "support/convert.h"
  71 #include "support/debug.h"
  72 #include "support/ExceptionMessage.h"
  73 #include "support/FileName.h"
  74 #include "support/filetools.h"
  75 #include "support/gettext.h"
  76 #include "support/filetools.h"
  77 #include "support/ForkedCalls.h"
  78 #include "support/lassert.h"
  79 #include "support/lstrings.h"
  80 #include "support/os.h"
  81 #include "support/Package.h"
  82 #include "support/PathChanger.h"
  83 #include "support/Systemcall.h"
  84 #include "support/Timeout.h"
  85 #include "support/ProgressInterface.h"
  86
  87 #include <QAction>
  88 #include <QApplication>
  89 #include <QCloseEvent>
  90 #include <QDebug>
  91 #include <QDesktopWidget>
  92 #include <QDragEnterEvent>
  93 #include <QDropEvent>
  94 #include <QFuture>
  95 #include <QFutureWatcher>
  96 #include <QLabel>
  97 #include <QList>
  98 #include <QMenu>
  99 #include <QMenuBar>
 100 #include <QMimeData>
 101 #include <QMovie>
 102 #include <QPainter>
 103 #include <QPixmap>
 104 #include <QPixmapCache>
 105 #include <QPoint>
 106 #include <QPushButton>
 107 #include <QScrollBar>
 108 #include <QSettings>
 109 #include <QShowEvent>
 110 #include <QSplitter>
 111 #include <QStackedWidget>
 112 #include <QStatusBar>
 113 #if QT_VERSION >= 0x050000
 114 #include <QSvgRenderer>
 115 #endif
 116 #include <QtConcurrentRun>
 117 #include <QTime>
 118 #include <QTimer>
 119 #include <QToolBar>
 120 #include <QUrl>
 121
 122
 123
 124 // sync with GuiAlert.cpp
 125 #define EXPORT_in_THREAD 1
 126
 127
 128 #include "support/bind.h"
 129
 130 #include <sstream>
 131
 132 #ifdef HAVE_SYS_TIME_H
 133 # include <sys/time.h>
 134 #endif
 135 #ifdef HAVE_UNISTD_H
 136 # include <unistd.h>
 137 #endif
 138
 139
 140 using namespace std;
 141 using namespace lyx::support;
 142
 143 namespace lyx {
 144
 145 using support::addExtension;
 146 using support::changeExtension;
 147 using support::removeExtension;
 148
 149 namespace frontend {
 150
 151 namespace {
 152
 153 class BackgroundWidget : public QWidget
 154 {
 155 public:
 156         BackgroundWidget(int width, int height)
 157                 : width_(width), height_(height)
 158         {
 159                 LYXERR(Debug::GUI, "show banner: " << lyxrc.show_banner);
 160                 if (!lyxrc.show_banner)
 161                         return;
 162                 /// The text to be written on top of the pixmap
 163                 QString const text = lyx_version ?
 164                         qt_("version ") + lyx_version : qt_("unknown version");
 165 #if QT_VERSION >= 0x050000
 166                 QString imagedir = "images/";
 167                 FileName fname = imageLibFileSearch(imagedir, "banner", "svgz");
 168                 QSvgRenderer svgRenderer(toqstr(fname.absFileName()));
 169                 if (svgRenderer.isValid()) {
 170                         splash_ = QPixmap(splashSize());
 171                         QPainter painter(&splash_);
 172                         svgRenderer.render(&painter);
 173                         splash_.setDevicePixelRatio(pixelRatio());
 174                 } else {
 175                         splash_ = getPixmap("images/", "banner", "png");
 176                 }
 177 #else
 178                 splash_ = getPixmap("images/", "banner", "svgz,png");
 179 #endif
 180
 181                 QPainter pain(&splash_);
 182                 pain.setPen(QColor(0, 0, 0));
 183                 qreal const fsize = fontSize();
 184                 QPointF const position = textPosition();
 185                 LYXERR(Debug::GUI,
 186                         "widget pixel ratio: " << pixelRatio() <<
 187                         " splash pixel ratio: " << splashPixelRatio() <<
 188                         " version text size,position: " << fsize << "@" << position.x() << "+" << position.y());
 189                 QFont font;
 190                 // The font used to display the version info
 191                 font.setStyleHint(QFont::SansSerif);
 192                 font.setWeight(QFont::Bold);
 193                 font.setPointSizeF(fsize);
 194                 pain.setFont(font);
 195                 pain.drawText(position, text);
 196                 setFocusPolicy(Qt::StrongFocus);
 197         }
 198
 199         void paintEvent(QPaintEvent *)
 200         {
 201                 int const w = width_;
 202                 int const h = height_;
 203                 int const x = (width() - w) / 2;
 204                 int const y = (height() - h) / 2;
 205                 LYXERR(Debug::GUI,
 206                         "widget pixel ratio: " << pixelRatio() <<
 207                         " splash pixel ratio: " << splashPixelRatio() <<
 208                         " paint pixmap: " << w << "x" << h << "@" << x << "+" << y);
 209                 QPainter pain(this);
 210                 pain.drawPixmap(x, y, w, h, splash_);
 211         }
 212
 213         void keyPressEvent(QKeyEvent * ev)
 214         {
 215                 KeySymbol sym;
 216                 setKeySymbol(&sym, ev);
 217                 if (sym.isOK()) {
 218                         guiApp->processKeySym(sym, q_key_state(ev->modifiers()));
 219                         ev->accept();
 220                 } else {
 221                         ev->ignore();
 222                 }
 223         }
 224
 225 private:
 226         QPixmap splash_;
 227         int const width_;
 228         int const height_;
 229
 230         /// Current ratio between physical pixels and device-independent pixels
 231         double pixelRatio() const {
 232 #if QT_VERSION >= 0x050000
 233                 return devicePixelRatio();
 234 #else
 235                 return 1.0;
 236 #endif
 237         }
 238
 239         qreal fontSize() const {
 240                 return toqstr(lyxrc.font_sizes[FONT_SIZE_NORMAL]).toDouble();
 241         }
 242
 243         QPointF textPosition() const {
 244                 return QPointF(width_/2 - 18, height_/2 + 45);
 245         }
 246
 247         QSize splashSize() const {
 248                 return QSize(
 249                         static_cast<unsigned int>(width_ * pixelRatio()),
 250                         static_cast<unsigned int>(height_ * pixelRatio()));
 251         }
 252
 253         /// Ratio between physical pixels and device-independent pixels of splash image
 254         double splashPixelRatio() const {
 255 #if QT_VERSION >= 0x050000
 256                 return splash_.devicePixelRatio();
 257 #else
 258                 return 1.0;
 259 #endif
 260         }
 261 };
 262
 263
 264 /// Toolbar store providing access to individual toolbars by name.
 265 typedef map<string, GuiToolbar *> ToolbarMap;
 266
 267 typedef shared_ptr<Dialog> DialogPtr;
 268
 269 } // namespace anon
 270
 271
 272 class GuiView::GuiViewPrivate
 273 {
 274         /// noncopyable
 275         GuiViewPrivate(GuiViewPrivate const &);
 276         void operator=(GuiViewPrivate const &);
 277 public:
 278         GuiViewPrivate(GuiView * gv)
 279                 : gv_(gv), current_work_area_(0), current_main_work_area_(0),
 280                 layout_(0), autosave_timeout_(5000),
 281                 in_show_(false)
 282         {
 283                 // hardcode here the platform specific icon size
 284                 smallIconSize = 16;  // scaling problems
 285                 normalIconSize = 20; // ok, default if iconsize.png is missing
 286                 bigIconSize = 26;       // better for some math icons
 287                 hugeIconSize = 32;      // better for hires displays
 288                 giantIconSize = 48;
 289
 290                 // if it exists, use width of iconsize.png as normal size
 291                 QString const dir = toqstr(addPath("images", lyxrc.icon_set));
 292                 FileName const fn = lyx::libFileSearch(dir, "iconsize.png");
 293                 if (!fn.empty()) {
 294                         QImage image(toqstr(fn.absFileName()));
 295                         if (image.width() < int(smallIconSize))
 296                                 normalIconSize = smallIconSize;
 297                         else if (image.width() > int(giantIconSize))
 298                                 normalIconSize = giantIconSize;
 299                         else
 300                                 normalIconSize = image.width();
 301                 }
 302
 303                 splitter_ = new QSplitter;
 304                 bg_widget_ = new BackgroundWidget(400, 250);
 305                 stack_widget_ = new QStackedWidget;
 306                 stack_widget_->addWidget(bg_widget_);
 307                 stack_widget_->addWidget(splitter_);
 308                 setBackground();
 309
 310                 // TODO cleanup, remove the singleton, handle multiple Windows?
 311                 progress_ = ProgressInterface::instance();
 312                 if (!dynamic_cast<GuiProgress*>(progress_)) {
 313                         progress_ = new GuiProgress;  // TODO who deletes it
 314                         ProgressInterface::setInstance(progress_);
 315                 }
 316                 QObject::connect(
 317                                 dynamic_cast<GuiProgress*>(progress_),
 318                                 SIGNAL(updateStatusBarMessage(QString const&)),
 319                                 gv, SLOT(updateStatusBarMessage(QString const&)));
 320                 QObject::connect(
 321                                 dynamic_cast<GuiProgress*>(progress_),
 322                                 SIGNAL(clearMessageText()),
 323                                 gv, SLOT(clearMessageText()));
 324         }
 325
 326         ~GuiViewPrivate()
 327         {
 328                 delete splitter_;
 329                 delete bg_widget_;
 330                 delete stack_widget_;
 331         }
 332
 333         QMenu * toolBarPopup(GuiView * parent)
 334         {
 335                 // FIXME: translation
 336                 QMenu * menu = new QMenu(parent);
 337                 QActionGroup * iconSizeGroup = new QActionGroup(parent);
 338
 339                 QAction * smallIcons = new QAction(iconSizeGroup);
 340                 smallIcons->setText(qt_("Small-sized icons"));
 341                 smallIcons->setCheckable(true);
 342                 QObject::connect(smallIcons, SIGNAL(triggered()),
 343                         parent, SLOT(smallSizedIcons()));
 344                 menu->addAction(smallIcons);
 345
 346                 QAction * normalIcons = new QAction(iconSizeGroup);
 347                 normalIcons->setText(qt_("Normal-sized icons"));
 348                 normalIcons->setCheckable(true);
 349                 QObject::connect(normalIcons, SIGNAL(triggered()),
 350                         parent, SLOT(normalSizedIcons()));
 351                 menu->addAction(normalIcons);
 352
 353                 QAction * bigIcons = new QAction(iconSizeGroup);
 354                 bigIcons->setText(qt_("Big-sized icons"));
 355                 bigIcons->setCheckable(true);
 356                 QObject::connect(bigIcons, SIGNAL(triggered()),
 357                         parent, SLOT(bigSizedIcons()));
 358                 menu->addAction(bigIcons);
 359
 360                 QAction * hugeIcons = new QAction(iconSizeGroup);
 361                 hugeIcons->setText(qt_("Huge-sized icons"));
 362                 hugeIcons->setCheckable(true);
 363                 QObject::connect(hugeIcons, SIGNAL(triggered()),
 364                         parent, SLOT(hugeSizedIcons()));
 365                 menu->addAction(hugeIcons);
 366
 367                 QAction * giantIcons = new QAction(iconSizeGroup);
 368                 giantIcons->setText(qt_("Giant-sized icons"));
 369                 giantIcons->setCheckable(true);
 370                 QObject::connect(giantIcons, SIGNAL(triggered()),
 371                         parent, SLOT(giantSizedIcons()));
 372                 menu->addAction(giantIcons);
 373
 374                 unsigned int cur = parent->iconSize().width();
 375                 if ( cur == parent->d.smallIconSize)
 376                         smallIcons->setChecked(true);
 377                 else if (cur == parent->d.normalIconSize)
 378                         normalIcons->setChecked(true);
 379                 else if (cur == parent->d.bigIconSize)
 380                         bigIcons->setChecked(true);
 381                 else if (cur == parent->d.hugeIconSize)
 382                         hugeIcons->setChecked(true);
 383                 else if (cur == parent->d.giantIconSize)
 384                         giantIcons->setChecked(true);
 385
 386                 return menu;
 387         }
 388
 389         void setBackground()
 390         {
 391                 stack_widget_->setCurrentWidget(bg_widget_);
 392                 bg_widget_->setUpdatesEnabled(true);
 393                 bg_widget_->setFocus();
 394         }
 395
 396         int tabWorkAreaCount()
 397         {
 398                 return splitter_->count();
 399         }
 400
 401         TabWorkArea * tabWorkArea(int i)
 402         {
 403                 return dynamic_cast<TabWorkArea *>(splitter_->widget(i));
 404         }
 405
 406         TabWorkArea * currentTabWorkArea()
 407         {
 408                 int areas = tabWorkAreaCount();
 409                 if (areas == 1)
 410                         // The first TabWorkArea is always the first one, if any.
 411                         return tabWorkArea(0);
 412
 413                 for (int i = 0; i != areas;  ++i) {
 414                         TabWorkArea * twa = tabWorkArea(i);
 415                         if (current_main_work_area_ == twa->currentWorkArea())
 416                                 return twa;
 417                 }
 418
 419                 // None has the focus so we just take the first one.
 420                 return tabWorkArea(0);
 421         }
 422
 423         int countWorkAreasOf(Buffer & buf)
 424         {
 425                 int areas = tabWorkAreaCount();
 426                 int count = 0;
 427                 for (int i = 0; i != areas;  ++i) {
 428                         TabWorkArea * twa = tabWorkArea(i);
 429                         if (twa->workArea(buf))
 430                                 ++count;
 431                 }
 432                 return count;
 433         }
 434
 435         void setPreviewFuture(QFuture<Buffer::ExportStatus> const & f)
 436         {
 437                 if (processing_thread_watcher_.isRunning()) {
 438                         // we prefer to cancel this preview in order to keep a snappy
 439                         // interface.
 440                         return;
 441                 }
 442                 processing_thread_watcher_.setFuture(f);
 443         }
 444
 445 public:
 446         GuiView * gv_;
 447         GuiWorkArea * current_work_area_;
 448         GuiWorkArea * current_main_work_area_;
 449         QSplitter * splitter_;
 450         QStackedWidget * stack_widget_;
 451         BackgroundWidget * bg_widget_;
 452         /// view's toolbars
 453         ToolbarMap toolbars_;
 454         ProgressInterface* progress_;
 455         /// The main layout box.
 456         /**
 457          * \warning Don't Delete! The layout box is actually owned by
 458          * whichever toolbar contains it. All the GuiView class needs is a
 459          * means of accessing it.
 460          *
 461          * FIXME: replace that with a proper model so that we are not limited
 462          * to only one dialog.
 463          */
 464         LayoutBox * layout_;
 465
 466         ///
 467         map<string, DialogPtr> dialogs_;
 468
 469         unsigned int smallIconSize;
 470         unsigned int normalIconSize;
 471         unsigned int bigIconSize;
 472         unsigned int hugeIconSize;
 473         unsigned int giantIconSize;
 474         ///
 475         QTimer statusbar_timer_;
 476         /// auto-saving of buffers
 477         Timeout autosave_timeout_;
 478         /// flag against a race condition due to multiclicks, see bug #1119
 479         bool in_show_;
 480
 481         ///
 482         TocModels toc_models_;
 483
 484         ///
 485         QFutureWatcher<docstring> autosave_watcher_;
 486         QFutureWatcher<Buffer::ExportStatus> processing_thread_watcher_;
 487         ///
 488         string last_export_format;
 489         string processing_format;
 490
 491         static QSet<Buffer const *> busyBuffers;
 492         static Buffer::ExportStatus previewAndDestroy(Buffer const * orig, Buffer * buffer, string const & format);
 493         static Buffer::ExportStatus exportAndDestroy(Buffer const * orig, Buffer * buffer, string const & format);
 494         static Buffer::ExportStatus compileAndDestroy(Buffer const * orig, Buffer * buffer, string const & format);
 495         static docstring autosaveAndDestroy(Buffer const * orig, Buffer * buffer);
 496
 497         template<class T>
 498         static Buffer::ExportStatus runAndDestroy(const T& func, Buffer const * orig, Buffer * buffer, string const & format);
 499
 500         // TODO syncFunc/previewFunc: use bind
 501         bool asyncBufferProcessing(string const & argument,
 502                                    Buffer const * used_buffer,
 503                                    docstring const & msg,
 504                                    Buffer::ExportStatus (*asyncFunc)(Buffer const *, Buffer *, string const &),
 505                                    Buffer::ExportStatus (Buffer::*syncFunc)(string const &, bool) const,
 506                                    Buffer::ExportStatus (Buffer::*previewFunc)(string const &) const);
 507
 508         QVector<GuiWorkArea*> guiWorkAreas();
 509 };
 510
 511 QSet<Buffer const *> GuiView::GuiViewPrivate::busyBuffers;
 512
 513
 514 GuiView::GuiView(int id)
 515         : d(*new GuiViewPrivate(this)), id_(id), closing_(false), busy_(0),
 516           command_execute_(false)
 517 {
 518         // GuiToolbars *must* be initialised before the menu bar.
 519         normalSizedIcons(); // at least on Mac the default is 32 otherwise, which is huge
 520         constructToolbars();
 521
 522         // set ourself as the current view. This is needed for the menu bar
 523         // filling, at least for the static special menu item on Mac. Otherwise
 524         // they are greyed out.
 525         guiApp->setCurrentView(this);
 526
 527         // Fill up the menu bar.
 528         guiApp->menus().fillMenuBar(menuBar(), this, true);
 529
 530         setCentralWidget(d.stack_widget_);
 531
 532         // Start autosave timer
 533         if (lyxrc.autosave) {
 534                 d.autosave_timeout_.timeout.connect(bind(&GuiView::autoSave, this));
 535                 d.autosave_timeout_.setTimeout(lyxrc.autosave * 1000);
 536                 d.autosave_timeout_.start();
 537         }
 538         connect(&d.statusbar_timer_, SIGNAL(timeout()),
 539                 this, SLOT(clearMessage()));
 540
 541         // We don't want to keep the window in memory if it is closed.
 542         setAttribute(Qt::WA_DeleteOnClose, true);
 543
 544 #if !(defined(Q_OS_WIN) || defined(Q_CYGWIN_WIN)) && !defined(Q_OS_MAC)
 545         // QIcon::fromTheme was introduced in Qt 4.6
 546 #if (QT_VERSION >= 0x040600)
 547         // assign an icon to main form. We do not do it under Qt/Win or Qt/Mac,
 548         // since the icon is provided in the application bundle. We use a themed
 549         // version when available and use the bundled one as fallback.
 550         setWindowIcon(QIcon::fromTheme("lyx", getPixmap("images/", "lyx", "svg,png")));
 551 #else
 552         setWindowIcon(getPixmap("images/", "lyx", "svg,png"));
 553 #endif
 554
 555 #endif
 556         resetWindowTitleAndIconText();
 557
 558         // use tabbed dock area for multiple docks
 559         // (such as "source" and "messages")
 560         setDockOptions(QMainWindow::ForceTabbedDocks);
 561
 562         // For Drag&Drop.
 563         setAcceptDrops(true);
 564
 565         // add busy indicator to statusbar
 566         QLabel * busylabel = new QLabel(statusBar());
 567         statusBar()->addPermanentWidget(busylabel);
 568         search_mode mode = theGuiApp()->imageSearchMode();
 569         QString fn = toqstr(lyx::libFileSearch("images", "busy", "gif", mode).absFileName());
 570         QMovie * busyanim = new QMovie(fn, QByteArray(), busylabel);
 571         busylabel->setMovie(busyanim);
 572         busyanim->start();
 573         busylabel->hide();
 574
 575         connect(&d.processing_thread_watcher_, SIGNAL(started()),
 576                 busylabel, SLOT(show()));
 577         connect(&d.processing_thread_watcher_, SIGNAL(finished()),
 578                 busylabel, SLOT(hide()));
 579
 580         statusBar()->setSizeGripEnabled(true);
 581         updateStatusBar();
 582
 583         connect(&d.autosave_watcher_, SIGNAL(finished()), this,
 584                 SLOT(autoSaveThreadFinished()));
 585
 586         connect(&d.processing_thread_watcher_, SIGNAL(started()), this,
 587                 SLOT(processingThreadStarted()));
 588         connect(&d.processing_thread_watcher_, SIGNAL(finished()), this,
 589                 SLOT(processingThreadFinished()));
 590
 591         connect(this, SIGNAL(triggerShowDialog(QString const &, QString const &, Inset *)),
 592                 SLOT(doShowDialog(QString const &, QString const &, Inset *)));
 593
 594         // Forbid too small unresizable window because it can happen
 595         // with some window manager under X11.
 596         setMinimumSize(300, 200);
 597
 598         if (lyxrc.allow_geometry_session) {
 599                 // Now take care of session management.
 600                 if (restoreLayout())
 601                         return;
 602         }
 603
 604         // no session handling, default to a sane size.
 605         setGeometry(50, 50, 690, 510);
 606         initToolbars();
 607
 608         // clear session data if any.
 609         QSettings settings;
 610         settings.remove("views");
 611 }
 612
 613
 614 GuiView::~GuiView()
 615 {
 616         delete &d;
 617 }
 618
 619
 620 QVector<GuiWorkArea*> GuiView::GuiViewPrivate::guiWorkAreas()
 621 {
 622         QVector<GuiWorkArea*> areas;
 623         for (int i = 0; i < tabWorkAreaCount(); i++) {
 624                 TabWorkArea* ta = tabWorkArea(i);
 625                 for (int u = 0; u < ta->count(); u++) {
 626                         areas << ta->workArea(u);
 627                 }
 628         }
 629         return areas;
 630 }
 631
 632 static void handleExportStatus(GuiView * view, Buffer::ExportStatus status,
 633         string const & format)
 634 {
 635         docstring const fmt = formats.prettyName(format);
 636         docstring msg;
 637         switch (status) {
 638         case Buffer::ExportSuccess:
 639                 msg = bformat(_("Successful export to format: %1$s"), fmt);
 640                 break;
 641         case Buffer::ExportCancel:
 642                 msg = _("Document export cancelled.");
 643                 break;
 644         case Buffer::ExportError:
 645         case Buffer::ExportNoPathToFormat:
 646         case Buffer::ExportTexPathHasSpaces:
 647         case Buffer::ExportConverterError:
 648                 msg = bformat(_("Error while exporting format: %1$s"), fmt);
 649                 break;
 650         case Buffer::PreviewSuccess:
 651                 msg = bformat(_("Successful preview of format: %1$s"), fmt);
 652                 break;
 653         case Buffer::PreviewError:
 654                 msg = bformat(_("Error while previewing format: %1$s"), fmt);
 655                 break;
 656         }
 657         view->message(msg);
 658 }
 659
 660
 661 void GuiView::processingThreadStarted()
 662 {
 663 }
 664
 665
 666 void GuiView::processingThreadFinished()
 667 {
 668         QFutureWatcher<Buffer::ExportStatus> const * watcher =
 669                 static_cast<QFutureWatcher<Buffer::ExportStatus> const *>(sender());
 670
 671         Buffer::ExportStatus const status = watcher->result();
 672         handleExportStatus(this, status, d.processing_format);
 673
 674         updateToolbars();
 675         BufferView const * const bv = currentBufferView();
 676         if (bv && !bv->buffer().errorList("Export").empty()) {
 677                 errors("Export");
 678                 return;
 679         }
 680         errors(d.last_export_format);
 681 }
 682
 683
 684 void GuiView::autoSaveThreadFinished()
 685 {
 686         QFutureWatcher<docstring> const * watcher =
 687                 static_cast<QFutureWatcher<docstring> const *>(sender());
 688         message(watcher->result());
 689         updateToolbars();
 690 }
 691
 692
 693 void GuiView::saveLayout() const
 694 {
 695         QSettings settings;
 696         settings.beginGroup("views");
 697         settings.beginGroup(QString::number(id_));
 698 #if defined(Q_WS_X11) || defined(QPA_XCB)
 699         settings.setValue("pos", pos());
 700         settings.setValue("size", size());
 701 #else
 702         settings.setValue("geometry", saveGeometry());
 703 #endif
 704         settings.setValue("layout", saveState(0));
 705         settings.setValue("icon_size", iconSize());
 706 }
 707
 708
 709 void GuiView::saveUISettings() const
 710 {
 711         // Save the toolbar private states
 712         ToolbarMap::iterator end = d.toolbars_.end();
 713         for (ToolbarMap::iterator it = d.toolbars_.begin(); it != end; ++it)
 714                 it->second->saveSession();
 715         // Now take care of all other dialogs
 716         map<string, DialogPtr>::const_iterator it = d.dialogs_.begin();
 717         for (; it!= d.dialogs_.end(); ++it)
 718                 it->second->saveSession();
 719 }
 720
 721
 722 bool GuiView::restoreLayout()
 723 {
 724         QSettings settings;
 725         settings.beginGroup("views");
 726         settings.beginGroup(QString::number(id_));
 727         QString const icon_key = "icon_size";
 728         if (!settings.contains(icon_key))
 729                 return false;
 730
 731         //code below is skipped when when ~/.config/LyX is (re)created
 732         QSize icon_size = settings.value(icon_key).toSize();
 733         // Check whether session size changed.
 734         if (icon_size.width() != int(d.smallIconSize) &&
 735             icon_size.width() != int(d.normalIconSize) &&
 736             icon_size.width() != int(d.bigIconSize) &&
 737             icon_size.width() != int(d.hugeIconSize) &&
 738             icon_size.width() != int(d.giantIconSize)) {
 739                 icon_size.setWidth(d.normalIconSize);
 740                 icon_size.setHeight(d.normalIconSize);
 741         }
 742         setIconSize(icon_size);
 743
 744 #if defined(Q_WS_X11) || defined(QPA_XCB)
 745         QPoint pos = settings.value("pos", QPoint(50, 50)).toPoint();
 746         QSize size = settings.value("size", QSize(690, 510)).toSize();
 747         resize(size);
 748         move(pos);
 749 #else
 750         // Work-around for bug #6034: the window ends up in an undetermined
 751         // state when trying to restore a maximized window when it is
 752         // already maximized.
 753         if (!(windowState() & Qt::WindowMaximized))
 754                 if (!restoreGeometry(settings.value("geometry").toByteArray()))
 755                         setGeometry(50, 50, 690, 510);
 756 #endif
 757         // Make sure layout is correctly oriented.
 758         setLayoutDirection(qApp->layoutDirection());
 759
 760         // Allow the toc and view-source dock widget to be restored if needed.
 761         Dialog * dialog;
 762         if ((dialog = findOrBuild("toc", true)))
 763                 // see bug 5082. At least setup title and enabled state.
 764                 // Visibility will be adjusted by restoreState below.
 765                 dialog->prepareView();
 766         if ((dialog = findOrBuild("view-source", true)))
 767                 dialog->prepareView();
 768         if ((dialog = findOrBuild("progress", true)))
 769                 dialog->prepareView();
 770
 771         if (!restoreState(settings.value("layout").toByteArray(), 0))
 772                 initToolbars();
 773
 774         // init the toolbars that have not been restored
 775         Toolbars::Infos::iterator cit = guiApp->toolbars().begin();
 776         Toolbars::Infos::iterator end = guiApp->toolbars().end();
 777         for (; cit != end; ++cit) {
 778                 GuiToolbar * tb = toolbar(cit->name);
 779                 if (tb && !tb->isRestored())
 780                         initToolbar(cit->name);
 781         }
 782
 783         updateDialogs();
 784         return true;
 785 }
 786
 787
 788 GuiToolbar * GuiView::toolbar(string const & name)
 789 {
 790         ToolbarMap::iterator it = d.toolbars_.find(name);
 791         if (it != d.toolbars_.end())
 792                 return it->second;
 793
 794         LYXERR(Debug::GUI, "Toolbar::display: no toolbar named " << name);
 795         return 0;
 796 }
 797
 798
 799 void GuiView::constructToolbars()
 800 {
 801         ToolbarMap::iterator it = d.toolbars_.begin();
 802         for (; it != d.toolbars_.end(); ++it)
 803                 delete it->second;
 804         d.toolbars_.clear();
 805
 806         // I don't like doing this here, but the standard toolbar
 807         // destroys this object when it's destroyed itself (vfr)
 808         d.layout_ = new LayoutBox(*this);
 809         d.stack_widget_->addWidget(d.layout_);
 810         d.layout_->move(0,0);
 811
 812         // extracts the toolbars from the backend
 813         Toolbars::Infos::iterator cit = guiApp->toolbars().begin();
 814         Toolbars::Infos::iterator end = guiApp->toolbars().end();
 815         for (; cit != end; ++cit)
 816                 d.toolbars_[cit->name] =  new GuiToolbar(*cit, *this);
 817 }
 818
 819
 820 void GuiView::initToolbars()
 821 {
 822         // extracts the toolbars from the backend
 823         Toolbars::Infos::iterator cit = guiApp->toolbars().begin();
 824         Toolbars::Infos::iterator end = guiApp->toolbars().end();
 825         for (; cit != end; ++cit)
 826                 initToolbar(cit->name);
 827 }
 828
 829
 830 void GuiView::initToolbar(string const & name)
 831 {
 832         GuiToolbar * tb = toolbar(name);
 833         if (!tb)
 834                 return;
 835         int const visibility = guiApp->toolbars().defaultVisibility(name);
 836         bool newline = !(visibility & Toolbars::SAMEROW);
 837         tb->setVisible(false);
 838         tb->setVisibility(visibility);
 839
 840         if (visibility & Toolbars::TOP) {
 841                 if (newline)
 842                         addToolBarBreak(Qt::TopToolBarArea);
 843                 addToolBar(Qt::TopToolBarArea, tb);
 844         }
 845
 846         if (visibility & Toolbars::BOTTOM) {
 847                 if (newline)
 848                         addToolBarBreak(Qt::BottomToolBarArea);
 849                 addToolBar(Qt::BottomToolBarArea, tb);
 850         }
 851
 852         if (visibility & Toolbars::LEFT) {
 853                 if (newline)
 854                         addToolBarBreak(Qt::LeftToolBarArea);
 855                 addToolBar(Qt::LeftToolBarArea, tb);
 856         }
 857
 858         if (visibility & Toolbars::RIGHT) {
 859                 if (newline)
 860                         addToolBarBreak(Qt::RightToolBarArea);
 861                 addToolBar(Qt::RightToolBarArea, tb);
 862         }
 863
 864         if (visibility & Toolbars::ON)
 865                 tb->setVisible(true);
 866 }
 867
 868
 869 TocModels & GuiView::tocModels()
 870 {
 871         return d.toc_models_;
 872 }
 873
 874
 875 void GuiView::setFocus()
 876 {
 877         LYXERR(Debug::DEBUG, "GuiView::setFocus()" << this);
 878         QMainWindow::setFocus();
 879 }
 880
 881
 882 bool GuiView::hasFocus() const
 883 {
 884         if (currentWorkArea())
 885                 return currentWorkArea()->hasFocus();
 886         if (currentMainWorkArea())
 887                 return currentMainWorkArea()->hasFocus();
 888         return d.bg_widget_->hasFocus();
 889 }
 890
 891
 892 void GuiView::focusInEvent(QFocusEvent * e)
 893 {
 894         LYXERR(Debug::DEBUG, "GuiView::focusInEvent()" << this);
 895         QMainWindow::focusInEvent(e);
 896         // Make sure guiApp points to the correct view.
 897         guiApp->setCurrentView(this);
 898         if (currentWorkArea())
 899                 currentWorkArea()->setFocus();
 900         else if (currentMainWorkArea())
 901                 currentMainWorkArea()->setFocus();
 902         else
 903                 d.bg_widget_->setFocus();
 904 }
 905
 906
 907 QMenu * GuiView::createPopupMenu()
 908 {
 909         return d.toolBarPopup(this);
 910 }
 911
 912
 913 void GuiView::showEvent(QShowEvent * e)
 914 {
 915         LYXERR(Debug::GUI, "Passed Geometry "
 916                 << size().height() << "x" << size().width()
 917                 << "+" << pos().x() << "+" << pos().y());
 918
 919         if (d.splitter_->count() == 0)
 920                 // No work area, switch to the background widget.
 921                 d.setBackground();
 922
 923         updateToolbars();
 924         QMainWindow::showEvent(e);
 925 }
 926
 927
 928 bool GuiView::closeScheduled()
 929 {
 930         closing_ = true;
 931         return close();
 932 }
 933
 934
 935 bool GuiView::prepareAllBuffersForLogout()
 936 {
 937         Buffer * first = theBufferList().first();
 938         if (!first)
 939                 return true;
 940
 941         // First, iterate over all buffers and ask the users if unsaved
 942         // changes should be saved.
 943         // We cannot use a for loop as the buffer list cycles.
 944         Buffer * b = first;
 945         do {
 946                 if (!saveBufferIfNeeded(const_cast<Buffer &>(*b), false))
 947                         return false;
 948                 b = theBufferList().next(b);
 949         } while (b != first);
 950
 951         // Next, save session state
 952         // When a view/window was closed before without quitting LyX, there
 953         // are already entries in the lastOpened list.
 954         theSession().lastOpened().clear();
 955         writeSession();
 956
 957         return true;
 958 }
 959
 960
 961 /** Destroy only all tabbed WorkAreas. Destruction of other WorkAreas
 962  ** is responsibility of the container (e.g., dialog)
 963  **/
 964 void GuiView::closeEvent(QCloseEvent * close_event)
 965 {
 966         LYXERR(Debug::DEBUG, "GuiView::closeEvent()");
 967
 968         if (!GuiViewPrivate::busyBuffers.isEmpty()) {
 969                 Alert::warning(_("Exit LyX"),
 970                         _("LyX could not be closed because documents are being processed by LyX."));
 971                 close_event->setAccepted(false);
 972                 return;
 973         }
 974
 975         // If the user pressed the x (so we didn't call closeView
 976         // programmatically), we want to clear all existing entries.
 977         if (!closing_)
 978                 theSession().lastOpened().clear();
 979         closing_ = true;
 980
 981         writeSession();
 982
 983         // it can happen that this event arrives without selecting the view,
 984         // e.g. when clicking the close button on a background window.
 985         setFocus();
 986         if (!closeWorkAreaAll()) {
 987                 closing_ = false;
 988                 close_event->ignore();
 989                 return;
 990         }
 991
 992         // Make sure that nothing will use this to be closed View.
 993         guiApp->unregisterView(this);
 994
 995         if (isFullScreen()) {
 996                 // Switch off fullscreen before closing.
 997                 toggleFullScreen();
 998                 updateDialogs();
 999         }
1000
1001         // Make sure the timer time out will not trigger a statusbar update.
1002         d.statusbar_timer_.stop();
1003
1004         // Saving fullscreen requires additional tweaks in the toolbar code.
1005         // It wouldn't also work under linux natively.
1006         if (lyxrc.allow_geometry_session) {
1007                 saveLayout();
1008                 saveUISettings();
1009         }
1010
1011         close_event->accept();
1012 }
1013
1014
1015 void GuiView::dragEnterEvent(QDragEnterEvent * event)
1016 {
1017         if (event->mimeData()->hasUrls())
1018                 event->accept();
1019         /// \todo Ask lyx-devel is this is enough:
1020         /// if (event->mimeData()->hasFormat("text/plain"))
1021         ///     event->acceptProposedAction();
1022 }
1023
1024
1025 void GuiView::dropEvent(QDropEvent * event)
1026 {
1027         QList<QUrl> files = event->mimeData()->urls();
1028         if (files.isEmpty())
1029                 return;
1030
1031         LYXERR(Debug::GUI, "GuiView::dropEvent: got URLs!");
1032         for (int i = 0; i != files.size(); ++i) {
1033                 string const file = os::internal_path(fromqstr(
1034                         files.at(i).toLocalFile()));
1035                 if (file.empty())
1036                         continue;
1037
1038                 string const ext = support::getExtension(file);
1039                 vector<const Format *> found_formats;
1040
1041                 // Find all formats that have the correct extension.
1042                 vector<const Format *> const & import_formats
1043                         = theConverters().importableFormats();
1044                 vector<const Format *>::const_iterator it = import_formats.begin();
1045                 for (; it != import_formats.end(); ++it)
1046                         if ((*it)->hasExtension(ext))
1047                                 found_formats.push_back(*it);
1048
1049                 FuncRequest cmd;
1050                 if (found_formats.size() >= 1) {
1051                         if (found_formats.size() > 1) {
1052                                 //FIXME: show a dialog to choose the correct importable format
1053                                 LYXERR(Debug::FILES,
1054                                         "Multiple importable formats found, selecting first");
1055                         }
1056                         string const arg = found_formats[0]->name() + " " + file;
1057                         cmd = FuncRequest(LFUN_BUFFER_IMPORT, arg);
1058                 }
1059                 else {
1060                         //FIXME: do we have to explicitly check whether it's a lyx file?
1061                         LYXERR(Debug::FILES,
1062                                 "No formats found, trying to open it as a lyx file");
1063                         cmd = FuncRequest(LFUN_FILE_OPEN, file);
1064                 }
1065                 // add the functions to the queue
1066                 guiApp->addToFuncRequestQueue(cmd);
1067                 event->accept();
1068         }
1069         // now process the collected functions. We perform the events
1070         // asynchronously. This prevents potential problems in case the
1071         // BufferView is closed within an event.
1072         guiApp->processFuncRequestQueueAsync();
1073 }
1074
1075
1076 void GuiView::message(docstring const & str)
1077 {
1078         if (ForkedProcess::iAmAChild())
1079                 return;
1080
1081         // call is moved to GUI-thread by GuiProgress
1082         d.progress_->appendMessage(toqstr(str));
1083 }
1084
1085
1086 void GuiView::clearMessageText()
1087 {
1088         message(docstring());
1089 }
1090
1091
1092 void GuiView::updateStatusBarMessage(QString const & str)
1093 {
1094         statusBar()->showMessage(str);
1095         d.statusbar_timer_.stop();
1096         d.statusbar_timer_.start(3000);
1097 }
1098
1099
1100 void GuiView::smallSizedIcons()
1101 {
1102         setIconSize(QSize(d.smallIconSize, d.smallIconSize));
1103 }
1104
1105
1106 void GuiView::normalSizedIcons()
1107 {
1108         setIconSize(QSize(d.normalIconSize, d.normalIconSize));
1109 }
1110
1111
1112 void GuiView::bigSizedIcons()
1113 {
1114         setIconSize(QSize(d.bigIconSize, d.bigIconSize));
1115 }
1116
1117
1118 void GuiView::hugeSizedIcons()
1119 {
1120         setIconSize(QSize(d.hugeIconSize, d.hugeIconSize));
1121 }
1122
1123
1124 void GuiView::giantSizedIcons()
1125 {
1126         setIconSize(QSize(d.giantIconSize, d.giantIconSize));
1127 }
1128
1129
1130 void GuiView::clearMessage()
1131 {
1132         // FIXME: This code was introduced in r19643 to fix bug #4123. However,
1133         // the hasFocus function mostly returns false, even if the focus is on
1134         // a workarea in this view.
1135         //if (!hasFocus())
1136         //      return;
1137         showMessage();
1138         d.statusbar_timer_.stop();
1139 }
1140
1141
1142 void GuiView::updateWindowTitle(GuiWorkArea * wa)
1143 {
1144         if (wa != d.current_work_area_
1145                 || wa->bufferView().buffer().isInternal())
1146                 return;
1147         setWindowTitle(qt_("LyX: ") + wa->windowTitle());
1148         setWindowIconText(wa->windowIconText());
1149 #if (QT_VERSION >= 0x040400)
1150         // Sets the path for the window: this is used by OSX to
1151         // allow a context click on the title bar showing a menu
1152         // with the path up to the file
1153         setWindowFilePath(toqstr(wa->bufferView().buffer().absFileName()));
1154 #endif
1155 }
1156
1157
1158 void GuiView::on_currentWorkAreaChanged(GuiWorkArea * wa)
1159 {
1160         if (d.current_work_area_)
1161                 QObject::disconnect(d.current_work_area_, SIGNAL(busy(bool)),
1162                         this, SLOT(setBusy(bool)));
1163         disconnectBuffer();
1164         disconnectBufferView();
1165         connectBufferView(wa->bufferView());
1166         connectBuffer(wa->bufferView().buffer());
1167         d.current_work_area_ = wa;
1168         QObject::connect(wa, SIGNAL(titleChanged(GuiWorkArea *)),
1169                 this, SLOT(updateWindowTitle(GuiWorkArea *)));
1170         QObject::connect(wa, SIGNAL(busy(bool)), this, SLOT(setBusy(bool)));
1171         updateWindowTitle(wa);
1172
1173         structureChanged();
1174
1175         // The document settings needs to be reinitialised.
1176         updateDialog("document", "");
1177
1178         // Buffer-dependent dialogs must be updated. This is done here because
1179         // some dialogs require buffer()->text.
1180         updateDialogs();
1181 }
1182
1183
1184 void GuiView::on_lastWorkAreaRemoved()
1185 {
1186         if (closing_)
1187                 // We already are in a close event. Nothing more to do.
1188                 return;
1189
1190         if (d.splitter_->count() > 1)
1191                 // We have a splitter so don't close anything.
1192                 return;
1193
1194         // Reset and updates the dialogs.
1195         d.toc_models_.reset(0);
1196         updateDialog("document", "");
1197         updateDialogs();
1198
1199         resetWindowTitleAndIconText();
1200         updateStatusBar();
1201
1202         if (lyxrc.open_buffers_in_tabs)
1203                 // Nothing more to do, the window should stay open.
1204                 return;
1205
1206         if (guiApp->viewIds().size() > 1) {
1207                 close();
1208                 return;
1209         }
1210
1211 #ifdef Q_OS_MAC
1212         // On Mac we also close the last window because the application stay
1213         // resident in memory. On other platforms we don't close the last
1214         // window because this would quit the application.
1215         close();
1216 #endif
1217 }
1218
1219
1220 void GuiView::updateStatusBar()
1221 {
1222         // let the user see the explicit message
1223         if (d.statusbar_timer_.isActive())
1224                 return;
1225
1226         showMessage();
1227 }
1228
1229
1230 void GuiView::showMessage()
1231 {
1232         if (busy_)
1233                 return;
1234         QString msg = toqstr(theGuiApp()->viewStatusMessage());
1235         if (msg.isEmpty()) {
1236                 BufferView const * bv = currentBufferView();
1237                 if (bv)
1238                         msg = toqstr(bv->cursor().currentState());
1239                 else
1240                         msg = qt_("Welcome to LyX!");
1241         }
1242         statusBar()->showMessage(msg);
1243 }
1244
1245
1246 bool GuiView::event(QEvent * e)
1247 {
1248         switch (e->type())
1249         {
1250         // Useful debug code:
1251         //case QEvent::ActivationChange:
1252         //case QEvent::WindowDeactivate:
1253         //case QEvent::Paint:
1254         //case QEvent::Enter:
1255         //case QEvent::Leave:
1256         //case QEvent::HoverEnter:
1257         //case QEvent::HoverLeave:
1258         //case QEvent::HoverMove:
1259         //case QEvent::StatusTip:
1260         //case QEvent::DragEnter:
1261         //case QEvent::DragLeave:
1262         //case QEvent::Drop:
1263         //      break;
1264
1265         case QEvent::WindowActivate: {
1266                 GuiView * old_view = guiApp->currentView();
1267                 if (this == old_view) {
1268                         setFocus();
1269                         return QMainWindow::event(e);
1270                 }
1271                 if (old_view && old_view->currentBufferView()) {
1272                         // save current selection to the selection buffer to allow
1273                         // middle-button paste in this window.
1274                         cap::saveSelection(old_view->currentBufferView()->cursor());
1275                 }
1276                 guiApp->setCurrentView(this);
1277                 if (d.current_work_area_) {
1278                         BufferView & bv = d.current_work_area_->bufferView();
1279                         connectBufferView(bv);
1280                         connectBuffer(bv.buffer());
1281                         // The document structure, name and dialogs might have
1282                         // changed in another view.
1283                         structureChanged();
1284                         // The document settings needs to be reinitialised.
1285                         updateDialog("document", "");
1286                         updateDialogs();
1287                 } else {
1288                         resetWindowTitleAndIconText();
1289                 }
1290                 setFocus();
1291                 return QMainWindow::event(e);
1292         }
1293
1294         case QEvent::ShortcutOverride: {
1295                 // See bug 4888
1296                 if (isFullScreen() && menuBar()->isHidden()) {
1297                         QKeyEvent * ke = static_cast<QKeyEvent*>(e);
1298                         // FIXME: we should also try to detect special LyX shortcut such as
1299                         // Alt-P and Alt-M. Right now there is a hack in
1300                         // GuiWorkArea::processKeySym() that hides again the menubar for
1301                         // those cases.
1302                         if (ke->modifiers() & Qt::AltModifier && ke->key() != Qt::Key_Alt) {
1303                                 menuBar()->show();
1304                                 return QMainWindow::event(e);
1305                         }
1306                 }
1307                 return QMainWindow::event(e);
1308         }
1309
1310         default:
1311                 return QMainWindow::event(e);
1312         }
1313 }
1314
1315 void GuiView::resetWindowTitleAndIconText()
1316 {
1317         setWindowTitle(qt_("LyX"));
1318         setWindowIconText(qt_("LyX"));
1319 }
1320
1321 bool GuiView::focusNextPrevChild(bool /*next*/)
1322 {
1323         setFocus();
1324         return true;
1325 }
1326
1327
1328 bool GuiView::busy() const
1329 {
1330         return busy_ > 0;
1331 }
1332
1333
1334 void GuiView::setBusy(bool busy)
1335 {
1336         bool const busy_before = busy_ > 0;
1337         busy ? ++busy_ : --busy_;
1338         if ((busy_ > 0) == busy_before)
1339                 // busy state didn't change
1340                 return;
1341
1342         if (busy) {
1343                 QApplication::setOverrideCursor(Qt::WaitCursor);
1344                 return;
1345         }
1346         QApplication::restoreOverrideCursor();
1347         updateLayoutList();
1348 }
1349
1350
1351 void GuiView::resetCommandExecute()
1352 {
1353         command_execute_ = false;
1354         updateToolbars();
1355 }
1356
1357
1358 double GuiView::pixelRatio() const
1359 {
1360 #if QT_VERSION >= 0x050000
1361         return devicePixelRatio();
1362 #else
1363         return 1.0;
1364 #endif
1365 }
1366
1367
1368 GuiWorkArea * GuiView::workArea(int index)
1369 {
1370         if (TabWorkArea * twa = d.currentTabWorkArea())
1371                 if (index < twa->count())
1372                         return dynamic_cast<GuiWorkArea *>(twa->widget(index));
1373         return 0;
1374 }
1375
1376
1377 GuiWorkArea * GuiView::workArea(Buffer & buffer)
1378 {
1379         if (currentWorkArea()
1380                 && &currentWorkArea()->bufferView().buffer() == &buffer)
1381                 return currentWorkArea();
1382         if (TabWorkArea * twa = d.currentTabWorkArea())
1383                 return twa->workArea(buffer);
1384         return 0;
1385 }
1386
1387
1388 GuiWorkArea * GuiView::addWorkArea(Buffer & buffer)
1389 {
1390         // Automatically create a TabWorkArea if there are none yet.
1391         TabWorkArea * tab_widget = d.splitter_->count()
1392                 ? d.currentTabWorkArea() : addTabWorkArea();
1393         return tab_widget->addWorkArea(buffer, *this);
1394 }
1395
1396
1397 TabWorkArea * GuiView::addTabWorkArea()
1398 {
1399         TabWorkArea * twa = new TabWorkArea;
1400         QObject::connect(twa, SIGNAL(currentWorkAreaChanged(GuiWorkArea *)),
1401                 this, SLOT(on_currentWorkAreaChanged(GuiWorkArea *)));
1402         QObject::connect(twa, SIGNAL(lastWorkAreaRemoved()),
1403                          this, SLOT(on_lastWorkAreaRemoved()));
1404
1405         d.splitter_->addWidget(twa);
1406         d.stack_widget_->setCurrentWidget(d.splitter_);
1407         return twa;
1408 }
1409
1410
1411 GuiWorkArea const * GuiView::currentWorkArea() const
1412 {
1413         return d.current_work_area_;
1414 }
1415
1416
1417 GuiWorkArea * GuiView::currentWorkArea()
1418 {
1419         return d.current_work_area_;
1420 }
1421
1422
1423 GuiWorkArea const * GuiView::currentMainWorkArea() const
1424 {
1425         if (!d.currentTabWorkArea())
1426                 return 0;
1427         return d.currentTabWorkArea()->currentWorkArea();
1428 }
1429
1430
1431 GuiWorkArea * GuiView::currentMainWorkArea()
1432 {
1433         if (!d.currentTabWorkArea())
1434                 return 0;
1435         return d.currentTabWorkArea()->currentWorkArea();
1436 }
1437
1438
1439 void GuiView::setCurrentWorkArea(GuiWorkArea * wa)
1440 {
1441         LYXERR(Debug::DEBUG, "Setting current wa: " << wa << endl);
1442         if (!wa) {
1443                 d.current_work_area_ = 0;
1444                 d.setBackground();
1445                 return;
1446         }
1447
1448         // FIXME: I've no clue why this is here and why it accesses
1449         //  theGuiApp()->currentView, which might be 0 (bug 6464).
1450         //  See also 27525 (vfr).
1451         if (theGuiApp()->currentView() == this
1452                   && theGuiApp()->currentView()->currentWorkArea() == wa)
1453                 return;
1454
1455         if (currentBufferView())
1456                 cap::saveSelection(currentBufferView()->cursor());
1457
1458         theGuiApp()->setCurrentView(this);
1459         d.current_work_area_ = wa;
1460
1461         // We need to reset this now, because it will need to be
1462         // right if the tabWorkArea gets reset in the for loop. We
1463         // will change it back if we aren't in that case.
1464         GuiWorkArea * const old_cmwa = d.current_main_work_area_;
1465         d.current_main_work_area_ = wa;
1466
1467         for (int i = 0; i != d.splitter_->count(); ++i) {
1468                 if (d.tabWorkArea(i)->setCurrentWorkArea(wa)) {
1469                         LYXERR(Debug::DEBUG, "Current wa: " << currentWorkArea()
1470                                 << ", Current main wa: " << currentMainWorkArea());
1471                         return;
1472                 }
1473         }
1474
1475         d.current_main_work_area_ = old_cmwa;
1476
1477         LYXERR(Debug::DEBUG, "This is not a tabbed wa");
1478         on_currentWorkAreaChanged(wa);
1479         BufferView & bv = wa->bufferView();
1480         bv.cursor().fixIfBroken();
1481         bv.updateMetrics();
1482         wa->setUpdatesEnabled(true);
1483         LYXERR(Debug::DEBUG, "Current wa: " << currentWorkArea() << ", Current main wa: " << currentMainWorkArea());
1484 }
1485
1486
1487 void GuiView::removeWorkArea(GuiWorkArea * wa)
1488 {
1489         LASSERT(wa, return);
1490         if (wa == d.current_work_area_) {
1491                 disconnectBuffer();
1492                 disconnectBufferView();
1493                 d.current_work_area_ = 0;
1494                 d.current_main_work_area_ = 0;
1495         }
1496
1497         bool found_twa = false;
1498         for (int i = 0; i != d.splitter_->count(); ++i) {
1499                 TabWorkArea * twa = d.tabWorkArea(i);
1500                 if (twa->removeWorkArea(wa)) {
1501                         // Found in this tab group, and deleted the GuiWorkArea.
1502                         found_twa = true;
1503                         if (twa->count() != 0) {
1504                                 if (d.current_work_area_ == 0)
1505                                         // This means that we are closing the current GuiWorkArea, so
1506                                         // switch to the next GuiWorkArea in the found TabWorkArea.
1507                                         setCurrentWorkArea(twa->currentWorkArea());
1508                         } else {
1509                                 // No more WorkAreas in this tab group, so delete it.
1510                                 delete twa;
1511                         }
1512                         break;
1513                 }
1514         }
1515
1516         // It is not a tabbed work area (i.e., the search work area), so it
1517         // should be deleted by other means.
1518         LASSERT(found_twa, return);
1519
1520         if (d.current_work_area_ == 0) {
1521                 if (d.splitter_->count() != 0) {
1522                         TabWorkArea * twa = d.currentTabWorkArea();
1523                         setCurrentWorkArea(twa->currentWorkArea());
1524                 } else {
1525                         // No more work areas, switch to the background widget.
1526                         setCurrentWorkArea(0);
1527                 }
1528         }
1529 }
1530
1531
1532 LayoutBox * GuiView::getLayoutDialog() const
1533 {
1534         return d.layout_;
1535 }
1536
1537
1538 void GuiView::updateLayoutList()
1539 {
1540         if (d.layout_)
1541                 d.layout_->updateContents(false);
1542 }
1543
1544
1545 void GuiView::updateToolbars()
1546 {
1547         ToolbarMap::iterator end = d.toolbars_.end();
1548         if (d.current_work_area_) {
1549                 int context = 0;
1550                 if (d.current_work_area_->bufferView().cursor().inMathed()
1551                         && !d.current_work_area_->bufferView().cursor().inRegexped())
1552                         context |= Toolbars::MATH;
1553                 if (lyx::getStatus(FuncRequest(LFUN_LAYOUT_TABULAR)).enabled())
1554                         context |= Toolbars::TABLE;
1555                 if (currentBufferView()->buffer().areChangesPresent()
1556                     || (lyx::getStatus(FuncRequest(LFUN_CHANGES_TRACK)).enabled()
1557                         && lyx::getStatus(FuncRequest(LFUN_CHANGES_TRACK)).onOff(true))
1558                     || (lyx::getStatus(FuncRequest(LFUN_CHANGES_OUTPUT)).enabled()
1559                         && lyx::getStatus(FuncRequest(LFUN_CHANGES_OUTPUT)).onOff(true)))
1560                         context |= Toolbars::REVIEW;
1561                 if (lyx::getStatus(FuncRequest(LFUN_IN_MATHMACROTEMPLATE)).enabled())
1562                         context |= Toolbars::MATHMACROTEMPLATE;
1563                 if (lyx::getStatus(FuncRequest(LFUN_IN_IPA)).enabled())
1564                         context |= Toolbars::IPA;
1565                 if (command_execute_)
1566                         context |= Toolbars::MINIBUFFER;
1567
1568                 for (ToolbarMap::iterator it = d.toolbars_.begin(); it != end; ++it)
1569                         it->second->update(context);
1570         } else
1571                 for (ToolbarMap::iterator it = d.toolbars_.begin(); it != end; ++it)
1572                         it->second->update();
1573 }
1574
1575
1576 void GuiView::setBuffer(Buffer * newBuffer)
1577 {
1578         LYXERR(Debug::DEBUG, "Setting buffer: " << newBuffer << endl);
1579         LASSERT(newBuffer, return);
1580
1581         GuiWorkArea * wa = workArea(*newBuffer);
1582         if (wa == 0) {
1583                 setBusy(true);
1584                 newBuffer->masterBuffer()->updateBuffer();
1585                 setBusy(false);
1586                 wa = addWorkArea(*newBuffer);
1587                 // scroll to the position when the BufferView was last closed
1588                 if (lyxrc.use_lastfilepos) {
1589                         LastFilePosSection::FilePos filepos =
1590                                 theSession().lastFilePos().load(newBuffer->fileName());
1591                         wa->bufferView().moveToPosition(filepos.pit, filepos.pos, 0, 0);
1592                 }
1593         } else {
1594                 //Disconnect the old buffer...there's no new one.
1595                 disconnectBuffer();
1596         }
1597         connectBuffer(*newBuffer);
1598         connectBufferView(wa->bufferView());
1599         setCurrentWorkArea(wa);
1600 }
1601
1602
1603 void GuiView::connectBuffer(Buffer & buf)
1604 {
1605         buf.setGuiDelegate(this);
1606 }
1607
1608
1609 void GuiView::disconnectBuffer()
1610 {
1611         if (d.current_work_area_)
1612                 d.current_work_area_->bufferView().buffer().setGuiDelegate(0);
1613 }
1614
1615
1616 void GuiView::connectBufferView(BufferView & bv)
1617 {
1618         bv.setGuiDelegate(this);
1619 }
1620
1621
1622 void GuiView::disconnectBufferView()
1623 {
1624         if (d.current_work_area_)
1625                 d.current_work_area_->bufferView().setGuiDelegate(0);
1626 }
1627
1628
1629 void GuiView::errors(string const & error_type, bool from_master)
1630 {
1631         BufferView const * const bv = currentBufferView();
1632         if (!bv)
1633                 return;
1634
1635 #if EXPORT_in_THREAD
1636         // We are called with from_master == false by default, so we
1637         // have to figure out whether that is the case or not.
1638         ErrorList & el = bv->buffer().errorList(error_type);
1639         if (el.empty()) {
1640             el = bv->buffer().masterBuffer()->errorList(error_type);
1641             from_master = true;
1642         }
1643 #else
1644         ErrorList const & el = from_master ?
1645                 bv->buffer().masterBuffer()->errorList(error_type) :
1646                 bv->buffer().errorList(error_type);
1647 #endif
1648
1649         if (el.empty())
1650                 return;
1651
1652         string data = error_type;
1653         if (from_master)
1654                 data = "from_master|" + error_type;
1655         showDialog("errorlist", data);
1656 }
1657
1658
1659 void GuiView::updateTocItem(string const & type, DocIterator const & dit)
1660 {
1661         d.toc_models_.updateItem(toqstr(type), dit);
1662 }
1663
1664
1665 void GuiView::structureChanged()
1666 {
1667         // FIXME: This is slightly expensive, though less than the tocBackend update
1668         // (#9880). This also resets the view in the Toc Widget (#6675).
1669         d.toc_models_.reset(documentBufferView());
1670         // Navigator needs more than a simple update in this case. It needs to be
1671         // rebuilt.
1672         updateDialog("toc", "");
1673 }
1674
1675
1676 void GuiView::updateDialog(string const & name, string const & data)
1677 {
1678         if (!isDialogVisible(name))
1679                 return;
1680
1681         map<string, DialogPtr>::const_iterator it = d.dialogs_.find(name);
1682         if (it == d.dialogs_.end())
1683                 return;
1684
1685         Dialog * const dialog = it->second.get();
1686         if (dialog->isVisibleView())
1687                 dialog->initialiseParams(data);
1688 }
1689
1690
1691 BufferView * GuiView::documentBufferView()
1692 {
1693         return currentMainWorkArea()
1694                 ? &currentMainWorkArea()->bufferView()
1695                 : 0;
1696 }
1697
1698
1699 BufferView const * GuiView::documentBufferView() const
1700 {
1701         return currentMainWorkArea()
1702                 ? &currentMainWorkArea()->bufferView()
1703                 : 0;
1704 }
1705
1706
1707 BufferView * GuiView::currentBufferView()
1708 {
1709         return d.current_work_area_ ? &d.current_work_area_->bufferView() : 0;
1710 }
1711
1712
1713 BufferView const * GuiView::currentBufferView() const
1714 {
1715         return d.current_work_area_ ? &d.current_work_area_->bufferView() : 0;
1716 }
1717
1718
1719 docstring GuiView::GuiViewPrivate::autosaveAndDestroy(
1720         Buffer const * orig, Buffer * clone)
1721 {
1722         bool const success = clone->autoSave();
1723         delete clone;
1724         busyBuffers.remove(orig);
1725         return success
1726                 ? _("Automatic save done.")
1727                 : _("Automatic save failed!");
1728 }
1729
1730
1731 void GuiView::autoSave()
1732 {
1733         LYXERR(Debug::INFO, "Running autoSave()");
1734
1735         Buffer * buffer = documentBufferView()
1736                 ? &documentBufferView()->buffer() : 0;
1737         if (!buffer) {
1738                 resetAutosaveTimers();
1739                 return;
1740         }
1741
1742         GuiViewPrivate::busyBuffers.insert(buffer);
1743         QFuture<docstring> f = QtConcurrent::run(GuiViewPrivate::autosaveAndDestroy,
1744                 buffer, buffer->cloneBufferOnly());
1745         d.autosave_watcher_.setFuture(f);
1746         resetAutosaveTimers();
1747 }
1748
1749
1750 void GuiView::resetAutosaveTimers()
1751 {
1752         if (lyxrc.autosave)
1753                 d.autosave_timeout_.restart();
1754 }
1755
1756
1757 bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag)
1758 {
1759         bool enable = true;
1760         Buffer * buf = currentBufferView()
1761                 ? &currentBufferView()->buffer() : 0;
1762         Buffer * doc_buffer = documentBufferView()
1763                 ? &(documentBufferView()->buffer()) : 0;
1764
1765 #ifdef Q_OS_MAC
1766         /* In LyX/Mac, when a dialog is open, the menus of the
1767            application can still be accessed without giving focus to
1768            the main window. In this case, we want to disable the menu
1769            entries that are buffer-related.
1770            This code must not be used on Linux and Windows, since it
1771            would disable buffer-related entries when hovering over the
1772            menu (see bug #9574).
1773          */
1774         if (cmd.origin() == FuncRequest::MENU && !hasFocus()) {
1775                 buf = 0;
1776                 doc_buffer = 0;
1777         }
1778 #endif
1779
1780         // Check whether we need a buffer
1781         if (!lyxaction.funcHasFlag(cmd.action(), LyXAction::NoBuffer) && !buf) {
1782                 // no, exit directly
1783                 flag.message(from_utf8(N_("Command not allowed with"
1784                                         "out any document open")));
1785                 flag.setEnabled(false);
1786                 return true;
1787         }
1788
1789         if (cmd.origin() == FuncRequest::TOC) {
1790                 GuiToc * toc = static_cast<GuiToc*>(findOrBuild("toc", false));
1791                 if (!toc || !toc->getStatus(documentBufferView()->cursor(), cmd, flag))
1792                         flag.setEnabled(false);
1793                 return true;
1794         }
1795
1796         switch(cmd.action()) {
1797         case LFUN_BUFFER_IMPORT:
1798                 break;
1799
1800         case LFUN_MASTER_BUFFER_UPDATE:
1801         case LFUN_MASTER_BUFFER_VIEW:
1802                 enable = doc_buffer
1803                         && (doc_buffer->parent() != 0
1804                             || doc_buffer->hasChildren())
1805                         && !d.processing_thread_watcher_.isRunning();
1806                 break;
1807
1808         case LFUN_BUFFER_UPDATE:
1809         case LFUN_BUFFER_VIEW: {
1810                 if (!doc_buffer || d.processing_thread_watcher_.isRunning()) {
1811                         enable = false;
1812                         break;
1813                 }
1814                 string format = to_utf8(cmd.argument());
1815                 if (cmd.argument().empty())
1816                         format = doc_buffer->params().getDefaultOutputFormat();
1817                 enable = doc_buffer->params().isExportableFormat(format);
1818                 break;
1819         }
1820
1821         case LFUN_BUFFER_RELOAD:
1822                 enable = doc_buffer && !doc_buffer->isUnnamed()
1823                         && doc_buffer->fileName().exists()
1824                         && (!doc_buffer->isClean()
1825                            || doc_buffer->isExternallyModified(Buffer::timestamp_method));
1826                 break;
1827
1828         case LFUN_BUFFER_CHILD_OPEN:
1829                 enable = doc_buffer != 0;
1830                 break;
1831
1832         case LFUN_BUFFER_WRITE:
1833                 enable = doc_buffer && (doc_buffer->isUnnamed() || !doc_buffer->isClean());
1834                 break;
1835
1836         //FIXME: This LFUN should be moved to GuiApplication.
1837         case LFUN_BUFFER_WRITE_ALL: {
1838                 // We enable the command only if there are some modified buffers
1839                 Buffer * first = theBufferList().first();
1840                 enable = false;
1841                 if (!first)
1842                         break;
1843                 Buffer * b = first;
1844                 // We cannot use a for loop as the buffer list is a cycle.
1845                 do {
1846                         if (!b->isClean()) {
1847                                 enable = true;
1848                                 break;
1849                         }
1850                         b = theBufferList().next(b);
1851                 } while (b != first);
1852                 break;
1853         }
1854
1855         case LFUN_BUFFER_WRITE_AS:
1856         case LFUN_BUFFER_EXPORT_AS:
1857                 enable = doc_buffer != 0;
1858                 break;
1859
1860         case LFUN_BUFFER_CLOSE:
1861         case LFUN_VIEW_CLOSE:
1862                 enable = doc_buffer != 0;
1863                 break;
1864
1865         case LFUN_BUFFER_CLOSE_ALL:
1866                 enable = theBufferList().last() != theBufferList().first();
1867                 break;
1868
1869         case LFUN_VIEW_SPLIT:
1870                 if (cmd.getArg(0) == "vertical")
1871                         enable = doc_buffer && (d.splitter_->count() == 1 ||
1872                                          d.splitter_->orientation() == Qt::Vertical);
1873                 else
1874                         enable = doc_buffer && (d.splitter_->count() == 1 ||
1875                                          d.splitter_->orientation() == Qt::Horizontal);
1876                 break;
1877
1878         case LFUN_TAB_GROUP_CLOSE:
1879                 enable = d.tabWorkAreaCount() > 1;
1880                 break;
1881
1882         case LFUN_TOOLBAR_TOGGLE: {
1883                 string const name = cmd.getArg(0);
1884                 if (GuiToolbar * t = toolbar(name))
1885                         flag.setOnOff(t->isVisible());
1886                 else {
1887                         enable = false;
1888                         docstring const msg =
1889                                 bformat(_("Unknown toolbar \"%1$s\""), from_utf8(name));
1890                         flag.message(msg);
1891                 }
1892                 break;
1893         }
1894
1895         case LFUN_DROP_LAYOUTS_CHOICE:
1896                 enable = buf != 0;
1897                 break;
1898
1899         case LFUN_UI_TOGGLE:
1900                 flag.setOnOff(isFullScreen());
1901                 break;
1902
1903         case LFUN_DIALOG_DISCONNECT_INSET:
1904                 break;
1905
1906         case LFUN_DIALOG_HIDE:
1907                 // FIXME: should we check if the dialog is shown?
1908                 break;
1909
1910         case LFUN_DIALOG_TOGGLE:
1911                 flag.setOnOff(isDialogVisible(cmd.getArg(0)));
1912                 // fall through to set "enable"
1913         case LFUN_DIALOG_SHOW: {
1914                 string const name = cmd.getArg(0);
1915                 if (!doc_buffer)
1916                         enable = name == "aboutlyx"
1917                                 || name == "file" //FIXME: should be removed.
1918                                 || name == "prefs"
1919                                 || name == "texinfo"
1920                                 || name == "progress"
1921                                 || name == "compare";
1922                 else if (name == "character" || name == "symbols"
1923                         || name == "mathdelimiter" || name == "mathmatrix") {
1924                         if (!buf || buf->isReadonly())
1925                                 enable = false;
1926                         else {
1927                                 Cursor const & cur = currentBufferView()->cursor();
1928                                 enable = !(cur.inTexted() && cur.paragraph().isPassThru());
1929                         }
1930                 }
1931                 else if (name == "latexlog")
1932                         enable = FileName(doc_buffer->logName()).isReadableFile();
1933                 else if (name == "spellchecker")
1934                         enable = theSpellChecker()
1935                                 && !doc_buffer->isReadonly()
1936                                 && !doc_buffer->text().empty();
1937                 else if (name == "vclog")
1938                         enable = doc_buffer->lyxvc().inUse();
1939                 break;
1940         }
1941
1942         case LFUN_DIALOG_UPDATE: {
1943                 string const name = cmd.getArg(0);
1944                 if (!buf)
1945                         enable = name == "prefs";
1946                 break;
1947         }
1948
1949         case LFUN_COMMAND_EXECUTE:
1950         case LFUN_MESSAGE:
1951         case LFUN_MENU_OPEN:
1952                 // Nothing to check.
1953                 break;
1954
1955         case LFUN_COMPLETION_INLINE:
1956                 if (!d.current_work_area_
1957                         || !d.current_work_area_->completer().inlinePossible(
1958                         currentBufferView()->cursor()))
1959                         enable = false;
1960                 break;
1961
1962         case LFUN_COMPLETION_POPUP:
1963                 if (!d.current_work_area_
1964                         || !d.current_work_area_->completer().popupPossible(
1965                         currentBufferView()->cursor()))
1966                         enable = false;
1967                 break;
1968
1969         case LFUN_COMPLETE:
1970                 if (!d.current_work_area_
1971                         || !d.current_work_area_->completer().inlinePossible(
1972                         currentBufferView()->cursor()))
1973                         enable = false;
1974                 break;
1975
1976         case LFUN_COMPLETION_ACCEPT:
1977                 if (!d.current_work_area_
1978                         || (!d.current_work_area_->completer().popupVisible()
1979                         && !d.current_work_area_->completer().inlineVisible()
1980                         && !d.current_work_area_->completer().completionAvailable()))
1981                         enable = false;
1982                 break;
1983
1984         case LFUN_COMPLETION_CANCEL:
1985                 if (!d.current_work_area_
1986                         || (!d.current_work_area_->completer().popupVisible()
1987                         && !d.current_work_area_->completer().inlineVisible()))
1988                         enable = false;
1989                 break;
1990
1991         case LFUN_BUFFER_ZOOM_OUT:
1992                 enable = doc_buffer && lyxrc.zoom > 10;
1993                 if (lyxrc.zoom <= 10)
1994                         flag.message(_("Zoom level cannot be less than 10%."));
1995                 break;
1996
1997         case LFUN_BUFFER_ZOOM_IN:
1998                 enable = doc_buffer != 0;
1999                 break;
2000
2001         case LFUN_BUFFER_MOVE_NEXT:
2002         case LFUN_BUFFER_MOVE_PREVIOUS:
2003                 // we do not cycle when moving
2004         case LFUN_BUFFER_NEXT:
2005         case LFUN_BUFFER_PREVIOUS:
2006                 // because we cycle, it doesn't matter whether on first or last
2007                 enable = (d.currentTabWorkArea()->count() > 1);
2008                 break;
2009         case LFUN_BUFFER_SWITCH:
2010                 // toggle on the current buffer, but do not toggle off
2011                 // the other ones (is that a good idea?)
2012                 if (doc_buffer
2013                         && to_utf8(cmd.argument()) == doc_buffer->absFileName())
2014                         flag.setOnOff(true);
2015                 break;
2016
2017         case LFUN_VC_REGISTER:
2018                 enable = doc_buffer && !doc_buffer->lyxvc().inUse();
2019                 break;
2020         case LFUN_VC_RENAME:
2021                 enable = doc_buffer && doc_buffer->lyxvc().renameEnabled();
2022                 break;
2023         case LFUN_VC_COPY:
2024                 enable = doc_buffer && doc_buffer->lyxvc().copyEnabled();
2025                 break;
2026         case LFUN_VC_CHECK_IN:
2027                 enable = doc_buffer && doc_buffer->lyxvc().checkInEnabled();
2028                 break;
2029         case LFUN_VC_CHECK_OUT:
2030                 enable = doc_buffer && doc_buffer->lyxvc().checkOutEnabled();
2031                 break;
2032         case LFUN_VC_LOCKING_TOGGLE:
2033                 enable = doc_buffer && !doc_buffer->isReadonly()
2034                         && doc_buffer->lyxvc().lockingToggleEnabled();
2035                 flag.setOnOff(enable && doc_buffer->lyxvc().locking());
2036                 break;
2037         case LFUN_VC_REVERT:
2038                 enable = doc_buffer && doc_buffer->lyxvc().inUse() && !doc_buffer->isReadonly();
2039                 break;
2040         case LFUN_VC_UNDO_LAST:
2041                 enable = doc_buffer && doc_buffer->lyxvc().undoLastEnabled();
2042                 break;
2043         case LFUN_VC_REPO_UPDATE:
2044                 enable = doc_buffer && doc_buffer->lyxvc().repoUpdateEnabled();
2045                 break;
2046         case LFUN_VC_COMMAND: {
2047                 if (cmd.argument().empty())
2048                         enable = false;
2049                 if (!doc_buffer && contains(cmd.getArg(0), 'D'))
2050                         enable = false;
2051                 break;
2052         }
2053         case LFUN_VC_COMPARE:
2054                 enable = doc_buffer && doc_buffer->lyxvc().prepareFileRevisionEnabled();
2055                 break;
2056
2057         case LFUN_SERVER_GOTO_FILE_ROW:
2058                 break;
2059         case LFUN_FORWARD_SEARCH:
2060                 enable = !(lyxrc.forward_search_dvi.empty() && lyxrc.forward_search_pdf.empty());
2061                 break;
2062
2063         case LFUN_FILE_INSERT_PLAINTEXT:
2064         case LFUN_FILE_INSERT_PLAINTEXT_PARA:
2065                 enable = documentBufferView() && documentBufferView()->cursor().inTexted();
2066                 break;
2067
2068         case LFUN_SPELLING_CONTINUOUSLY:
2069                 flag.setOnOff(lyxrc.spellcheck_continuously);
2070                 break;
2071
2072         default:
2073                 return false;
2074         }
2075
2076         if (!enable)
2077                 flag.setEnabled(false);
2078
2079         return true;
2080 }
2081
2082
2083 static FileName selectTemplateFile()
2084 {
2085         FileDialog dlg(qt_("Select template file"));
2086         dlg.setButton1(qt_("Documents|#o#O"), toqstr(lyxrc.document_path));
2087         dlg.setButton2(qt_("Templates|#T#t"), toqstr(lyxrc.template_path));
2088
2089         FileDialog::Result result = dlg.open(toqstr(lyxrc.template_path),
2090                                  QStringList(qt_("LyX Documents (*.lyx)")));
2091
2092         if (result.first == FileDialog::Later)
2093                 return FileName();
2094         if (result.second.isEmpty())
2095                 return FileName();
2096         return FileName(fromqstr(result.second));
2097 }
2098
2099
2100 Buffer * GuiView::loadDocument(FileName const & filename, bool tolastfiles)
2101 {
2102         setBusy(true);
2103
2104         Buffer * newBuffer = 0;
2105         try {
2106                 newBuffer = checkAndLoadLyXFile(filename);
2107         } catch (ExceptionMessage const & e) {
2108                 setBusy(false);
2109                 throw(e);
2110         }
2111         setBusy(false);
2112
2113         if (!newBuffer) {
2114                 message(_("Document not loaded."));
2115                 return 0;
2116         }
2117
2118         setBuffer(newBuffer);
2119         newBuffer->errors("Parse");
2120
2121         if (tolastfiles)
2122                 theSession().lastFiles().add(filename);
2123
2124         return newBuffer;
2125 }
2126
2127
2128 void GuiView::openDocument(string const & fname)
2129 {
2130         string initpath = lyxrc.document_path;
2131
2132         if (documentBufferView()) {
2133                 string const trypath = documentBufferView()->buffer().filePath();
2134                 // If directory is writeable, use this as default.
2135                 if (FileName(trypath).isDirWritable())
2136                         initpath = trypath;
2137         }
2138
2139         string filename;
2140
2141         if (fname.empty()) {
2142                 FileDialog dlg(qt_("Select document to open"));
2143                 dlg.setButton1(qt_("Documents|#o#O"), toqstr(lyxrc.document_path));
2144                 dlg.setButton2(qt_("Examples|#E#e"),
2145                                 toqstr(addPath(package().system_support().absFileName(), "examples")));
2146
2147                 QStringList const filter(qt_("LyX Documents (*.lyx)"));
2148                 FileDialog::Result result =
2149                         dlg.open(toqstr(initpath), filter);
2150
2151                 if (result.first == FileDialog::Later)
2152                         return;
2153
2154                 filename = fromqstr(result.second);
2155
2156                 // check selected filename
2157                 if (filename.empty()) {
2158                         message(_("Canceled."));
2159                         return;
2160                 }
2161         } else
2162                 filename = fname;
2163
2164         // get absolute path of file and add ".lyx" to the filename if
2165         // necessary.
2166         FileName const fullname =
2167                         fileSearch(string(), filename, "lyx", support::may_not_exist);
2168         if (!fullname.empty())
2169                 filename = fullname.absFileName();
2170
2171         if (!fullname.onlyPath().isDirectory()) {
2172                 Alert::warning(_("Invalid filename"),
2173                                 bformat(_("The directory in the given path\n%1$s\ndoes not exist."),
2174                                 from_utf8(fullname.absFileName())));
2175                 return;
2176         }
2177
2178         // if the file doesn't exist and isn't already open (bug 6645),
2179         // let the user create one
2180         if (!fullname.exists() && !theBufferList().exists(fullname) &&
2181             !LyXVC::file_not_found_hook(fullname)) {
2182                 // the user specifically chose this name. Believe him.
2183                 Buffer * const b = newFile(filename, string(), true);
2184                 if (b)
2185                         setBuffer(b);
2186                 return;
2187         }
2188
2189         docstring const disp_fn = makeDisplayPath(filename);
2190         message(bformat(_("Opening document %1$s..."), disp_fn));
2191
2192         docstring str2;
2193         Buffer * buf = loadDocument(fullname);
2194         if (buf) {
2195                 str2 = bformat(_("Document %1$s opened."), disp_fn);
2196                 if (buf->lyxvc().inUse())
2197                         str2 += " " + from_utf8(buf->lyxvc().versionString()) +
2198                                 " " + _("Version control detected.");
2199         } else {
2200                 str2 = bformat(_("Could not open document %1$s"), disp_fn);
2201         }
2202         message(str2);
2203 }
2204
2205 // FIXME: clean that
2206 static bool import(GuiView * lv, FileName const & filename,
2207         string const & format, ErrorList & errorList)
2208 {
2209         FileName const lyxfile(support::changeExtension(filename.absFileName(), ".lyx"));
2210
2211         string loader_format;
2212         vector<string> loaders = theConverters().loaders();
2213         if (find(loaders.begin(), loaders.end(), format) == loaders.end()) {
2214                 vector<string>::const_iterator it = loaders.begin();
2215                 vector<string>::const_iterator en = loaders.end();
2216                 for (; it != en; ++it) {
2217                         if (!theConverters().isReachable(format, *it))
2218                                 continue;
2219
2220                         string const tofile =
2221                                 support::changeExtension(filename.absFileName(),
2222                                 formats.extension(*it));
2223                         if (!theConverters().convert(0, filename, FileName(tofile),
2224                                 filename, format, *it, errorList))
2225                                 return false;
2226                         loader_format = *it;
2227                         break;
2228                 }
2229                 if (loader_format.empty()) {
2230                         frontend::Alert::error(_("Couldn't import file"),
2231                                          bformat(_("No information for importing the format %1$s."),
2232                                          formats.prettyName(format)));
2233                         return false;
2234                 }
2235         } else
2236                 loader_format = format;
2237
2238         if (loader_format == "lyx") {
2239                 Buffer * buf = lv->loadDocument(lyxfile);
2240                 if (!buf)
2241                         return false;
2242         } else {
2243                 Buffer * const b = newFile(lyxfile.absFileName(), string(), true);
2244                 if (!b)
2245                         return false;
2246                 lv->setBuffer(b);
2247                 bool as_paragraphs = loader_format == "textparagraph";
2248                 string filename2 = (loader_format == format) ? filename.absFileName()
2249                         : support::changeExtension(filename.absFileName(),
2250                                           formats.extension(loader_format));
2251                 lv->currentBufferView()->insertPlaintextFile(FileName(filename2),
2252                         as_paragraphs);
2253                 guiApp->setCurrentView(lv);
2254                 lyx::dispatch(FuncRequest(LFUN_MARK_OFF));
2255         }
2256
2257         return true;
2258 }
2259
2260
2261 void GuiView::importDocument(string const & argument)
2262 {
2263         string format;
2264         string filename = split(argument, format, ' ');
2265
2266         LYXERR(Debug::INFO, format << " file: " << filename);
2267
2268         // need user interaction
2269         if (filename.empty()) {
2270                 string initpath = lyxrc.document_path;
2271                 if (documentBufferView()) {
2272                         string const trypath = documentBufferView()->buffer().filePath();
2273                         // If directory is writeable, use this as default.
2274                         if (FileName(trypath).isDirWritable())
2275                                 initpath = trypath;
2276                 }
2277
2278                 docstring const text = bformat(_("Select %1$s file to import"),
2279                         formats.prettyName(format));
2280
2281                 FileDialog dlg(toqstr(text));
2282                 dlg.setButton1(qt_("Documents|#o#O"), toqstr(lyxrc.document_path));
2283                 dlg.setButton2(qt_("Examples|#E#e"),
2284                         toqstr(addPath(package().system_support().absFileName(), "examples")));
2285
2286                 docstring filter = formats.prettyName(format);
2287                 filter += " (*.{";
2288                 // FIXME UNICODE
2289                 filter += from_utf8(formats.extensions(format));
2290                 filter += "})";
2291
2292                 FileDialog::Result result =
2293                         dlg.open(toqstr(initpath), fileFilters(toqstr(filter)));
2294
2295                 if (result.first == FileDialog::Later)
2296                         return;
2297
2298                 filename = fromqstr(result.second);
2299
2300                 // check selected filename
2301                 if (filename.empty())
2302                         message(_("Canceled."));
2303         }
2304
2305         if (filename.empty())
2306                 return;
2307
2308         // get absolute path of file
2309         FileName const fullname(support::makeAbsPath(filename));
2310
2311         // Can happen if the user entered a path into the dialog
2312         // (see bug #7437)
2313         if (fullname.onlyFileName().empty()) {
2314                 docstring msg = bformat(_("The file name '%1$s' is invalid!\n"
2315                                           "Aborting import."),
2316                                         from_utf8(fullname.absFileName()));
2317                 frontend::Alert::error(_("File name error"), msg);
2318                 message(_("Canceled."));
2319                 return;
2320         }
2321
2322
2323         FileName const lyxfile(support::changeExtension(fullname.absFileName(), ".lyx"));
2324
2325         // Check if the document already is open
2326         Buffer * buf = theBufferList().getBuffer(lyxfile);
2327         if (buf) {
2328                 setBuffer(buf);
2329                 if (!closeBuffer()) {
2330                         message(_("Canceled."));
2331                         return;
2332                 }
2333         }
2334
2335         docstring const displaypath = makeDisplayPath(lyxfile.absFileName(), 30);
2336
2337         // if the file exists already, and we didn't do
2338         // -i lyx thefile.lyx, warn
2339         if (lyxfile.exists() && fullname != lyxfile) {
2340
2341                 docstring text = bformat(_("The document %1$s already exists.\n\n"
2342                         "Do you want to overwrite that document?"), displaypath);
2343                 int const ret = Alert::prompt(_("Overwrite document?"),
2344                         text, 0, 1, _("&Overwrite"), _("&Cancel"));
2345
2346                 if (ret == 1) {
2347                         message(_("Canceled."));
2348                         return;
2349                 }
2350         }
2351
2352         message(bformat(_("Importing %1$s..."), displaypath));
2353         ErrorList errorList;
2354         if (import(this, fullname, format, errorList))
2355                 message(_("imported."));
2356         else
2357                 message(_("file not imported!"));
2358
2359         // FIXME (Abdel 12/08/06): Is there a need to display the error list here?
2360 }
2361
2362
2363 void GuiView::newDocument(string const & filename, bool from_template)
2364 {
2365         FileName initpath(lyxrc.document_path);
2366         if (documentBufferView()) {
2367                 FileName const trypath(documentBufferView()->buffer().filePath());
2368                 // If directory is writeable, use this as default.
2369                 if (trypath.isDirWritable())
2370                         initpath = trypath;
2371         }
2372
2373         string templatefile;
2374         if (from_template) {
2375                 templatefile = selectTemplateFile().absFileName();
2376                 if (templatefile.empty())
2377                         return;
2378         }
2379
2380         Buffer * b;
2381         if (filename.empty())
2382                 b = newUnnamedFile(initpath, to_utf8(_("newfile")), templatefile);
2383         else
2384                 b = newFile(filename, templatefile, true);
2385
2386         if (b)
2387                 setBuffer(b);
2388
2389         // If no new document could be created, it is unsure
2390         // whether there is a valid BufferView.
2391         if (currentBufferView())
2392                 // Ensure the cursor is correctly positioned on screen.
2393                 currentBufferView()->showCursor();
2394 }
2395
2396
2397 void GuiView::insertLyXFile(docstring const & fname)
2398 {
2399         BufferView * bv = documentBufferView();
2400         if (!bv)
2401                 return;
2402
2403         // FIXME UNICODE
2404         FileName filename(to_utf8(fname));
2405         if (filename.empty()) {
2406                 // Launch a file browser
2407                 // FIXME UNICODE
2408                 string initpath = lyxrc.document_path;
2409                 string const trypath = bv->buffer().filePath();
2410                 // If directory is writeable, use this as default.
2411                 if (FileName(trypath).isDirWritable())
2412                         initpath = trypath;
2413
2414                 // FIXME UNICODE
2415                 FileDialog dlg(qt_("Select LyX document to insert"));
2416                 dlg.setButton1(qt_("Documents|#o#O"), toqstr(lyxrc.document_path));
2417                 dlg.setButton2(qt_("Examples|#E#e"),
2418                         toqstr(addPath(package().system_support().absFileName(),
2419                         "examples")));
2420
2421                 FileDialog::Result result = dlg.open(toqstr(initpath),
2422                                          QStringList(qt_("LyX Documents (*.lyx)")));
2423
2424                 if (result.first == FileDialog::Later)
2425                         return;
2426
2427                 // FIXME UNICODE
2428                 filename.set(fromqstr(result.second));
2429
2430                 // check selected filename
2431                 if (filename.empty()) {
2432                         // emit message signal.
2433                         message(_("Canceled."));
2434                         return;
2435                 }
2436         }
2437
2438         bv->insertLyXFile(filename);
2439         bv->buffer().errors("Parse");
2440 }
2441
2442
2443 bool GuiView::renameBuffer(Buffer & b, docstring const & newname, RenameKind kind)
2444 {
2445         FileName fname = b.fileName();
2446         FileName const oldname = fname;
2447
2448         if (!newname.empty()) {
2449                 // FIXME UNICODE
2450                 fname = support::makeAbsPath(to_utf8(newname), oldname.onlyPath().absFileName());
2451         } else {
2452                 // Switch to this Buffer.
2453                 setBuffer(&b);
2454
2455                 // No argument? Ask user through dialog.
2456                 // FIXME UNICODE
2457                 FileDialog dlg(qt_("Choose a filename to save document as"));
2458                 dlg.setButton1(qt_("Documents|#o#O"), toqstr(lyxrc.document_path));
2459                 dlg.setButton2(qt_("Templates|#T#t"), toqstr(lyxrc.template_path));
2460
2461                 if (!isLyXFileName(fname.absFileName()))
2462                         fname.changeExtension(".lyx");
2463
2464                 FileDialog::Result result =
2465                         dlg.save(toqstr(fname.onlyPath().absFileName()),
2466                                    QStringList(qt_("LyX Documents (*.lyx)")),
2467                                          toqstr(fname.onlyFileName()));
2468
2469                 if (result.first == FileDialog::Later)
2470                         return false;
2471
2472                 fname.set(fromqstr(result.second));
2473
2474                 if (fname.empty())
2475                         return false;
2476
2477                 if (!isLyXFileName(fname.absFileName()))
2478                         fname.changeExtension(".lyx");
2479         }
2480
2481         // fname is now the new Buffer location.
2482
2483         // if there is already a Buffer open with this name, we do not want
2484         // to have another one. (the second test makes sure we're not just
2485         // trying to overwrite ourselves, which is fine.)
2486         if (theBufferList().exists(fname) && fname != oldname
2487                   && theBufferList().getBuffer(fname) != &b) {
2488                 docstring const text =
2489                         bformat(_("The file\n%1$s\nis already open in your current session.\n"
2490                             "Please close it before attempting to overwrite it.\n"
2491                             "Do you want to choose a new filename?"),
2492                                 from_utf8(fname.absFileName()));
2493                 int const ret = Alert::prompt(_("Chosen File Already Open"),
2494                         text, 0, 1, _("&Rename"), _("&Cancel"));
2495                 switch (ret) {
2496                 case 0: return renameBuffer(b, docstring(), kind);
2497                 case 1: return false;
2498                 }
2499                 //return false;
2500         }
2501
2502         bool const existsLocal = fname.exists();
2503         bool const existsInVC = LyXVC::fileInVC(fname);
2504         if (existsLocal || existsInVC) {
2505                 docstring const file = makeDisplayPath(fname.absFileName(), 30);
2506                 if (kind != LV_WRITE_AS && existsInVC) {
2507                         // renaming to a name that is already in VC
2508                         // would not work
2509                         docstring text = bformat(_("The document %1$s "
2510                                         "is already registered.\n\n"
2511                                         "Do you want to choose a new name?"),
2512                                 file);
2513                         docstring const title = (kind == LV_VC_RENAME) ?
2514                                 _("Rename document?") : _("Copy document?");
2515                         docstring const button = (kind == LV_VC_RENAME) ?
2516                                 _("&Rename") : _("&Copy");
2517                         int const ret = Alert::prompt(title, text, 0, 1,
2518                                 button, _("&Cancel"));
2519                         switch (ret) {
2520                         case 0: return renameBuffer(b, docstring(), kind);
2521                         case 1: return false;
2522                         }
2523                 }
2524
2525                 if (existsLocal) {
2526                         docstring text = bformat(_("The document %1$s "
2527                                         "already exists.\n\n"
2528                                         "Do you want to overwrite that document?"),
2529                                 file);
2530                         int const ret = Alert::prompt(_("Overwrite document?"),
2531                                         text, 0, 2, _("&Overwrite"),
2532                                         _("&Rename"), _("&Cancel"));
2533                         switch (ret) {
2534                         case 0: break;
2535                         case 1: return renameBuffer(b, docstring(), kind);
2536                         case 2: return false;
2537                         }
2538                 }
2539         }
2540
2541         switch (kind) {
2542         case LV_VC_RENAME: {
2543                 string msg = b.lyxvc().rename(fname);
2544                 if (msg.empty())
2545                         return false;
2546                 message(from_utf8(msg));
2547                 break;
2548         }
2549         case LV_VC_COPY: {
2550                 string msg = b.lyxvc().copy(fname);
2551                 if (msg.empty())
2552                         return false;
2553                 message(from_utf8(msg));
2554                 break;
2555         }
2556         case LV_WRITE_AS:
2557                 break;
2558         }
2559         // LyXVC created the file already in case of LV_VC_RENAME or
2560         // LV_VC_COPY, but call saveBuffer() nevertheless to get
2561         // relative paths of included stuff right if we moved e.g. from
2562         // /a/b.lyx to /a/c/b.lyx.
2563
2564         bool const saved = saveBuffer(b, fname);
2565         if (saved)
2566                 b.reload();
2567         return saved;
2568 }
2569
2570
2571 struct PrettyNameComparator
2572 {
2573         bool operator()(Format const *first, Format const *second) const {
2574                 return compare_no_case(translateIfPossible(from_ascii(first->prettyname())),
2575                                        translateIfPossible(from_ascii(second->prettyname()))) <= 0;
2576         }
2577 };
2578
2579
2580 bool GuiView::exportBufferAs(Buffer & b, docstring const & iformat)
2581 {
2582         FileName fname = b.fileName();
2583
2584         FileDialog dlg(qt_("Choose a filename to export the document as"));
2585         dlg.setButton1(qt_("Documents|#o#O"), toqstr(lyxrc.document_path));
2586
2587         QStringList types;
2588         QString const anyformat = qt_("Guess from extension (*.*)");
2589         types << anyformat;
2590         Formats::const_iterator it = formats.begin();
2591         vector<Format const *> export_formats;
2592         for (; it != formats.end(); ++it)
2593                 if (it->documentFormat())
2594                         export_formats.push_back(&(*it));
2595         PrettyNameComparator cmp;
2596         sort(export_formats.begin(), export_formats.end(), cmp);
2597         vector<Format const *>::const_iterator fit = export_formats.begin();
2598         map<QString, string> fmap;
2599         QString filter;
2600         string ext;
2601         for (; fit != export_formats.end(); ++fit) {
2602                 docstring const loc_prettyname =
2603                         translateIfPossible(from_utf8((*fit)->prettyname()));
2604                 QString const loc_filter = toqstr(bformat(from_ascii("%1$s (*.%2$s)"),
2605                                                      loc_prettyname,
2606                                                      from_ascii((*fit)->extension())));
2607                 types << loc_filter;
2608                 fmap[loc_filter] = (*fit)->name();
2609                 if (from_ascii((*fit)->name()) == iformat) {
2610                         filter = loc_filter;
2611                         ext = (*fit)->extension();
2612                 }
2613         }
2614         string ofname = fname.onlyFileName();
2615         if (!ext.empty())
2616                 ofname = support::changeExtension(ofname, ext);
2617         FileDialog::Result result =
2618                 dlg.save(toqstr(fname.onlyPath().absFileName()),
2619                          types,
2620                          toqstr(ofname),
2621                          &filter);
2622         if (result.first != FileDialog::Chosen)
2623                 return false;
2624
2625         string fmt_name;
2626         fname.set(fromqstr(result.second));
2627         if (filter == anyformat)
2628                 fmt_name = formats.getFormatFromExtension(fname.extension());
2629         else
2630                 fmt_name = fmap[filter];
2631         LYXERR(Debug::FILES, "filter=" << fromqstr(filter)
2632                << ", fmt_name=" << fmt_name << ", fname=" << fname.absFileName());
2633
2634         if (fmt_name.empty() || fname.empty())
2635                 return false;
2636
2637         // fname is now the new Buffer location.
2638         if (FileName(fname).exists()) {
2639                 docstring const file = makeDisplayPath(fname.absFileName(), 30);
2640                 docstring text = bformat(_("The document %1$s already "
2641                                            "exists.\n\nDo you want to "
2642                                            "overwrite that document?"),
2643                                          file);
2644                 int const ret = Alert::prompt(_("Overwrite document?"),
2645                         text, 0, 2, _("&Overwrite"), _("&Rename"), _("&Cancel"));
2646                 switch (ret) {
2647                 case 0: break;
2648                 case 1: return exportBufferAs(b, from_ascii(fmt_name));
2649                 case 2: return false;
2650                 }
2651         }
2652
2653         FuncRequest cmd(LFUN_BUFFER_EXPORT, fmt_name + " " + fname.absFileName());
2654         DispatchResult dr;
2655         dispatch(cmd, dr);
2656         return dr.dispatched();
2657 }
2658
2659
2660 bool GuiView::saveBuffer(Buffer & b)
2661 {
2662         return saveBuffer(b, FileName());
2663 }
2664
2665
2666 bool GuiView::saveBuffer(Buffer & b, FileName const & fn)
2667 {
2668         if (workArea(b) && workArea(b)->inDialogMode())
2669                 return true;
2670
2671         if (fn.empty() && b.isUnnamed())
2672                 return renameBuffer(b, docstring());
2673
2674         bool const success = (fn.empty() ? b.save() : b.saveAs(fn));
2675         if (success) {
2676                 theSession().lastFiles().add(b.fileName());
2677                 return true;
2678         }
2679
2680         // Switch to this Buffer.
2681         setBuffer(&b);
2682
2683         // FIXME: we don't tell the user *WHY* the save failed !!
2684         docstring const file = makeDisplayPath(b.absFileName(), 30);
2685         docstring text = bformat(_("The document %1$s could not be saved.\n\n"
2686                                    "Do you want to rename the document and "
2687                                    "try again?"), file);
2688         int const ret = Alert::prompt(_("Rename and save?"),
2689                 text, 0, 2, _("&Rename"), _("&Retry"), _("&Cancel"));
2690         switch (ret) {
2691         case 0:
2692                 if (!renameBuffer(b, docstring()))
2693                         return false;
2694                 break;
2695         case 1:
2696                 break;
2697         case 2:
2698                 return false;
2699         }
2700
2701         return saveBuffer(b, fn);
2702 }
2703
2704
2705 bool GuiView::hideWorkArea(GuiWorkArea * wa)
2706 {
2707         return closeWorkArea(wa, false);
2708 }
2709
2710
2711 // We only want to close the buffer if it is not visible in other workareas
2712 // of the same view, nor in other views, and if this is not a child
2713 bool GuiView::closeWorkArea(GuiWorkArea * wa)
2714 {
2715         Buffer & buf = wa->bufferView().buffer();
2716
2717         bool last_wa = d.countWorkAreasOf(buf) == 1
2718                 && !inOtherView(buf) && !buf.parent();
2719
2720         bool close_buffer = last_wa;
2721
2722         if (last_wa) {
2723                 if (lyxrc.close_buffer_with_last_view == "yes")
2724                         ; // Nothing to do
2725                 else if (lyxrc.close_buffer_with_last_view == "no")
2726                         close_buffer = false;
2727                 else {
2728                         docstring file;
2729                         if (buf.isUnnamed())
2730                                 file = from_utf8(buf.fileName().onlyFileName());
2731                         else
2732                                 file = buf.fileName().displayName(30);
2733                         docstring const text = bformat(
2734                                 _("Last view on document %1$s is being closed.\n"
2735                                   "Would you like to close or hide the document?\n"
2736                                   "\n"
2737                                   "Hidden documents can be displayed back through\n"
2738                                   "the menu: View->Hidden->...\n"
2739                                   "\n"
2740                                   "To remove this question, set your preference in:\n"
2741                                   "  Tools->Preferences->Look&Feel->UserInterface\n"
2742                                 ), file);
2743                         int ret = Alert::prompt(_("Close or hide document?"),
2744                                 text, 0, 1, _("&Close"), _("&Hide"));
2745                         close_buffer = (ret == 0);
2746                 }
2747         }
2748
2749         return closeWorkArea(wa, close_buffer);
2750 }
2751
2752
2753 bool GuiView::closeBuffer()
2754 {
2755         GuiWorkArea * wa = currentMainWorkArea();
2756         // coverity complained about this
2757         // it seems unnecessary, but perhaps is worth the check
2758         LASSERT(wa, return false);
2759
2760         setCurrentWorkArea(wa);
2761         Buffer & buf = wa->bufferView().buffer();
2762         return closeWorkArea(wa, !buf.parent());
2763 }
2764
2765
2766 void GuiView::writeSession() const {
2767         GuiWorkArea const * active_wa = currentMainWorkArea();
2768         for (int i = 0; i < d.splitter_->count(); ++i) {
2769                 TabWorkArea * twa = d.tabWorkArea(i);
2770                 for (int j = 0; j < twa->count(); ++j) {
2771                         GuiWorkArea * wa = static_cast<GuiWorkArea *>(twa->widget(j));
2772                         Buffer & buf = wa->bufferView().buffer();
2773                         theSession().lastOpened().add(buf.fileName(), wa == active_wa);
2774                 }
2775         }
2776 }
2777
2778
2779 bool GuiView::closeBufferAll()
2780 {
2781         // Close the workareas in all other views
2782         QList<int> const ids = guiApp->viewIds();
2783         for (int i = 0; i != ids.size(); ++i) {
2784                 if (id_ != ids[i] && !guiApp->view(ids[i]).closeWorkAreaAll())
2785                         return false;
2786         }
2787
2788         // Close our own workareas
2789         if (!closeWorkAreaAll())
2790                 return false;
2791
2792         // Now close the hidden buffers. We prevent hidden buffers from being
2793         // dirty, so we can just close them.
2794         theBufferList().closeAll();
2795         return true;
2796 }
2797
2798
2799 bool GuiView::closeWorkAreaAll()
2800 {
2801         setCurrentWorkArea(currentMainWorkArea());
2802
2803         // We might be in a situation that there is still a tabWorkArea, but
2804         // there are no tabs anymore. This can happen when we get here after a
2805         // TabWorkArea::lastWorkAreaRemoved() signal. Therefore we count how
2806         // many TabWorkArea's have no documents anymore.
2807         int empty_twa = 0;
2808
2809         // We have to call count() each time, because it can happen that
2810         // more than one splitter will disappear in one iteration (bug 5998).
2811         while (d.splitter_->count() > empty_twa) {
2812                 TabWorkArea * twa = d.tabWorkArea(empty_twa);
2813
2814                 if (twa->count() == 0)
2815                         ++empty_twa;
2816                 else {
2817                         setCurrentWorkArea(twa->currentWorkArea());
2818                         if (!closeTabWorkArea(twa))
2819                                 return false;
2820                 }
2821         }
2822         return true;
2823 }
2824
2825
2826 bool GuiView::closeWorkArea(GuiWorkArea * wa, bool close_buffer)
2827 {
2828         if (!wa)
2829                 return false;
2830
2831         Buffer & buf = wa->bufferView().buffer();
2832
2833         if (GuiViewPrivate::busyBuffers.contains(&buf)) {
2834                 Alert::warning(_("Close document"),
2835                         _("Document could not be closed because it is being processed by LyX."));
2836                 return false;
2837         }
2838
2839         if (close_buffer)
2840                 return closeBuffer(buf);
2841         else {
2842                 if (!inMultiTabs(wa))
2843                         if (!saveBufferIfNeeded(buf, true))
2844                                 return false;
2845                 removeWorkArea(wa);
2846                 return true;
2847         }
2848 }
2849
2850
2851 bool GuiView::closeBuffer(Buffer & buf)
2852 {
2853         // If we are in a close_event all children will be closed in some time,
2854         // so no need to do it here. This will ensure that the children end up
2855         // in the session file in the correct order. If we close the master
2856         // buffer, we can close or release the child buffers here too.
2857         bool success = true;
2858         if (!closing_) {
2859                 ListOfBuffers clist = buf.getChildren();
2860                 ListOfBuffers::const_iterator it = clist.begin();
2861                 ListOfBuffers::const_iterator const bend = clist.end();
2862                 for (; it != bend; ++it) {
2863                         Buffer * child_buf = *it;
2864                         if (theBufferList().isOthersChild(&buf, child_buf)) {
2865                                 child_buf->setParent(0);
2866                                 continue;
2867                         }
2868
2869                         // FIXME: should we look in other tabworkareas?
2870                         // ANSWER: I don't think so. I've tested, and if the child is
2871                         // open in some other window, it closes without a problem.
2872                         GuiWorkArea * child_wa = workArea(*child_buf);
2873                         if (child_wa) {
2874                                 success = closeWorkArea(child_wa, true);
2875                                 if (!success)
2876                                         break;
2877                         } else {
2878                                 // In this case the child buffer is open but hidden.
2879                                 // It therefore should not (MUST NOT) be dirty!
2880                                 LATTEST(child_buf->isClean());
2881                                 theBufferList().release(child_buf);
2882                         }
2883                 }
2884         }
2885         if (success) {
2886                 // goto bookmark to update bookmark pit.
2887                 // FIXME: we should update only the bookmarks related to this buffer!
2888                 LYXERR(Debug::DEBUG, "GuiView::closeBuffer()");
2889                 for (size_t i = 0; i < theSession().bookmarks().size(); ++i)
2890                         guiApp->gotoBookmark(i+1, false, false);
2891
2892                 if (saveBufferIfNeeded(buf, false)) {
2893                         buf.removeAutosaveFile();
2894                         theBufferList().release(&buf);
2895                         return true;
2896                 }
2897         }
2898         // open all children again to avoid a crash because of dangling
2899         // pointers (bug 6603)
2900         buf.updateBuffer();
2901         return false;
2902 }
2903
2904
2905 bool GuiView::closeTabWorkArea(TabWorkArea * twa)
2906 {
2907         while (twa == d.currentTabWorkArea()) {
2908                 twa->setCurrentIndex(twa->count() - 1);
2909
2910                 GuiWorkArea * wa = twa->currentWorkArea();
2911                 Buffer & b = wa->bufferView().buffer();
2912
2913                 // We only want to close the buffer if the same buffer is not visible
2914                 // in another view, and if this is not a child and if we are closing
2915                 // a view (not a tabgroup).
2916                 bool const close_buffer =
2917                         !inOtherView(b) && !b.parent() && closing_;
2918
2919                 if (!closeWorkArea(wa, close_buffer))
2920                         return false;
2921         }
2922         return true;
2923 }
2924
2925
2926 bool GuiView::saveBufferIfNeeded(Buffer & buf, bool hiding)
2927 {
2928         if (buf.isClean() || buf.paragraphs().empty())
2929                 return true;
2930
2931         // Switch to this Buffer.
2932         setBuffer(&buf);
2933
2934         docstring file;
2935         // FIXME: Unicode?
2936         if (buf.isUnnamed())
2937                 file = from_utf8(buf.fileName().onlyFileName());
2938         else
2939                 file = buf.fileName().displayName(30);
2940
2941         // Bring this window to top before asking questions.
2942         raise();
2943         activateWindow();
2944
2945         int ret;
2946         if (hiding && buf.isUnnamed()) {
2947                 docstring const text = bformat(_("The document %1$s has not been "
2948                                                  "saved yet.\n\nDo you want to save "
2949                                                  "the document?"), file);
2950                 ret = Alert::prompt(_("Save new document?"),
2951                         text, 0, 1, _("&Save"), _("&Cancel"));
2952                 if (ret == 1)
2953                         ++ret;
2954         } else {
2955                 docstring const text = bformat(_("The document %1$s has unsaved changes."
2956                         "\n\nDo you want to save the document or discard the changes?"), file);
2957                 ret = Alert::prompt(_("Save changed document?"),
2958                         text, 0, 2, _("&Save"), _("&Discard"), _("&Cancel"));
2959         }
2960
2961         switch (ret) {
2962         case 0:
2963                 if (!saveBuffer(buf))
2964                         return false;
2965                 break;
2966         case 1:
2967                 // If we crash after this we could have no autosave file
2968                 // but I guess this is really improbable (Jug).
2969                 // Sometimes improbable things happen:
2970                 // - see bug http://www.lyx.org/trac/ticket/6587 (ps)
2971                 // buf.removeAutosaveFile();
2972                 if (hiding)
2973                         // revert all changes
2974                         reloadBuffer(buf);
2975                 buf.markClean();
2976                 break;
2977         case 2:
2978                 return false;
2979         }
2980         return true;
2981 }
2982
2983
2984 bool GuiView::inMultiTabs(GuiWorkArea * wa)
2985 {
2986         Buffer & buf = wa->bufferView().buffer();
2987
2988         for (int i = 0; i != d.splitter_->count(); ++i) {
2989                 GuiWorkArea * wa_ = d.tabWorkArea(i)->workArea(buf);
2990                 if (wa_ && wa_ != wa)
2991                         return true;
2992         }
2993         return inOtherView(buf);
2994 }
2995
2996
2997 bool GuiView::inOtherView(Buffer & buf)
2998 {
2999         QList<int> const ids = guiApp->viewIds();
3000
3001         for (int i = 0; i != ids.size(); ++i) {
3002                 if (id_ == ids[i])
3003                         continue;
3004
3005                 if (guiApp->view(ids[i]).workArea(buf))
3006                         return true;
3007         }
3008         return false;
3009 }
3010
3011
3012 void GuiView::gotoNextOrPreviousBuffer(NextOrPrevious np, bool const move)
3013 {
3014         if (!documentBufferView())
3015                 return;
3016
3017         if (TabWorkArea * twa = d.currentTabWorkArea()) {
3018                 Buffer * const curbuf = &documentBufferView()->buffer();
3019                 int nwa = twa->count();
3020                 for (int i = 0; i < nwa; ++i) {
3021                         if (&workArea(i)->bufferView().buffer() == curbuf) {
3022                                 int next_index;
3023                                 if (np == NEXTBUFFER)
3024                                         next_index = (i == nwa - 1 ? 0 : i + 1);
3025                                 else
3026                                         next_index = (i == 0 ? nwa - 1 : i - 1);
3027                                 if (move)
3028                                         twa->moveTab(i, next_index);
3029                                 else
3030                                         setBuffer(&workArea(next_index)->bufferView().buffer());
3031                                 break;
3032                         }
3033                 }
3034         }
3035 }
3036
3037
3038 /// make sure the document is saved
3039 static bool ensureBufferClean(Buffer * buffer)
3040 {
3041         LASSERT(buffer, return false);
3042         if (buffer->isClean() && !buffer->isUnnamed())
3043                 return true;
3044
3045         docstring const file = buffer->fileName().displayName(30);
3046         docstring title;
3047         docstring text;
3048         if (!buffer->isUnnamed()) {
3049                 text = bformat(_("The document %1$s has unsaved "
3050                                                  "changes.\n\nDo you want to save "
3051                                                  "the document?"), file);
3052                 title = _("Save changed document?");
3053
3054         } else {
3055                 text = bformat(_("The document %1$s has not been "
3056                                                  "saved yet.\n\nDo you want to save "
3057                                                  "the document?"), file);
3058                 title = _("Save new document?");
3059         }
3060         int const ret = Alert::prompt(title, text, 0, 1, _("&Save"), _("&Cancel"));
3061
3062         if (ret == 0)
3063                 dispatch(FuncRequest(LFUN_BUFFER_WRITE));
3064
3065         return buffer->isClean() && !buffer->isUnnamed();
3066 }
3067
3068
3069 bool GuiView::reloadBuffer(Buffer & buf)
3070 {
3071         Buffer::ReadStatus status = buf.reload();
3072         return status == Buffer::ReadSuccess;
3073 }
3074
3075
3076 void GuiView::checkExternallyModifiedBuffers()
3077 {
3078         BufferList::iterator bit = theBufferList().begin();
3079         BufferList::iterator const bend = theBufferList().end();
3080         for (; bit != bend; ++bit) {
3081                 Buffer * buf = *bit;
3082                 if (buf->fileName().exists()
3083                         && buf->isExternallyModified(Buffer::checksum_method)) {
3084                         docstring text = bformat(_("Document \n%1$s\n has been externally modified."
3085                                         " Reload now? Any local changes will be lost."),
3086                                         from_utf8(buf->absFileName()));
3087                         int const ret = Alert::prompt(_("Reload externally changed document?"),
3088                                                 text, 0, 1, _("&Reload"), _("&Cancel"));
3089                         if (!ret)
3090                                 reloadBuffer(*buf);
3091                 }
3092         }
3093 }
3094
3095
3096 void GuiView::dispatchVC(FuncRequest const & cmd, DispatchResult & dr)
3097 {
3098         Buffer * buffer = documentBufferView()
3099                 ? &(documentBufferView()->buffer()) : 0;
3100
3101         switch (cmd.action()) {
3102         case LFUN_VC_REGISTER:
3103                 if (!buffer || !ensureBufferClean(buffer))
3104                         break;
3105                 if (!buffer->lyxvc().inUse()) {
3106                         if (buffer->lyxvc().registrer()) {
3107                                 reloadBuffer(*buffer);
3108                                 dr.clearMessageUpdate();
3109                         }
3110                 }
3111                 break;
3112
3113         case LFUN_VC_RENAME:
3114         case LFUN_VC_COPY: {
3115                 if (!buffer || !ensureBufferClean(buffer))
3116                         break;
3117                 if (buffer->lyxvc().inUse() && !buffer->isReadonly()) {
3118                         if (buffer->lyxvc().isCheckInWithConfirmation()) {
3119                                 // Some changes are not yet committed.
3120                                 // We test here and not in getStatus(), since
3121                                 // this test is expensive.
3122                                 string log;
3123                                 LyXVC::CommandResult ret =
3124                                         buffer->lyxvc().checkIn(log);
3125                                 dr.setMessage(log);
3126                                 if (ret == LyXVC::ErrorCommand ||
3127                                     ret == LyXVC::VCSuccess)
3128                                         reloadBuffer(*buffer);
3129                                 if (buffer->lyxvc().isCheckInWithConfirmation()) {
3130                                         frontend::Alert::error(
3131                                                 _("Revision control error."),
3132                                                 _("Document could not be checked in."));
3133                                         break;
3134                                 }
3135                         }
3136                         RenameKind const kind = (cmd.action() == LFUN_VC_RENAME) ?
3137                                 LV_VC_RENAME : LV_VC_COPY;
3138                         renameBuffer(*buffer, cmd.argument(), kind);
3139                 }
3140                 break;
3141         }
3142
3143         case LFUN_VC_CHECK_IN:
3144                 if (!buffer || !ensureBufferClean(buffer))
3145                         break;
3146                 if (buffer->lyxvc().inUse() && !buffer->isReadonly()) {
3147                         string log;
3148                         LyXVC::CommandResult ret = buffer->lyxvc().checkIn(log);
3149                         dr.setMessage(log);
3150                         // Only skip reloading if the checkin was cancelled or
3151                         // an error occurred before the real checkin VCS command
3152                         // was executed, since the VCS might have changed the
3153                         // file even if it could not checkin successfully.
3154                         if (ret == LyXVC::ErrorCommand || ret == LyXVC::VCSuccess)
3155                                 reloadBuffer(*buffer);
3156                 }
3157                 break;
3158
3159         case LFUN_VC_CHECK_OUT:
3160                 if (!buffer || !ensureBufferClean(buffer))
3161                         break;
3162                 if (buffer->lyxvc().inUse()) {
3163                         dr.setMessage(buffer->lyxvc().checkOut());
3164                         reloadBuffer(*buffer);
3165                 }
3166                 break;
3167
3168         case LFUN_VC_LOCKING_TOGGLE:
3169                 LASSERT(buffer, return);
3170                 if (!ensureBufferClean(buffer) || buffer->isReadonly())
3171                         break;
3172                 if (buffer->lyxvc().inUse()) {
3173                         string res = buffer->lyxvc().lockingToggle();
3174                         if (res.empty()) {
3175                                 frontend::Alert::error(_("Revision control error."),
3176                                 _("Error when setting the locking property."));
3177                         } else {
3178                                 dr.setMessage(res);
3179                                 reloadBuffer(*buffer);
3180                         }
3181                 }
3182                 break;
3183
3184         case LFUN_VC_REVERT:
3185                 LASSERT(buffer, return);
3186                 if (buffer->lyxvc().revert()) {
3187                         reloadBuffer(*buffer);
3188                         dr.clearMessageUpdate();
3189                 }
3190                 break;
3191
3192         case LFUN_VC_UNDO_LAST:
3193                 LASSERT(buffer, return);
3194                 buffer->lyxvc().undoLast();
3195                 reloadBuffer(*buffer);
3196                 dr.clearMessageUpdate();
3197                 break;
3198
3199         case LFUN_VC_REPO_UPDATE:
3200                 LASSERT(buffer, return);
3201                 if (ensureBufferClean(buffer)) {
3202                         dr.setMessage(buffer->lyxvc().repoUpdate());
3203                         checkExternallyModifiedBuffers();
3204                 }
3205                 break;
3206
3207         case LFUN_VC_COMMAND: {
3208                 string flag = cmd.getArg(0);
3209                 if (buffer && contains(flag, 'R') && !ensureBufferClean(buffer))
3210                         break;
3211                 docstring message;
3212                 if (contains(flag, 'M')) {
3213                         if (!Alert::askForText(message, _("LyX VC: Log Message")))
3214                                 break;
3215                 }
3216                 string path = cmd.getArg(1);
3217                 if (contains(path, "$$p") && buffer)
3218                         path = subst(path, "$$p", buffer->filePath());
3219                 LYXERR(Debug::LYXVC, "Directory: " << path);
3220                 FileName pp(path);
3221                 if (!pp.isReadableDirectory()) {
3222                         lyxerr << _("Directory is not accessible.") << endl;
3223                         break;
3224                 }
3225                 support::PathChanger p(pp);
3226
3227                 string command = cmd.getArg(2);
3228                 if (command.empty())
3229                         break;
3230                 if (buffer) {
3231                         command = subst(command, "$$i", buffer->absFileName());
3232                         command = subst(command, "$$p", buffer->filePath());
3233                 }
3234                 command = subst(command, "$$m", to_utf8(message));
3235                 LYXERR(Debug::LYXVC, "Command: " << command);
3236                 Systemcall one;
3237                 one.startscript(Systemcall::Wait, command);
3238
3239                 if (!buffer)
3240                         break;
3241                 if (contains(flag, 'I'))
3242                         buffer->markDirty();
3243                 if (contains(flag, 'R'))
3244                         reloadBuffer(*buffer);
3245
3246                 break;
3247                 }
3248
3249         case LFUN_VC_COMPARE: {
3250                 if (cmd.argument().empty()) {
3251                         lyx::dispatch(FuncRequest(LFUN_DIALOG_SHOW, "comparehistory"));
3252                         break;
3253                 }
3254
3255                 string rev1 = cmd.getArg(0);
3256                 string f1, f2;
3257
3258                 // f1
3259                 // it seems safe to assume we have a buffer
3260                 // coverity[FORWARD_NULL]
3261                 if (!buffer->lyxvc().prepareFileRevision(rev1, f1))
3262                         break;
3263
3264                 if (isStrInt(rev1) && convert<int>(rev1) <= 0) {
3265                         f2 = buffer->absFileName();
3266                 } else {
3267                         string rev2 = cmd.getArg(1);
3268                         if (rev2.empty())
3269                                 break;
3270                         // f2
3271                         if (!buffer->lyxvc().prepareFileRevision(rev2, f2))
3272                                 break;
3273                 }
3274
3275                 LYXERR(Debug::LYXVC, "Launching comparison for fetched revisions:\n" <<
3276                                         f1 << "\n"  << f2 << "\n" );
3277                 string par = "compare run " + quoteName(f1) + " " + quoteName(f2);
3278                 lyx::dispatch(FuncRequest(LFUN_DIALOG_SHOW, par));
3279                 break;
3280         }
3281
3282         default:
3283                 break;
3284         }
3285 }
3286
3287
3288 void GuiView::openChildDocument(string const & fname)
3289 {
3290         LASSERT(documentBufferView(), return);
3291         Buffer & buffer = documentBufferView()->buffer();
3292         FileName const filename = support::makeAbsPath(fname, buffer.filePath());
3293         documentBufferView()->saveBookmark(false);
3294         Buffer * child = 0;
3295         if (theBufferList().exists(filename)) {
3296                 child = theBufferList().getBuffer(filename);
3297                 setBuffer(child);
3298         } else {
3299                 message(bformat(_("Opening child document %1$s..."),
3300                         makeDisplayPath(filename.absFileName())));
3301                 child = loadDocument(filename, false);
3302         }
3303         // Set the parent name of the child document.
3304         // This makes insertion of citations and references in the child work,
3305         // when the target is in the parent or another child document.
3306         if (child)
3307                 child->setParent(&buffer);
3308 }
3309
3310
3311 bool GuiView::goToFileRow(string const & argument)
3312 {
3313         string file_name;
3314         int row;
3315         size_t i = argument.find_last_of(' ');
3316         if (i != string::npos) {
3317                 file_name = os::internal_path(trim(argument.substr(0, i)));
3318                 istringstream is(argument.substr(i + 1));
3319                 is >> row;
3320                 if (is.fail())
3321                         i = string::npos;
3322         }
3323         if (i == string::npos) {
3324                 LYXERR0("Wrong argument: " << argument);
3325                 return false;
3326         }
3327         Buffer * buf = 0;
3328         string const abstmp = package().temp_dir().absFileName();
3329         string const realtmp = package().temp_dir().realPath();
3330         // We have to use os::path_prefix_is() here, instead of
3331         // simply prefixIs(), because the file name comes from
3332         // an external application and may need case adjustment.
3333         if (os::path_prefix_is(file_name, abstmp, os::CASE_ADJUSTED)
3334                 || os::path_prefix_is(file_name, realtmp, os::CASE_ADJUSTED)) {
3335                 // Needed by inverse dvi search. If it is a file
3336                 // in tmpdir, call the apropriated function.
3337                 // If tmpdir is a symlink, we may have the real
3338                 // path passed back, so we correct for that.
3339                 if (!prefixIs(file_name, abstmp))
3340                         file_name = subst(file_name, realtmp, abstmp);
3341                 buf = theBufferList().getBufferFromTmp(file_name);
3342         } else {
3343                 // Must replace extension of the file to be .lyx
3344                 // and get full path
3345                 FileName const s = fileSearch(string(),
3346                                                   support::changeExtension(file_name, ".lyx"), "lyx");
3347                 // Either change buffer or load the file
3348                 if (theBufferList().exists(s))
3349                         buf = theBufferList().getBuffer(s);
3350                 else if (s.exists()) {
3351                         buf = loadDocument(s);
3352                         if (!buf)
3353                                 return false;
3354                 } else {
3355                         message(bformat(
3356                                         _("File does not exist: %1$s"),
3357                                         makeDisplayPath(file_name)));
3358                         return false;
3359                 }
3360         }
3361         if (!buf) {
3362                 message(bformat(
3363                         _("No buffer for file: %1$s."),
3364                         makeDisplayPath(file_name))
3365                 );
3366                 return false;
3367         }
3368         setBuffer(buf);
3369         documentBufferView()->setCursorFromRow(row);
3370         return true;
3371 }
3372
3373
3374 template<class T>
3375 Buffer::ExportStatus GuiView::GuiViewPrivate::runAndDestroy(const T& func, Buffer const * orig, Buffer * clone, string const & format)
3376 {
3377         Buffer::ExportStatus const status = func(format);
3378
3379         // the cloning operation will have produced a clone of the entire set of
3380         // documents, starting from the master. so we must delete those.
3381         Buffer * mbuf = const_cast<Buffer *>(clone->masterBuffer());
3382         delete mbuf;
3383         busyBuffers.remove(orig);
3384         return status;
3385 }
3386
3387
3388 Buffer::ExportStatus GuiView::GuiViewPrivate::compileAndDestroy(Buffer const * orig, Buffer * clone, string const & format)
3389 {
3390         Buffer::ExportStatus (Buffer::* mem_func)(std::string const &, bool) const = &Buffer::doExport;
3391         return runAndDestroy(lyx::bind(mem_func, clone, _1, true), orig, clone, format);
3392 }
3393
3394
3395 Buffer::ExportStatus GuiView::GuiViewPrivate::exportAndDestroy(Buffer const * orig, Buffer * clone, string const & format)
3396 {
3397         Buffer::ExportStatus (Buffer::* mem_func)(std::string const &, bool) const = &Buffer::doExport;
3398         return runAndDestroy(lyx::bind(mem_func, clone, _1, false), orig, clone, format);
3399 }
3400
3401
3402 Buffer::ExportStatus GuiView::GuiViewPrivate::previewAndDestroy(Buffer const * orig, Buffer * clone, string const & format)
3403 {
3404         Buffer::ExportStatus (Buffer::* mem_func)(std::string const &) const = &Buffer::preview;
3405         return runAndDestroy(lyx::bind(mem_func, clone, _1), orig, clone, format);
3406 }
3407
3408
3409 bool GuiView::GuiViewPrivate::asyncBufferProcessing(
3410                            string const & argument,
3411                            Buffer const * used_buffer,
3412                            docstring const & msg,
3413                            Buffer::ExportStatus (*asyncFunc)(Buffer const *, Buffer *, string const &),
3414                            Buffer::ExportStatus (Buffer::*syncFunc)(string const &, bool) const,
3415                            Buffer::ExportStatus (Buffer::*previewFunc)(string const &) const)
3416 {
3417         if (!used_buffer)
3418                 return false;
3419
3420         string format = argument;
3421         if (format.empty())
3422                 format = used_buffer->params().getDefaultOutputFormat();
3423         processing_format = format;
3424         if (!msg.empty()) {
3425                 progress_->clearMessages();
3426                 gv_->message(msg);
3427         }
3428 #if EXPORT_in_THREAD
3429         GuiViewPrivate::busyBuffers.insert(used_buffer);
3430         Buffer * cloned_buffer = used_buffer->cloneFromMaster();
3431         if (!cloned_buffer) {
3432                 Alert::error(_("Export Error"),
3433                              _("Error cloning the Buffer."));
3434                 return false;
3435         }
3436         QFuture<Buffer::ExportStatus> f = QtConcurrent::run(
3437                                 asyncFunc,
3438                                 used_buffer,
3439                                 cloned_buffer,
3440                                 format);
3441         setPreviewFuture(f);
3442         last_export_format = used_buffer->params().bufferFormat();
3443         (void) syncFunc;
3444         (void) previewFunc;
3445         // We are asynchronous, so we don't know here anything about the success
3446         return true;
3447 #else
3448         Buffer::ExportStatus status;
3449         if (syncFunc) {
3450                 status = (used_buffer->*syncFunc)(format, true);
3451         } else if (previewFunc) {
3452                 status = (used_buffer->*previewFunc)(format);
3453         } else
3454                 return false;
3455         handleExportStatus(gv_, status, format);
3456         (void) asyncFunc;
3457         return (status == Buffer::ExportSuccess
3458                         || status == Buffer::PreviewSuccess);
3459 #endif
3460 }
3461
3462 void GuiView::dispatchToBufferView(FuncRequest const & cmd, DispatchResult & dr)
3463 {
3464         BufferView * bv = currentBufferView();
3465         LASSERT(bv, return);
3466
3467         // Let the current BufferView dispatch its own actions.
3468         bv->dispatch(cmd, dr);
3469         if (dr.dispatched())
3470                 return;
3471
3472         // Try with the document BufferView dispatch if any.
3473         BufferView * doc_bv = documentBufferView();
3474         if (doc_bv && doc_bv != bv) {
3475                 doc_bv->dispatch(cmd, dr);
3476                 if (dr.dispatched())
3477                         return;
3478         }
3479
3480         // Then let the current Cursor dispatch its own actions.
3481         bv->cursor().dispatch(cmd);
3482
3483         // update completion. We do it here and not in
3484         // processKeySym to avoid another redraw just for a
3485         // changed inline completion
3486         if (cmd.origin() == FuncRequest::KEYBOARD) {
3487                 if (cmd.action() == LFUN_SELF_INSERT
3488                         || (cmd.action() == LFUN_ERT_INSERT && bv->cursor().inMathed()))
3489                         updateCompletion(bv->cursor(), true, true);
3490                 else if (cmd.action() == LFUN_CHAR_DELETE_BACKWARD)
3491                         updateCompletion(bv->cursor(), false, true);
3492                 else
3493                         updateCompletion(bv->cursor(), false, false);
3494         }
3495
3496         dr = bv->cursor().result();
3497 }
3498
3499
3500 void GuiView::dispatch(FuncRequest const & cmd, DispatchResult & dr)
3501 {
3502         BufferView * bv = currentBufferView();
3503         // By default we won't need any update.
3504         dr.screenUpdate(Update::None);
3505         // assume cmd will be dispatched
3506         dr.dispatched(true);
3507
3508         Buffer * doc_buffer = documentBufferView()
3509                 ? &(documentBufferView()->buffer()) : 0;
3510
3511         if (cmd.origin() == FuncRequest::TOC) {
3512                 GuiToc * toc = static_cast<GuiToc*>(findOrBuild("toc", false));
3513                 // FIXME: do we need to pass a DispatchResult object here?
3514                 toc->doDispatch(bv->cursor(), cmd);
3515                 return;
3516         }
3517
3518         string const argument = to_utf8(cmd.argument());
3519
3520         switch(cmd.action()) {
3521                 case LFUN_BUFFER_CHILD_OPEN:
3522                         openChildDocument(to_utf8(cmd.argument()));
3523                         break;
3524
3525                 case LFUN_BUFFER_IMPORT:
3526                         importDocument(to_utf8(cmd.argument()));
3527                         break;
3528
3529                 case LFUN_BUFFER_EXPORT: {
3530                         if (!doc_buffer)
3531                                 break;
3532                         // GCC only sees strfwd.h when building merged
3533                         if (::lyx::operator==(cmd.argument(), "custom")) {
3534                                 dispatch(FuncRequest(LFUN_DIALOG_SHOW, "sendto"), dr);
3535                                 break;
3536                         }
3537
3538                         string const dest = cmd.getArg(1);
3539                         FileName target_dir;
3540                         if (!dest.empty() && FileName::isAbsolute(dest))
3541                                 target_dir = FileName(support::onlyPath(dest));
3542                         else
3543                                 target_dir = doc_buffer->fileName().onlyPath();
3544
3545                         if ((dest.empty() && doc_buffer->isUnnamed())
3546                             || !target_dir.isDirWritable()) {
3547                                 exportBufferAs(*doc_buffer, cmd.argument());
3548                                 break;
3549                         }
3550                         /* TODO/Review: Is it a problem to also export the children?
3551                                         See the update_unincluded flag */
3552                         d.asyncBufferProcessing(argument,
3553                                                 doc_buffer,
3554                                                 _("Exporting ..."),
3555                                                 &GuiViewPrivate::exportAndDestroy,
3556                                                 &Buffer::doExport,
3557                                                 0);
3558                         // TODO Inform user about success
3559                         break;
3560                 }
3561
3562                 case LFUN_BUFFER_EXPORT_AS: {
3563                         LASSERT(doc_buffer, break);
3564                         docstring f = cmd.argument();
3565                         if (f.empty())
3566                                 f = from_ascii(doc_buffer->params().getDefaultOutputFormat());
3567                         exportBufferAs(*doc_buffer, f);
3568                         break;
3569                 }
3570
3571                 case LFUN_BUFFER_UPDATE: {
3572                         d.asyncBufferProcessing(argument,
3573                                                 doc_buffer,
3574                                                 _("Exporting ..."),
3575                                                 &GuiViewPrivate::compileAndDestroy,
3576                                                 &Buffer::doExport,
3577                                                 0);
3578                         break;
3579                 }
3580                 case LFUN_BUFFER_VIEW: {
3581                         d.asyncBufferProcessing(argument,
3582                                                 doc_buffer,
3583                                                 _("Previewing ..."),
3584                                                 &GuiViewPrivate::previewAndDestroy,
3585                                                 0,
3586                                                 &Buffer::preview);
3587                         break;
3588                 }
3589                 case LFUN_MASTER_BUFFER_UPDATE: {
3590                         d.asyncBufferProcessing(argument,
3591                                                 (doc_buffer ? doc_buffer->masterBuffer() : 0),
3592                                                 docstring(),
3593                                                 &GuiViewPrivate::compileAndDestroy,
3594                                                 &Buffer::doExport,
3595                                                 0);
3596                         break;
3597                 }
3598                 case LFUN_MASTER_BUFFER_VIEW: {
3599                         d.asyncBufferProcessing(argument,
3600                                                 (doc_buffer ? doc_buffer->masterBuffer() : 0),
3601                                                 docstring(),
3602                                                 &GuiViewPrivate::previewAndDestroy,
3603                                                 0, &Buffer::preview);
3604                         break;
3605                 }
3606                 case LFUN_BUFFER_SWITCH: {
3607                         string const file_name = to_utf8(cmd.argument());
3608                         if (!FileName::isAbsolute(file_name)) {
3609                                 dr.setError(true);
3610                                 dr.setMessage(_("Absolute filename expected."));
3611                                 break;
3612                         }
3613
3614                         Buffer * buffer = theBufferList().getBuffer(FileName(file_name));
3615                         if (!buffer) {
3616                                 dr.setError(true);
3617                                 dr.setMessage(_("Document not loaded"));
3618                                 break;
3619                         }
3620
3621                         // Do we open or switch to the buffer in this view ?
3622                         if (workArea(*buffer)
3623                                   || lyxrc.open_buffers_in_tabs || !documentBufferView()) {
3624                                 setBuffer(buffer);
3625                                 break;
3626                         }
3627
3628                         // Look for the buffer in other views
3629                         QList<int> const ids = guiApp->viewIds();
3630                         int i = 0;
3631                         for (; i != ids.size(); ++i) {
3632                                 GuiView & gv = guiApp->view(ids[i]);
3633                                 if (gv.workArea(*buffer)) {
3634                                         gv.raise();
3635                                         gv.activateWindow();
3636                                         gv.setFocus();
3637                                         gv.setBuffer(buffer);
3638                                         break;
3639                                 }
3640                         }
3641
3642                         // If necessary, open a new window as a last resort
3643                         if (i == ids.size()) {
3644                                 lyx::dispatch(FuncRequest(LFUN_WINDOW_NEW));
3645                                 lyx::dispatch(cmd);
3646                         }
3647                         break;
3648                 }
3649
3650                 case LFUN_BUFFER_NEXT:
3651                         gotoNextOrPreviousBuffer(NEXTBUFFER, false);
3652                         break;
3653
3654                 case LFUN_BUFFER_MOVE_NEXT:
3655                         gotoNextOrPreviousBuffer(NEXTBUFFER, true);
3656                         break;
3657
3658                 case LFUN_BUFFER_PREVIOUS:
3659                         gotoNextOrPreviousBuffer(PREVBUFFER, false);
3660                         break;
3661
3662                 case LFUN_BUFFER_MOVE_PREVIOUS:
3663                         gotoNextOrPreviousBuffer(PREVBUFFER, true);
3664                         break;
3665
3666                 case LFUN_COMMAND_EXECUTE: {
3667                         command_execute_ = true;
3668                         break;
3669                 }
3670                 case LFUN_DROP_LAYOUTS_CHOICE:
3671                         d.layout_->showPopup();
3672                         break;
3673
3674                 case LFUN_MENU_OPEN:
3675                         if (QMenu * menu = guiApp->menus().menu(toqstr(cmd.argument()), *this))
3676                                 menu->exec(QCursor::pos());
3677                         break;
3678
3679                 case LFUN_FILE_INSERT:
3680                         insertLyXFile(cmd.argument());
3681                         break;
3682
3683                 case LFUN_FILE_INSERT_PLAINTEXT:
3684                 case LFUN_FILE_INSERT_PLAINTEXT_PARA: {
3685                         string const fname = to_utf8(cmd.argument());
3686                         if (!fname.empty() && !FileName::isAbsolute(fname)) {
3687                                 dr.setMessage(_("Absolute filename expected."));
3688                                 break;
3689                         }
3690
3691                         FileName filename(fname);
3692                         if (fname.empty()) {
3693                                 FileDialog dlg(qt_("Select file to insert"));
3694
3695                                 FileDialog::Result result = dlg.open(toqstr(bv->buffer().filePath()),
3696                                         QStringList(qt_("All Files (*)")));
3697
3698                                 if (result.first == FileDialog::Later || result.second.isEmpty()) {
3699                                         dr.setMessage(_("Canceled."));
3700                                         break;
3701                                 }
3702
3703                                 filename.set(fromqstr(result.second));
3704                         }
3705
3706                         if (bv) {
3707                                 FuncRequest const new_cmd(cmd, filename.absoluteFilePath());
3708                                 bv->dispatch(new_cmd, dr);
3709                         }
3710                         break;
3711                 }
3712
3713                 case LFUN_BUFFER_RELOAD: {
3714                         LASSERT(doc_buffer, break);
3715
3716                         int ret = 0;
3717                         if (!doc_buffer->isClean()) {
3718                                 docstring const file =
3719                                         makeDisplayPath(doc_buffer->absFileName(), 20);
3720                                 docstring text = bformat(_("Any changes will be lost. "
3721                                         "Are you sure you want to revert to the saved version "
3722                                         "of the document %1$s?"), file);
3723                                 ret = Alert::prompt(_("Revert to saved document?"),
3724                                         text, 1, 1, _("&Revert"), _("&Cancel"));
3725                         }
3726
3727                         if (ret == 0) {
3728                                 doc_buffer->markClean();
3729                                 reloadBuffer(*doc_buffer);
3730                                 dr.forceBufferUpdate();
3731                         }
3732                         break;
3733                 }
3734
3735                 case LFUN_BUFFER_WRITE:
3736                         LASSERT(doc_buffer, break);
3737                         saveBuffer(*doc_buffer);
3738                         break;
3739
3740                 case LFUN_BUFFER_WRITE_AS:
3741                         LASSERT(doc_buffer, break);
3742                         renameBuffer(*doc_buffer, cmd.argument());
3743                         break;
3744
3745                 case LFUN_BUFFER_WRITE_ALL: {
3746                         Buffer * first = theBufferList().first();
3747                         if (!first)
3748                                 break;
3749                         message(_("Saving all documents..."));
3750                         // We cannot use a for loop as the buffer list cycles.
3751                         Buffer * b = first;
3752                         do {
3753                                 if (!b->isClean()) {
3754                                         saveBuffer(*b);
3755                                         LYXERR(Debug::ACTION, "Saved " << b->absFileName());
3756                                 }
3757                                 b = theBufferList().next(b);
3758                         } while (b != first);
3759                         dr.setMessage(_("All documents saved."));
3760                         break;
3761                 }
3762
3763                 case LFUN_BUFFER_CLOSE:
3764                         closeBuffer();
3765                         break;
3766
3767                 case LFUN_BUFFER_CLOSE_ALL:
3768                         closeBufferAll();
3769                         break;
3770
3771                 case LFUN_TOOLBAR_TOGGLE: {
3772                         string const name = cmd.getArg(0);
3773                         if (GuiToolbar * t = toolbar(name))
3774                                 t->toggle();
3775                         break;
3776                 }
3777
3778                 case LFUN_DIALOG_UPDATE: {
3779                         string const name = to_utf8(cmd.argument());
3780                         if (name == "prefs" || name == "document")
3781                                 updateDialog(name, string());
3782                         else if (name == "paragraph")
3783                                 lyx::dispatch(FuncRequest(LFUN_PARAGRAPH_UPDATE));
3784                         else if (currentBufferView()) {
3785                                 Inset * inset = currentBufferView()->editedInset(name);
3786                                 // Can only update a dialog connected to an existing inset
3787                                 if (inset) {
3788                                         // FIXME: get rid of this indirection; GuiView ask the inset
3789                                         // if he is kind enough to update itself...
3790                                         FuncRequest fr(LFUN_INSET_DIALOG_UPDATE, cmd.argument());
3791                                         //FIXME: pass DispatchResult here?
3792                                         inset->dispatch(currentBufferView()->cursor(), fr);
3793                                 }
3794                         }
3795                         break;
3796                 }
3797
3798                 case LFUN_DIALOG_TOGGLE: {
3799                         FuncCode const func_code = isDialogVisible(cmd.getArg(0))
3800                                 ? LFUN_DIALOG_HIDE : LFUN_DIALOG_SHOW;
3801                         dispatch(FuncRequest(func_code, cmd.argument()), dr);
3802                         break;
3803                 }
3804
3805                 case LFUN_DIALOG_DISCONNECT_INSET:
3806                         disconnectDialog(to_utf8(cmd.argument()));
3807                         break;
3808
3809                 case LFUN_DIALOG_HIDE: {
3810                         guiApp->hideDialogs(to_utf8(cmd.argument()), 0);
3811                         break;
3812                 }
3813
3814                 case LFUN_DIALOG_SHOW: {
3815                         string const name = cmd.getArg(0);
3816                         string data = trim(to_utf8(cmd.argument()).substr(name.size()));
3817
3818                         if (name == "character") {
3819                                 data = freefont2string();
3820                                 if (!data.empty())
3821                                         showDialog("character", data);
3822                         } else if (name == "latexlog") {
3823                                 Buffer::LogType type;
3824                                 string const logfile = doc_buffer->logName(&type);
3825                                 switch (type) {
3826                                 case Buffer::latexlog:
3827                                         data = "latex ";
3828                                         break;
3829                                 case Buffer::buildlog:
3830                                         data = "literate ";
3831                                         break;
3832                                 }
3833                                 data += Lexer::quoteString(logfile);
3834                                 showDialog("log", data);
3835                         } else if (name == "vclog") {
3836                                 string const data = "vc " +
3837                                         Lexer::quoteString(doc_buffer->lyxvc().getLogFile());
3838                                 showDialog("log", data);
3839                         } else if (name == "symbols") {
3840                                 data = bv->cursor().getEncoding()->name();
3841                                 if (!data.empty())
3842                                         showDialog("symbols", data);
3843                         // bug 5274
3844                         } else if (name == "prefs" && isFullScreen()) {
3845                                 lfunUiToggle("fullscreen");
3846                                 showDialog("prefs", data);
3847                         } else
3848                                 showDialog(name, data);
3849                         break;
3850                 }
3851
3852                 case LFUN_MESSAGE:
3853                         dr.setMessage(cmd.argument());
3854                         break;
3855
3856                 case LFUN_UI_TOGGLE: {
3857                         string arg = cmd.getArg(0);
3858                         if (!lfunUiToggle(arg)) {
3859                                 docstring const msg = "ui-toggle " + _("%1$s unknown command!");
3860                                 dr.setMessage(bformat(msg, from_utf8(arg)));
3861                         }
3862                         // Make sure the keyboard focus stays in the work area.
3863                         setFocus();
3864                         break;
3865                 }
3866
3867                 case LFUN_VIEW_SPLIT: {
3868                         LASSERT(doc_buffer, break);
3869                         string const orientation = cmd.getArg(0);
3870                         d.splitter_->setOrientation(orientation == "vertical"
3871                                 ? Qt::Vertical : Qt::Horizontal);
3872                         TabWorkArea * twa = addTabWorkArea();
3873                         GuiWorkArea * wa = twa->addWorkArea(*doc_buffer, *this);
3874                         setCurrentWorkArea(wa);
3875                         break;
3876                 }
3877                 case LFUN_TAB_GROUP_CLOSE:
3878                         if (TabWorkArea * twa = d.currentTabWorkArea()) {
3879                                 closeTabWorkArea(twa);
3880                                 d.current_work_area_ = 0;
3881                                 twa = d.currentTabWorkArea();
3882                                 // Switch to the next GuiWorkArea in the found TabWorkArea.
3883                                 if (twa) {
3884                                         // Make sure the work area is up to date.
3885                                         setCurrentWorkArea(twa->currentWorkArea());
3886                                 } else {
3887                                         setCurrentWorkArea(0);
3888                                 }
3889                         }
3890                         break;
3891
3892                 case LFUN_VIEW_CLOSE:
3893                         if (TabWorkArea * twa = d.currentTabWorkArea()) {
3894                                 closeWorkArea(twa->currentWorkArea());
3895                                 d.current_work_area_ = 0;
3896                                 twa = d.currentTabWorkArea();
3897                                 // Switch to the next GuiWorkArea in the found TabWorkArea.
3898                                 if (twa) {
3899                                         // Make sure the work area is up to date.
3900                                         setCurrentWorkArea(twa->currentWorkArea());
3901                                 } else {
3902                                         setCurrentWorkArea(0);
3903                                 }
3904                         }
3905                         break;
3906
3907                 case LFUN_COMPLETION_INLINE:
3908                         if (d.current_work_area_)
3909                                 d.current_work_area_->completer().showInline();
3910                         break;
3911
3912                 case LFUN_COMPLETION_POPUP:
3913                         if (d.current_work_area_)
3914                                 d.current_work_area_->completer().showPopup();
3915                         break;
3916
3917
3918                 case LFUN_COMPLETE:
3919                         if (d.current_work_area_)
3920                                 d.current_work_area_->completer().tab();
3921                         break;
3922
3923                 case LFUN_COMPLETION_CANCEL:
3924                         if (d.current_work_area_) {
3925                                 if (d.current_work_area_->completer().popupVisible())
3926                                         d.current_work_area_->completer().hidePopup();
3927                                 else
3928                                         d.current_work_area_->completer().hideInline();
3929                         }
3930                         break;
3931
3932                 case LFUN_COMPLETION_ACCEPT:
3933                         if (d.current_work_area_)
3934                                 d.current_work_area_->completer().activate();
3935                         break;
3936
3937                 case LFUN_BUFFER_ZOOM_IN:
3938                 case LFUN_BUFFER_ZOOM_OUT: {
3939                         // use a signed temp to avoid overflow
3940                         int zoom = lyxrc.zoom;
3941                         if (cmd.argument().empty()) {
3942                                 if (cmd.action() == LFUN_BUFFER_ZOOM_IN)
3943                                         zoom += 20;
3944                                 else
3945                                         zoom -= 20;
3946                         } else
3947                                 zoom += convert<int>(cmd.argument());
3948
3949                         if (zoom < 10)
3950                                 zoom = 10;
3951                         lyxrc.zoom = zoom;
3952
3953                         dr.setMessage(bformat(_("Zoom level is now %1$d%"), lyxrc.zoom));
3954
3955                         // The global QPixmapCache is used in GuiPainter to cache text
3956                         // painting so we must reset it.
3957                         QPixmapCache::clear();
3958                         guiApp->fontLoader().update();
3959                         lyx::dispatch(FuncRequest(LFUN_SCREEN_FONT_UPDATE));
3960                         break;
3961                 }
3962
3963                 case LFUN_VC_REGISTER:
3964                 case LFUN_VC_RENAME:
3965                 case LFUN_VC_COPY:
3966                 case LFUN_VC_CHECK_IN:
3967                 case LFUN_VC_CHECK_OUT:
3968                 case LFUN_VC_REPO_UPDATE:
3969                 case LFUN_VC_LOCKING_TOGGLE:
3970                 case LFUN_VC_REVERT:
3971                 case LFUN_VC_UNDO_LAST:
3972                 case LFUN_VC_COMMAND:
3973                 case LFUN_VC_COMPARE:
3974                         dispatchVC(cmd, dr);
3975                         break;
3976
3977                 case LFUN_SERVER_GOTO_FILE_ROW:
3978                         goToFileRow(to_utf8(cmd.argument()));
3979                         break;
3980
3981                 case LFUN_FORWARD_SEARCH: {
3982                 // it seems safe to assume we have a document buffer, since
3983                 // getStatus wants one.
3984                 // coverity[FORWARD_NULL]
3985                         Buffer const * doc_master = doc_buffer->masterBuffer();
3986                         FileName const path(doc_master->temppath());
3987                         string const texname = doc_master->isChild(doc_buffer)
3988                                 ? DocFileName(changeExtension(
3989                                         doc_buffer->absFileName(),
3990                                                 "tex")).mangledFileName()
3991                                 : doc_buffer->latexName();
3992                         string const fulltexname =
3993                                 support::makeAbsPath(texname, doc_master->temppath()).absFileName();
3994                         string const mastername =
3995                                 removeExtension(doc_master->latexName());
3996                         FileName const dviname(addName(path.absFileName(),
3997                                         addExtension(mastername, "dvi")));
3998                         FileName const pdfname(addName(path.absFileName(),
3999                                         addExtension(mastername, "pdf")));
4000                         bool const have_dvi = dviname.exists();
4001                         bool const have_pdf = pdfname.exists();
4002                         if (!have_dvi && !have_pdf) {
4003                                 dr.setMessage(_("Please, preview the document first."));
4004                                 break;
4005                         }
4006                         string outname = dviname.onlyFileName();
4007                         string command = lyxrc.forward_search_dvi;
4008                         if (!have_dvi || (have_pdf &&
4009                             pdfname.lastModified() > dviname.lastModified())) {
4010                                 outname = pdfname.onlyFileName();
4011                                 command = lyxrc.forward_search_pdf;
4012                         }
4013
4014                         DocIterator cur = bv->cursor();
4015                         int row = doc_buffer->texrow().rowFromDocIterator(cur).first;
4016                         LYXERR(Debug::ACTION, "Forward search: row:" << row
4017                                    << " cur:" << cur);
4018                         if (row == -1 || command.empty()) {
4019                                 dr.setMessage(_("Couldn't proceed."));
4020                                 break;
4021                         }
4022                         string texrow = convert<string>(row);
4023
4024                         command = subst(command, "$$n", texrow);
4025                         command = subst(command, "$$f", fulltexname);
4026                         command = subst(command, "$$t", texname);
4027                         command = subst(command, "$$o", outname);
4028
4029                         PathChanger p(path);
4030                         Systemcall one;
4031                         one.startscript(Systemcall::DontWait, command);
4032                         break;
4033                 }
4034
4035                 case LFUN_SPELLING_CONTINUOUSLY:
4036                         lyxrc.spellcheck_continuously = !lyxrc.spellcheck_continuously;
4037                         dr.screenUpdate(Update::Force | Update::FitCursor);
4038                         break;
4039
4040                 default:
4041                         // The LFUN must be for one of BufferView, Buffer or Cursor;
4042                         // let's try that:
4043                         dispatchToBufferView(cmd, dr);
4044                         break;
4045         }
4046
4047         // Part of automatic menu appearance feature.
4048         if (isFullScreen()) {
4049                 if (menuBar()->isVisible() && lyxrc.full_screen_menubar)
4050                         menuBar()->hide();
4051         }
4052
4053         // Need to update bv because many LFUNs here might have destroyed it
4054         bv = currentBufferView();
4055
4056         // Clear non-empty selections
4057         // (e.g. from a "char-forward-select" followed by "char-backward-select")
4058         if (bv) {
4059                 Cursor & cur = bv->cursor();
4060                 if ((cur.selection() && cur.selBegin() == cur.selEnd())) {
4061                         cur.clearSelection();
4062                 }
4063         }
4064 }
4065
4066
4067 bool GuiView::lfunUiToggle(string const & ui_component)
4068 {
4069         if (ui_component == "scrollbar") {
4070                 // hide() is of no help
4071                 if (d.current_work_area_->verticalScrollBarPolicy() ==
4072                         Qt::ScrollBarAlwaysOff)
4073
4074                         d.current_work_area_->setVerticalScrollBarPolicy(
4075                                 Qt::ScrollBarAsNeeded);
4076                 else
4077                         d.current_work_area_->setVerticalScrollBarPolicy(
4078                                 Qt::ScrollBarAlwaysOff);
4079         } else if (ui_component == "statusbar") {
4080                 statusBar()->setVisible(!statusBar()->isVisible());
4081         } else if (ui_component == "menubar") {
4082                 menuBar()->setVisible(!menuBar()->isVisible());
4083         } else
4084         if (ui_component == "frame") {
4085                 int l, t, r, b;
4086                 getContentsMargins(&l, &t, &r, &b);
4087                 //are the frames in default state?
4088                 d.current_work_area_->setFrameStyle(QFrame::NoFrame);
4089                 if (l == 0) {
4090                         setContentsMargins(-2, -2, -2, -2);
4091                 } else {
4092                         setContentsMargins(0, 0, 0, 0);
4093                 }
4094         } else
4095         if (ui_component == "fullscreen") {
4096                 toggleFullScreen();
4097         } else
4098                 return false;
4099         return true;
4100 }
4101
4102
4103 void GuiView::toggleFullScreen()
4104 {
4105         if (isFullScreen()) {
4106                 for (int i = 0; i != d.splitter_->count(); ++i)
4107                         d.tabWorkArea(i)->setFullScreen(false);
4108                 setContentsMargins(0, 0, 0, 0);
4109                 setWindowState(windowState() ^ Qt::WindowFullScreen);
4110                 restoreLayout();
4111                 menuBar()->show();
4112                 statusBar()->show();
4113         } else {
4114                 // bug 5274
4115                 hideDialogs("prefs", 0);
4116                 for (int i = 0; i != d.splitter_->count(); ++i)
4117                         d.tabWorkArea(i)->setFullScreen(true);
4118                 setContentsMargins(-2, -2, -2, -2);
4119                 saveLayout();
4120                 setWindowState(windowState() ^ Qt::WindowFullScreen);
4121                 if (lyxrc.full_screen_statusbar)
4122                         statusBar()->hide();
4123                 if (lyxrc.full_screen_menubar)
4124                         menuBar()->hide();
4125                 if (lyxrc.full_screen_toolbars) {
4126                         ToolbarMap::iterator end = d.toolbars_.end();
4127                         for (ToolbarMap::iterator it = d.toolbars_.begin(); it != end; ++it)
4128                                 it->second->hide();
4129                 }
4130         }
4131
4132         // give dialogs like the TOC a chance to adapt
4133         updateDialogs();
4134 }
4135
4136
4137 Buffer const * GuiView::updateInset(Inset const * inset)
4138 {
4139         if (!inset)
4140                 return 0;
4141
4142         Buffer const * inset_buffer = &(inset->buffer());
4143
4144         for (int i = 0; i != d.splitter_->count(); ++i) {
4145                 GuiWorkArea * wa = d.tabWorkArea(i)->currentWorkArea();
4146                 if (!wa)
4147                         continue;
4148                 Buffer const * buffer = &(wa->bufferView().buffer());
4149                 if (inset_buffer == buffer)
4150                         wa->scheduleRedraw();
4151         }
4152         return inset_buffer;
4153 }
4154
4155
4156 void GuiView::restartCursor()
4157 {
4158         /* When we move around, or type, it's nice to be able to see
4159          * the cursor immediately after the keypress.
4160          */
4161         if (d.current_work_area_)
4162                 d.current_work_area_->startBlinkingCursor();
4163
4164         // Take this occasion to update the other GUI elements.
4165         updateDialogs();
4166         updateStatusBar();
4167 }
4168
4169
4170 void GuiView::updateCompletion(Cursor & cur, bool start, bool keep)
4171 {
4172         if (d.current_work_area_)
4173                 d.current_work_area_->completer().updateVisibility(cur, start, keep);
4174 }
4175
4176 namespace {
4177
4178 // This list should be kept in sync with the list of insets in
4179 // src/insets/Inset.cpp.  I.e., if a dialog goes with an inset, the
4180 // dialog should have the same name as the inset.
4181 // Changes should be also recorded in LFUN_DIALOG_SHOW doxygen
4182 // docs in LyXAction.cpp.
4183
4184 char const * const dialognames[] = {
4185
4186 "aboutlyx", "bibitem", "bibtex", "box", "branch", "changes", "character",
4187 "citation", "compare", "comparehistory", "document", "errorlist", "ert",
4188 "external", "file", "findreplace", "findreplaceadv", "float", "graphics",
4189 "href", "include", "index", "index_print", "info", "listings", "label", "line",
4190 "log", "mathdelimiter", "mathmatrix", "mathspace", "nomenclature",
4191 "nomencl_print", "note", "paragraph", "phantom", "prefs", "ref",
4192 "sendto", "space", "spellchecker", "symbols", "tabular", "tabularcreate",
4193 "thesaurus", "texinfo", "toc", "view-source", "vspace", "wrap", "progress"};
4194
4195 char const * const * const end_dialognames =
4196         dialognames + (sizeof(dialognames) / sizeof(char *));
4197
4198 class cmpCStr {
4199 public:
4200         cmpCStr(char const * name) : name_(name) {}
4201         bool operator()(char const * other) {
4202                 return strcmp(other, name_) == 0;
4203         }
4204 private:
4205         char const * name_;
4206 };
4207
4208
4209 bool isValidName(string const & name)
4210 {
4211         return find_if(dialognames, end_dialognames,
4212                                 cmpCStr(name.c_str())) != end_dialognames;
4213 }
4214
4215 } // namespace anon
4216
4217
4218 void GuiView::resetDialogs()
4219 {
4220         // Make sure that no LFUN uses any GuiView.
4221         guiApp->setCurrentView(0);
4222         saveLayout();
4223         saveUISettings();
4224         menuBar()->clear();
4225         constructToolbars();
4226         guiApp->menus().fillMenuBar(menuBar(), this, false);
4227         d.layout_->updateContents(true);
4228         // Now update controls with current buffer.
4229         guiApp->setCurrentView(this);
4230         restoreLayout();
4231         restartCursor();
4232 }
4233
4234
4235 Dialog * GuiView::findOrBuild(string const & name, bool hide_it)
4236 {
4237         if (!isValidName(name))
4238                 return 0;
4239
4240         map<string, DialogPtr>::iterator it = d.dialogs_.find(name);
4241
4242         if (it != d.dialogs_.end()) {
4243                 if (hide_it)
4244                         it->second->hideView();
4245                 return it->second.get();
4246         }
4247
4248         Dialog * dialog = build(name);
4249         d.dialogs_[name].reset(dialog);
4250         if (lyxrc.allow_geometry_session)
4251                 dialog->restoreSession();
4252         if (hide_it)
4253                 dialog->hideView();
4254         return dialog;
4255 }
4256
4257
4258 void GuiView::showDialog(string const & name, string const & data,
4259         Inset * inset)
4260 {
4261         triggerShowDialog(toqstr(name), toqstr(data), inset);
4262 }
4263
4264
4265 void GuiView::doShowDialog(QString const & qname, QString const & qdata,
4266         Inset * inset)
4267 {
4268         if (d.in_show_)
4269                 return;
4270
4271         const string name = fromqstr(qname);
4272         const string data = fromqstr(qdata);
4273
4274         d.in_show_ = true;
4275         try {
4276                 Dialog * dialog = findOrBuild(name, false);
4277                 if (dialog) {
4278                         bool const visible = dialog->isVisibleView();
4279                         dialog->showData(data);
4280                         if (inset && currentBufferView())
4281                                 currentBufferView()->editInset(name, inset);
4282                         // We only set the focus to the new dialog if it was not yet
4283                         // visible in order not to change the existing previous behaviour
4284                         if (visible) {
4285                                 // activateWindow is needed for floating dockviews
4286                                 dialog->asQWidget()->raise();
4287                                 dialog->asQWidget()->activateWindow();
4288                                 dialog->asQWidget()->setFocus();
4289                         }
4290                 }
4291         }
4292         catch (ExceptionMessage const & ex) {
4293                 d.in_show_ = false;
4294                 throw ex;
4295         }
4296         d.in_show_ = false;
4297 }
4298
4299
4300 bool GuiView::isDialogVisible(string const & name) const
4301 {
4302         map<string, DialogPtr>::const_iterator it = d.dialogs_.find(name);
4303         if (it == d.dialogs_.end())
4304                 return false;
4305         return it->second.get()->isVisibleView() && !it->second.get()->isClosing();
4306 }
4307
4308
4309 void GuiView::hideDialog(string const & name, Inset * inset)
4310 {
4311         map<string, DialogPtr>::const_iterator it = d.dialogs_.find(name);
4312         if (it == d.dialogs_.end())
4313                 return;
4314
4315         if (inset) {
4316                 if (!currentBufferView())
4317                         return;
4318                 if (inset != currentBufferView()->editedInset(name))
4319                         return;
4320         }
4321
4322         Dialog * const dialog = it->second.get();
4323         if (dialog->isVisibleView())
4324                 dialog->hideView();
4325         if (currentBufferView())
4326                 currentBufferView()->editInset(name, 0);
4327 }
4328
4329
4330 void GuiView::disconnectDialog(string const & name)
4331 {
4332         if (!isValidName(name))
4333                 return;
4334         if (currentBufferView())
4335                 currentBufferView()->editInset(name, 0);
4336 }
4337
4338
4339 void GuiView::hideAll() const
4340 {
4341         map<string, DialogPtr>::const_iterator it  = d.dialogs_.begin();
4342         map<string, DialogPtr>::const_iterator end = d.dialogs_.end();
4343
4344         for(; it != end; ++it)
4345                 it->second->hideView();
4346 }
4347
4348
4349 void GuiView::updateDialogs()
4350 {
4351         map<string, DialogPtr>::const_iterator it  = d.dialogs_.begin();
4352         map<string, DialogPtr>::const_iterator end = d.dialogs_.end();
4353
4354         for(; it != end; ++it) {
4355                 Dialog * dialog = it->second.get();
4356                 if (dialog) {
4357                         if (dialog->needBufferOpen() && !documentBufferView())
4358                                 hideDialog(fromqstr(dialog->name()), 0);
4359                         else if (dialog->isVisibleView())
4360                                 dialog->checkStatus();
4361                 }
4362         }
4363         updateToolbars();
4364         updateLayoutList();
4365 }
4366
4367 Dialog * createDialog(GuiView & lv, string const & name);
4368
4369 // will be replaced by a proper factory...
4370 Dialog * createGuiAbout(GuiView & lv);
4371 Dialog * createGuiBibtex(GuiView & lv);
4372 Dialog * createGuiChanges(GuiView & lv);
4373 Dialog * createGuiCharacter(GuiView & lv);
4374 Dialog * createGuiCitation(GuiView & lv);
4375 Dialog * createGuiCompare(GuiView & lv);
4376 Dialog * createGuiCompareHistory(GuiView & lv);
4377 Dialog * createGuiDelimiter(GuiView & lv);
4378 Dialog * createGuiDocument(GuiView & lv);
4379 Dialog * createGuiErrorList(GuiView & lv);
4380 Dialog * createGuiExternal(GuiView & lv);
4381 Dialog * createGuiGraphics(GuiView & lv);
4382 Dialog * createGuiInclude(GuiView & lv);
4383 Dialog * createGuiIndex(GuiView & lv);
4384 Dialog * createGuiListings(GuiView & lv);
4385 Dialog * createGuiLog(GuiView & lv);
4386 Dialog * createGuiMathMatrix(GuiView & lv);
4387 Dialog * createGuiNote(GuiView & lv);
4388 Dialog * createGuiParagraph(GuiView & lv);
4389 Dialog * createGuiPhantom(GuiView & lv);
4390 Dialog * createGuiPreferences(GuiView & lv);
4391 Dialog * createGuiPrint(GuiView & lv);
4392 Dialog * createGuiPrintindex(GuiView & lv);
4393 Dialog * createGuiRef(GuiView & lv);
4394 Dialog * createGuiSearch(GuiView & lv);
4395 Dialog * createGuiSearchAdv(GuiView & lv);
4396 Dialog * createGuiSendTo(GuiView & lv);
4397 Dialog * createGuiShowFile(GuiView & lv);
4398 Dialog * createGuiSpellchecker(GuiView & lv);
4399 Dialog * createGuiSymbols(GuiView & lv);
4400 Dialog * createGuiTabularCreate(GuiView & lv);
4401 Dialog * createGuiTexInfo(GuiView & lv);
4402 Dialog * createGuiToc(GuiView & lv);
4403 Dialog * createGuiThesaurus(GuiView & lv);
4404 Dialog * createGuiViewSource(GuiView & lv);
4405 Dialog * createGuiWrap(GuiView & lv);
4406 Dialog * createGuiProgressView(GuiView & lv);
4407
4408
4409
4410 Dialog * GuiView::build(string const & name)
4411 {
4412         LASSERT(isValidName(name), return 0);
4413
4414         Dialog * dialog = createDialog(*this, name);
4415         if (dialog)
4416                 return dialog;
4417
4418         if (name == "aboutlyx")
4419                 return createGuiAbout(*this);
4420         if (name == "bibtex")
4421                 return createGuiBibtex(*this);
4422         if (name == "changes")
4423                 return createGuiChanges(*this);
4424         if (name == "character")
4425                 return createGuiCharacter(*this);
4426         if (name == "citation")
4427                 return createGuiCitation(*this);
4428         if (name == "compare")
4429                 return createGuiCompare(*this);
4430         if (name == "comparehistory")
4431                 return createGuiCompareHistory(*this);
4432         if (name == "document")
4433                 return createGuiDocument(*this);
4434         if (name == "errorlist")
4435                 return createGuiErrorList(*this);
4436         if (name == "external")
4437                 return createGuiExternal(*this);
4438         if (name == "file")
4439                 return createGuiShowFile(*this);
4440         if (name == "findreplace")
4441                 return createGuiSearch(*this);
4442         if (name == "findreplaceadv")
4443                 return createGuiSearchAdv(*this);
4444         if (name == "graphics")
4445                 return createGuiGraphics(*this);
4446         if (name == "include")
4447                 return createGuiInclude(*this);
4448         if (name == "index")
4449                 return createGuiIndex(*this);
4450         if (name == "index_print")
4451                 return createGuiPrintindex(*this);
4452         if (name == "listings")
4453                 return createGuiListings(*this);
4454         if (name == "log")
4455                 return createGuiLog(*this);
4456         if (name == "mathdelimiter")
4457                 return createGuiDelimiter(*this);
4458         if (name == "mathmatrix")
4459                 return createGuiMathMatrix(*this);
4460         if (name == "note")
4461                 return createGuiNote(*this);
4462         if (name == "paragraph")
4463                 return createGuiParagraph(*this);
4464         if (name == "phantom")
4465                 return createGuiPhantom(*this);
4466         if (name == "prefs")
4467                 return createGuiPreferences(*this);
4468         if (name == "ref")
4469                 return createGuiRef(*this);
4470         if (name == "sendto")
4471                 return createGuiSendTo(*this);
4472         if (name == "spellchecker")
4473                 return createGuiSpellchecker(*this);
4474         if (name == "symbols")
4475                 return createGuiSymbols(*this);
4476         if (name == "tabularcreate")
4477                 return createGuiTabularCreate(*this);
4478         if (name == "texinfo")
4479                 return createGuiTexInfo(*this);
4480         if (name == "thesaurus")
4481                 return createGuiThesaurus(*this);
4482         if (name == "toc")
4483                 return createGuiToc(*this);
4484         if (name == "view-source")
4485                 return createGuiViewSource(*this);
4486         if (name == "wrap")
4487                 return createGuiWrap(*this);
4488         if (name == "progress")
4489                 return createGuiProgressView(*this);
4490
4491         return 0;
4492 }
4493
4494
4495 } // namespace frontend
4496 } // namespace lyx
4497
4498 #include "moc_GuiView.cpp"