]> git.lyx.org Git - lyx.git/blobdiff - src/frontends/qt4/GuiWorkArea.cpp
Fix the tab ordering of GuiDocument components.
[lyx.git] / src / frontends / qt4 / GuiWorkArea.cpp
index 0be171bcad39317971db68bf121c24ae82d3e5c6..026c7699db10dbf98d0ece4c1d1c698a71bc4f2d 100644 (file)
 #include "GuiView.h"
 #include "KeySymbol.h"
 #include "Language.h"
-#include "LyXFunc.h"
+#include "LyX.h"
 #include "LyXRC.h"
 #include "LyXVC.h"
-#include "MetricsInfo.h"
 #include "qt_helpers.h"
 #include "Text.h"
+#include "TextMetrics.h"
 #include "version.h"
 
 #include "graphics/GraphicsImage.h"
 #include "graphics/GraphicsLoader.h"
 
+#include "support/convert.h"
 #include "support/debug.h"
 #include "support/gettext.h"
 #include "support/FileName.h"
+#include "support/lassert.h"
 
 #include "frontends/Application.h"
 #include "frontends/FontMetrics.h"
 #include <QToolTip>
 #include <QMenuBar>
 
-#include <boost/bind.hpp>
+#include "support/bind.h"
 
 #include <cmath>
 
-#ifdef Q_WS_X11
-#include <QX11Info>
-extern "C" int XEventsQueued(Display *display, int mode);
-#endif
-
-#ifdef Q_WS_WIN
-int const CursorWidth = 2;
-#else
-int const CursorWidth = 1;
-#endif
 int const TabIndicatorWidth = 3;
 
 #undef KeyPress
@@ -132,7 +124,9 @@ namespace frontend {
 
 class CursorWidget {
 public:
-       CursorWidget() {}
+       CursorWidget() {
+               recomputeWidth();
+       }
 
        void draw(QPainter & painter)
        {
@@ -144,8 +138,8 @@ public:
                int r = rect_.right() - x_;
                int bot = rect_.bottom();
 
-               // draw vertica linel
-               painter.fillRect(x_, y, CursorWidth, rect_.height(), color_);
+               // draw vertical line
+               painter.fillRect(x_, y, cursor_width_, rect_.height(), color_);
 
                // draw RTL/LTR indication
                painter.setPen(color_);
@@ -153,7 +147,7 @@ public:
                        if (rtl_)
                                painter.drawLine(x_, bot, x_ - l, bot);
                        else
-                               painter.drawLine(x_, bot, x_ + CursorWidth + r, bot);
+                               painter.drawLine(x_, bot, x_ + cursor_width_ + r, bot);
                }
 
                // draw completion triangle
@@ -164,8 +158,8 @@ public:
                                painter.drawLine(x_ - 1, m - d, x_ - 1 - d, m);
                                painter.drawLine(x_ - 1, m + d, x_ - 1 - d, m);
                        } else {
-                               painter.drawLine(x_ + CursorWidth, m - d, x_ + CursorWidth + d, m);
-                               painter.drawLine(x_ + CursorWidth, m + d, x_ + CursorWidth + d, m);
+                               painter.drawLine(x_ + cursor_width_, m - d, x_ + cursor_width_ + d, m);
+                               painter.drawLine(x_ + cursor_width_, m + d, x_ + cursor_width_ + d, m);
                        }
                }
        }
@@ -200,11 +194,17 @@ public:
                }
 
                // compute overall rectangle
-               rect_ = QRect(x - l, y, CursorWidth + r + l, h);
+               rect_ = QRect(x - l, y, cursor_width_ + r + l, h);
        }
 
        void show(bool set_show = true) { show_ = set_show; }
        void hide() { show_ = false; }
+       int cursorWidth() const { return cursor_width_; }
+       void recomputeWidth() {
+               cursor_width_ = lyxrc.cursor_width
+                       ? lyxrc.cursor_width 
+                       : 1 + int((lyxrc.zoom + 50) / 200.0);
+       }
 
        QRect const & rect() { return rect_; }
 
@@ -223,14 +223,15 @@ private:
        QRect rect_;
        /// x position (were the vertical line is drawn)
        int x_;
+       
+       int cursor_width_;
 };
 
 
 // This is a 'heartbeat' generating synthetic mouse move events when the
 // cursor is at the top or bottom edge of the viewport. One scroll per 0.2 s
 SyntheticMouseEvent::SyntheticMouseEvent()
-       : timeout(200), restart_timeout(true),
-         x_old(-1), y_old(-1), scrollbar_value_old(-1.0)
+       : timeout(200), restart_timeout(true)
 {}
 
 
@@ -238,16 +239,16 @@ GuiWorkArea::GuiWorkArea(QWidget *)
        : buffer_view_(0), lyx_view_(0),
        cursor_visible_(false),
        need_resize_(false), schedule_redraw_(false),
-       preedit_lines_(1), completer_(new GuiCompleter(this))
+       preedit_lines_(1), completer_(new GuiCompleter(this, this))
 {
 }
 
 
 GuiWorkArea::GuiWorkArea(Buffer & buffer, GuiView & gv)
-       : buffer_view_(0), lyx_view_(0),
+       : buffer_view_(0), read_only_(buffer.isReadonly()), lyx_view_(0),
        cursor_visible_(false),
        need_resize_(false), schedule_redraw_(false),
-       preedit_lines_(1), completer_(new GuiCompleter(this))
+       preedit_lines_(1), completer_(new GuiCompleter(this, this))
 {
        setGuiView(gv);
        setBuffer(buffer);
@@ -271,6 +272,9 @@ void GuiWorkArea::init()
        }
 
        screen_ = QPixmap(viewport()->width(), viewport()->height());
+       // With Qt4.5 a mouse event will happen before the first paint event
+       // so make sure that the buffer view has an up to date metrics.
+       buffer_view_->resize(viewport()->width(), viewport()->height());
        cursor_ = new frontend::CursorWidget();
        cursor_->hide();
 
@@ -278,11 +282,7 @@ void GuiWorkArea::init()
        setAcceptDrops(true);
        setMouseTracking(true);
        setMinimumSize(100, 70);
-#ifdef Q_WS_MACX
        setFrameStyle(QFrame::NoFrame);
-#else
-       setFrameStyle(QFrame::Box);
-#endif
        updateWindowTitle();
 
        viewport()->setAutoFillBackground(false);
@@ -292,10 +292,10 @@ void GuiWorkArea::init()
 
        setFocusPolicy(Qt::StrongFocus);
 
-       viewport()->setCursor(Qt::IBeamCursor);
+       setCursorShape(Qt::IBeamCursor);
 
        synthetic_mouse_event_.timeout.timeout.connect(
-               boost::bind(&GuiWorkArea::generateSyntheticMouseEvent,
+               bind(&GuiWorkArea::generateSyntheticMouseEvent,
                                        this));
 
        // Initialize the vertical Scroll Bar
@@ -319,10 +319,30 @@ GuiWorkArea::~GuiWorkArea()
        delete buffer_view_;
        delete cursor_;
        // Completer has a QObject parent and is thus automatically destroyed.
+       // See #4758.
        // delete completer_;
 }
 
 
+Qt::CursorShape GuiWorkArea::cursorShape() const
+{
+       return viewport()->cursor().shape();
+}
+
+
+void GuiWorkArea::setCursorShape(Qt::CursorShape shape)
+{
+       viewport()->setCursor(shape);
+}
+
+
+void GuiWorkArea::updateCursorShape()
+{
+       setCursorShape(buffer_view_->clickableInset() 
+               ? Qt::PointingHandCursor : Qt::IBeamCursor);
+}
+
+
 void GuiWorkArea::setGuiView(GuiView & gv)
 {
        lyx_view_ = &gv;
@@ -332,7 +352,7 @@ void GuiWorkArea::setGuiView(GuiView & gv)
 void GuiWorkArea::setBuffer(Buffer & buffer)
 {
        delete buffer_view_;
-       buffer_view_ = new BufferView(buffer),
+       buffer_view_ = new BufferView(buffer);
        buffer.workAreaManager().add(this);
 
        // HACK: Prevents an additional redraw when the scrollbar pops up
@@ -363,18 +383,13 @@ void GuiWorkArea::close()
 void GuiWorkArea::setFullScreen(bool full_screen)
 {
        buffer_view_->setFullScreen(full_screen);
+       setFrameStyle(QFrame::NoFrame);
        if (full_screen) {
                setFrameStyle(QFrame::NoFrame);
                if (lyxrc.full_screen_scrollbar)
                        setVerticalScrollBarPolicy(Qt::ScrollBarAlwaysOff);
-       } else {
-#ifdef Q_WS_MACX
-               setFrameStyle(QFrame::NoFrame);
-#else
-               setFrameStyle(QFrame::Box);
-#endif
+       } else
                setVerticalScrollBarPolicy(Qt::ScrollBarAsNeeded);
-       }
 }
 
 
@@ -399,7 +414,19 @@ void GuiWorkArea::stopBlinkingCursor()
 
 void GuiWorkArea::startBlinkingCursor()
 {
+       // do not show the cursor if the view is busy
+       if (view().busy())
+               return;
+
+       Point p;
+       int h = 0;
+       buffer_view_->cursorPosAndHeight(p, h);
+       // Don't start blinking if the cursor isn't on screen.
+       if (!buffer_view_->cursorInView(p, h))
+               return;
+
        showCursor();
+
        //we're not supposed to cache this value.
        int const time = QApplication::cursorFlashTime() / 2;
        if (time <= 0)
@@ -409,7 +436,7 @@ void GuiWorkArea::startBlinkingCursor()
 }
 
 
-void GuiWorkArea::redraw()
+void GuiWorkArea::redraw(bool update_metrics)
 {
        if (!isVisible())
                // No need to redraw in this case.
@@ -417,9 +444,10 @@ void GuiWorkArea::redraw()
 
        // No need to do anything if this is the current view. The BufferView
        // metrics are already up to date.
-       if (lyx_view_ != guiApp->currentView()
+       if (update_metrics || lyx_view_ != guiApp->currentView()
                || lyx_view_->currentWorkArea() != this) {
                // FIXME: it would be nice to optimize for the off-screen case.
+               buffer_view_->cursor().fixIfBroken();
                buffer_view_->updateMetrics();
                buffer_view_->cursor().fixIfBroken();
        }
@@ -442,12 +470,17 @@ void GuiWorkArea::redraw()
 
        if (lyxerr.debugging(Debug::WORKAREA))
                buffer_view_->coordCache().dump();
+
+       setReadOnly(buffer_view_->buffer().isReadonly());
+
+       updateCursorShape();
 }
 
 
 void GuiWorkArea::processKeySym(KeySymbol const & key, KeyModifier mod)
 {
-       if (lyx_view_->isFullScreen() && lyx_view_->menuBar()->isVisible()) {
+       if (lyx_view_->isFullScreen() && lyx_view_->menuBar()->isVisible()
+               && lyxrc.full_screen_menubar) {
                // FIXME HACK: we should not have to do this here. See related comment
                // in GuiView::event() (QEvent::ShortcutOverride)
                lyx_view_->menuBar()->hide();
@@ -457,25 +490,22 @@ void GuiWorkArea::processKeySym(KeySymbol const & key, KeyModifier mod)
        // we better stop the blinking cursor...
        // the cursor gets restarted in GuiView::restartCursor()
        stopBlinkingCursor();
-
-       theLyXFunc().setLyXView(lyx_view_);
-       theLyXFunc().processKeySym(key, mod);
+       guiApp->processKeySym(key, mod);
 }
 
 
 void GuiWorkArea::dispatch(FuncRequest const & cmd0, KeyModifier mod)
 {
        // Handle drag&drop
-       if (cmd0.action == LFUN_FILE_OPEN) {
-               lyx_view_->dispatch(cmd0);
+       if (cmd0.action() == LFUN_FILE_OPEN) {
+               DispatchResult dr;
+               lyx_view_->dispatch(cmd0, dr);
                return;
        }
 
-       theLyXFunc().setLyXView(lyx_view_);
-
        FuncRequest cmd;
 
-       if (cmd0.action == LFUN_MOUSE_PRESS) {
+       if (cmd0.action() == LFUN_MOUSE_PRESS) {
                if (mod == ShiftModifier)
                        cmd = FuncRequest(cmd0, "region-select");
                else if (mod == ControlModifier)
@@ -487,7 +517,7 @@ void GuiWorkArea::dispatch(FuncRequest const & cmd0, KeyModifier mod)
                cmd = cmd0;
 
        bool const notJustMovingTheMouse =
-               cmd.action != LFUN_MOUSE_MOTION || cmd.button() != mouse_button::none;
+               cmd.action() != LFUN_MOUSE_MOTION || cmd.button() != mouse_button::none;
 
        // In order to avoid bad surprise in the middle of an operation, we better stop
        // the blinking cursor.
@@ -497,7 +527,7 @@ void GuiWorkArea::dispatch(FuncRequest const & cmd0, KeyModifier mod)
        buffer_view_->mouseEventDispatch(cmd);
 
        // Skip these when selecting
-       if (cmd.action != LFUN_MOUSE_MOTION) {
+       if (cmd.action() != LFUN_MOUSE_MOTION) {
                completer_->updateVisibility(false, false);
                lyx_view_->updateDialogs();
                lyx_view_->updateStatusBar();
@@ -513,6 +543,8 @@ void GuiWorkArea::dispatch(FuncRequest const & cmd0, KeyModifier mod)
                // Show the cursor immediately after any operation
                startBlinkingCursor();
        }
+
+       updateCursorShape();
 }
 
 
@@ -521,7 +553,13 @@ void GuiWorkArea::resizeBufferView()
        // WARNING: Please don't put any code that will trigger a repaint here!
        // We are already inside a paint event.
        lyx_view_->setBusy(true);
+       Point p;
+       int h = 0;
+       buffer_view_->cursorPosAndHeight(p, h);
+       bool const cursor_in_view = buffer_view_->cursorInView(p, h);
        buffer_view_->resize(viewport()->width(), viewport()->height());
+       if (cursor_in_view)
+               buffer_view_->scrollToCursor();
        updateScreen();
 
        // Update scrollbars which might have changed due different
@@ -541,6 +579,12 @@ void GuiWorkArea::showCursor()
        if (cursor_visible_)
                return;
 
+       Point p;
+       int h = 0;
+       buffer_view_->cursorPosAndHeight(p, h);
+       if (!buffer_view_->cursorInView(p, h))
+               return;
+
        // RTL or not RTL
        bool l_shape = false;
        Font const & realfont = buffer_view_->cursor().real_current_font;
@@ -555,32 +599,15 @@ void GuiWorkArea::showCursor()
        if (realfont.language() == latex_language)
                l_shape = false;
 
-       Font const font = buffer_view_->cursor().getFont();
-       FontMetrics const & fm = theFontMetrics(font);
-       int const asc = fm.maxAscent();
-       int const des = fm.maxDescent();
-       int h = asc + des;
-       int x = 0;
-       int y = 0;
-       Cursor & cur = buffer_view_->cursor();
-       cur.getPos(x, y);
-       y -= asc;
-
-       // if it doesn't touch the screen, don't try to show it
-       bool cursorInView = true;
-       if (y + h < 0 || y >= viewport()->height()
-               || !cur.bv().paragraphVisible(cur))
-               cursorInView = false;
-
        // show cursor on screen
+       Cursor & cur = buffer_view_->cursor();
        bool completable = cur.inset().showCompletionCursor()
                && completer_->completionAvailable()
                && !completer_->popupVisible()
                && !completer_->inlineVisible();
-       if (cursorInView) {
-               cursor_visible_ = true;
-               showCursor(x, y, h, l_shape, isrtl, completable);
-       }
+       cursor_visible_ = true;
+       cursor_->recomputeWidth();
+       showCursor(p.x_, p.y_, h, l_shape, isrtl, completable);
 }
 
 
@@ -620,7 +647,7 @@ void GuiWorkArea::updateScrollbar()
 void GuiWorkArea::scrollTo(int value)
 {
        stopBlinkingCursor();
-       buffer_view_->scrollDocView(value);
+       buffer_view_->scrollDocView(value, true);
 
        if (lyxrc.cursor_follows_scrollbar) {
                buffer_view_->setCursorFromScrollbar();
@@ -656,11 +683,14 @@ bool GuiWorkArea::event(QEvent * e)
                // which are otherwise reserved to focus switching between controls
                // within a dialog.
                QKeyEvent * ke = static_cast<QKeyEvent*>(e);
-               if ((ke->key() != Qt::Key_Tab && ke->key() != Qt::Key_Backtab)
-                       || ke->modifiers() & Qt::ControlModifier)
-                       return QAbstractScrollArea::event(e);
-               keyPressEvent(ke);
-               return true;
+               if ((ke->key() == Qt::Key_Tab && ke->modifiers() == Qt::NoModifier)
+                       || (ke->key() == Qt::Key_Backtab && (
+                               ke->modifiers() == Qt::ShiftModifier
+                               || ke->modifiers() == Qt::NoModifier))) {
+                       keyPressEvent(ke);
+                       return true;
+               }
+               return QAbstractScrollArea::event(e);
        }
 
        default:
@@ -672,13 +702,36 @@ bool GuiWorkArea::event(QEvent * e)
 
 void GuiWorkArea::contextMenuEvent(QContextMenuEvent * e)
 {
-       QPoint pos = e->pos();
-       docstring name = buffer_view_->contextMenu(pos.x(), pos.y());
+       docstring name;
+       if (e->reason() == QContextMenuEvent::Mouse)
+               // the menu name is set on mouse press
+               name = context_menu_name_;
+       else {
+               QPoint pos = e->pos();
+               Cursor const & cur = buffer_view_->cursor();
+               if (e->reason() == QContextMenuEvent::Keyboard && cur.inTexted()) {
+                       // Do not access the context menu of math right in front of before
+                       // the cursor. This does not work when the cursor is in text.
+                       Inset * inset = cur.paragraph().getInset(cur.pos());
+                       if (inset && inset->asInsetMath())
+                               --pos.rx();
+                       else if (cur.pos() > 0) {
+                               Inset * inset = cur.paragraph().getInset(cur.pos() - 1);
+                               if (inset)
+                                       ++pos.rx();
+                       }
+               }
+               name = buffer_view_->contextMenu(pos.x(), pos.y());
+       }
+       
        if (name.empty()) {
                QAbstractScrollArea::contextMenuEvent(e);
                return;
        }
-       QMenu * menu = guiApp->menus().menu(toqstr(name), *lyx_view_);
+       // always show mnemonics when the keyboard is used to show the context menu
+       // FIXME: This should be fixed in Qt itself
+       bool const keyboard = (e->reason() == QContextMenuEvent::Keyboard);
+       QMenu * menu = guiApp->menus().menu(toqstr(name), *lyx_view_, keyboard);
        if (!menu) {
                QAbstractScrollArea::contextMenuEvent(e);
                return;
@@ -692,14 +745,7 @@ void GuiWorkArea::contextMenuEvent(QContextMenuEvent * e)
 
 void GuiWorkArea::focusInEvent(QFocusEvent * e)
 {
-       /*
-       LYXERR(Debug::DEBUG, "GuiWorkArea::focusInEvent(): " << this << std::endl);
-       GuiWorkArea * old_gwa = theGuiApp()->currentView()->currentWorkArea();
-       if (old_gwa)
-               old_gwa->stopBlinkingCursor();
-       lyx_view_->setCurrentWorkArea(this);
-       */
-
+       LYXERR(Debug::DEBUG, "GuiWorkArea::focusInEvent(): " << this << endl);
        if (lyx_view_->currentWorkArea() != this)
                lyx_view_->setCurrentWorkArea(this);
 
@@ -710,7 +756,7 @@ void GuiWorkArea::focusInEvent(QFocusEvent * e)
 
 void GuiWorkArea::focusOutEvent(QFocusEvent * e)
 {
-       LYXERR(Debug::DEBUG, "GuiWorkArea::focusOutEvent(): " << this << std::endl);
+       LYXERR(Debug::DEBUG, "GuiWorkArea::focusOutEvent(): " << this << endl);
        stopBlinkingCursor();
        QAbstractScrollArea::focusOutEvent(e);
 }
@@ -732,6 +778,15 @@ void GuiWorkArea::mousePressEvent(QMouseEvent * e)
        FuncRequest const cmd(LFUN_MOUSE_PRESS, e->x(), e->y(),
                q_button_state(e->button()));
        dispatch(cmd, q_key_state(e->modifiers()));
+
+       // Save the context menu on mouse press, because also the mouse
+       // cursor is set on mouse press. Afterwards, we can either release
+       // the mousebutton somewhere else, or the cursor might have moved
+       // due to the DEPM. We need to do this after the mouse has been
+       // set in dispatch(), because the selection state might change.
+       if (e->button() == Qt::RightButton)
+               context_menu_name_ = buffer_view_->contextMenu(e->x(), e->y());
+
        e->accept();
 }
 
@@ -758,18 +813,19 @@ void GuiWorkArea::mouseMoveEvent(QMouseEvent * e)
        e->accept();
 
        // If we're above or below the work area...
-       if (e->y() <= 20 || e->y() >= viewport()->height() - 20) {
+       if ((e->y() <= 20 || e->y() >= viewport()->height() - 20)
+                       && e->buttons() == mouse_button::button1) {
                // Make sure only a synthetic event can cause a page scroll,
                // so they come at a steady rate:
                if (e->y() <= 20)
                        // _Force_ a scroll up:
-                       cmd.y = -40;
+                       cmd.set_y(e->y() - 21);
                else
-                       cmd.y = viewport()->height();
+                       cmd.set_y(e->y() + 21);
                // Store the event, to be handled when the timeout expires.
                synthetic_mouse_event_.cmd = cmd;
 
-               if (synthetic_mouse_event_.timeout.running())
+               if (synthetic_mouse_event_.timeout.running()) {
                        // Discard the event. Note that it _may_ be handled
                        // when the timeout expires if
                        // synthetic_mouse_event_.cmd has not been overwritten.
@@ -778,7 +834,8 @@ void GuiWorkArea::mouseMoveEvent(QMouseEvent * e)
                        // occurred after the one used to start the timeout
                        // in the first place.
                        return;
-
+               }
+               
                synthetic_mouse_event_.restart_timeout = true;
                synthetic_mouse_event_.timeout.start();
                // Fall through to handle this event...
@@ -794,23 +851,6 @@ void GuiWorkArea::mouseMoveEvent(QMouseEvent * e)
                synthetic_mouse_event_.restart_timeout = false;
                return;
        }
-
-       // Has anything changed on-screen since the last QMouseEvent
-       // was received?
-       double const scrollbar_value = verticalScrollBar()->value();
-       if (e->x() == synthetic_mouse_event_.x_old
-               && e->y() == synthetic_mouse_event_.y_old
-               && scrollbar_value == synthetic_mouse_event_.scrollbar_value_old) {
-               // Nothing changed on-screen since the last QMouseEvent.
-               return;
-       }
-
-       // Yes something has changed. Store the params used to check this.
-       synthetic_mouse_event_.x_old = e->x();
-       synthetic_mouse_event_.y_old = e->y();
-       synthetic_mouse_event_.scrollbar_value_old = scrollbar_value;
-
-       // ... and dispatch the event to the LyX core.
        dispatch(cmd);
 }
 
@@ -819,17 +859,27 @@ void GuiWorkArea::wheelEvent(QWheelEvent * ev)
 {
        // Wheel rotation by one notch results in a delta() of 120 (see
        // documentation of QWheelEvent)
-       int const delta = ev->delta() / 120;
-       if (ev->modifiers() & Qt::ControlModifier) {
-               lyxrc.zoom += 5 * delta;
-               if (lyxrc.zoom < 10)
-                       lyxrc.zoom = 10;
-               // The global QPixmapCache is used in GuiPainter to cache text
-               // painting so we must reset it.
-               QPixmapCache::clear();
-               guiApp->fontLoader().update();
-               ev->accept();
-               lyx::dispatch(FuncRequest(LFUN_SCREEN_FONT_UPDATE));
+       double const delta = ev->delta() / 120.0;
+       bool zoom = false;
+       switch (lyxrc.scroll_wheel_zoom) {
+       case LyXRC::SCROLL_WHEEL_ZOOM_CTRL:
+               zoom = ev->modifiers() & Qt::ControlModifier;
+               zoom &= !(ev->modifiers() & (Qt::ShiftModifier | Qt::AltModifier));
+               break;
+       case LyXRC::SCROLL_WHEEL_ZOOM_SHIFT:
+               zoom = ev->modifiers() & Qt::ShiftModifier;
+               zoom &= !(ev->modifiers() & (Qt::ControlModifier | Qt::AltModifier));
+               break;
+       case LyXRC::SCROLL_WHEEL_ZOOM_ALT:
+               zoom = ev->modifiers() & Qt::AltModifier;
+               zoom &= !(ev->modifiers() & (Qt::ShiftModifier | Qt::ControlModifier));
+               break;
+       case LyXRC::SCROLL_WHEEL_ZOOM_OFF:
+               break;
+       }
+       if (zoom) {
+               docstring arg = convert<docstring>(int(5 * delta));
+               lyx::dispatch(FuncRequest(LFUN_BUFFER_ZOOM_IN, arg));
                return;
        }
 
@@ -840,11 +890,8 @@ void GuiWorkArea::wheelEvent(QWheelEvent * ev)
        int scroll_value = lines > page_step
                ? page_step : lines * verticalScrollBar()->singleStep();
 
-       // Take into account the rotation.
-       scroll_value *= delta;
-
-       // Take into account user preference.
-       scroll_value *= lyxrc.mouse_wheel_speed;
+       // Take into account the rotation and the user preferences.
+       scroll_value = int(scroll_value * delta * lyxrc.mouse_wheel_speed);
        LYXERR(Debug::SCROLLING, "wheelScrollLines = " << lines
                        << " delta = " << delta << " scroll_value = " << scroll_value
                        << " page_step = " << page_step);
@@ -857,20 +904,85 @@ void GuiWorkArea::wheelEvent(QWheelEvent * ev)
 
 void GuiWorkArea::generateSyntheticMouseEvent()
 {
+       int const e_y = synthetic_mouse_event_.cmd.y();
+       int const wh = buffer_view_->workHeight();
+       bool const up = e_y < 0;
+       bool const down = e_y > wh;
+
        // Set things off to generate the _next_ 'pseudo' event.
-       if (synthetic_mouse_event_.restart_timeout)
+       int step = 50;
+       if (synthetic_mouse_event_.restart_timeout) {
+               // This is some magic formulae to determine the speed
+               // of scrolling related to the position of the mouse.
+               int time = 200;
+               if (up || down) {
+                       int dist = up ? -e_y : e_y - wh;
+                       time = max(min(200, 250000 / (dist * dist)), 1) ;
+                       
+                       if (time < 40) {
+                               step = 80000 / (time * time);
+                               time = 40;
+                       }
+               }
+               synthetic_mouse_event_.timeout.setTimeout(time);
                synthetic_mouse_event_.timeout.start();
+       }
 
-       // Has anything changed on-screen since the last timeout signal
-       // was received?
-       double const scrollbar_value = verticalScrollBar()->value();
-       if (scrollbar_value != synthetic_mouse_event_.scrollbar_value_old) {
-               // Yes it has. Store the params used to check this.
-               synthetic_mouse_event_.scrollbar_value_old = scrollbar_value;
+       // Can we scroll further ?
+       int const value = verticalScrollBar()->value();
+       if (value == verticalScrollBar()->maximum()
+                 || value == verticalScrollBar()->minimum()) {
+               synthetic_mouse_event_.timeout.stop();
+               return;
+       }
 
-               // ... and dispatch the event to the LyX core.
-               dispatch(synthetic_mouse_event_.cmd);
+       // Scroll
+       if (step <= 2 * wh) {
+               buffer_view_->scroll(up ? -step : step);
+               buffer_view_->updateMetrics();
+       } else {
+               buffer_view_->scrollDocView(value + up ? -step : step, false);
        }
+
+       // In which paragraph do we have to set the cursor ?
+       Cursor & cur = buffer_view_->cursor();
+       // FIXME: we don't know howto handle math.
+       Text * text = cur.text();
+       if (!text)
+               return;
+       TextMetrics const & tm = buffer_view_->textMetrics(text);
+
+       pair<pit_type, const ParagraphMetrics *> p = up ? tm.first() : tm.last();
+       ParagraphMetrics const & pm = *p.second;
+       pit_type const pit = p.first;
+
+       if (pm.rows().empty())
+               return;
+
+       // Find the row at which we set the cursor.
+       RowList::const_iterator rit = pm.rows().begin();
+       RowList::const_iterator rlast = pm.rows().end();
+       int yy = pm.position() - pm.ascent();
+       for (--rlast; rit != rlast; ++rit) {
+               int h = rit->height();
+               if ((up && yy + h > 0)
+                         || (!up && yy + h > wh - defaultRowHeight()))
+                       break;
+               yy += h;
+       }
+       
+       // Find the position of the cursor
+       bool bound;
+       int x = synthetic_mouse_event_.cmd.x();
+       pos_type const pos = rit->pos() + tm.getColumnNearX(pit, *rit, x, bound);
+
+       // Set the cursor
+       cur.pit() = pit;
+       cur.pos() = pos;
+       cur.boundary(bound);
+
+       buffer_view_->buffer().changed(false);
+       return;
 }
 
 
@@ -901,23 +1013,47 @@ void GuiWorkArea::keyPressEvent(QKeyEvent * ev)
 
        // do nothing if there are other events
        // (the auto repeated events come too fast)
-       // \todo FIXME: remove hard coded Qt keys, process the key binding
+       // it looks like this is only needed on X11
 #ifdef Q_WS_X11
-       if (XEventsQueued(QX11Info::display(), 0) > 1 && ev->isAutoRepeat()
-                       && (Qt::Key_PageDown || Qt::Key_PageUp)) {
-               LYXERR(Debug::KEY, "system is busy: scroll key event ignored");
-               ev->ignore();
-               return;
+       if (qApp->hasPendingEvents() && ev->isAutoRepeat()) {
+               switch (ev->key()) {
+               case Qt::Key_PageDown:
+               case Qt::Key_PageUp:
+               case Qt::Key_Left:
+               case Qt::Key_Right:
+               case Qt::Key_Up:
+               case Qt::Key_Down:
+                       LYXERR(Debug::KEY, "system is busy: scroll key event ignored");
+                       ev->ignore();
+                       return;
+               }
        }
 #endif
 
+       KeyModifier m = q_key_state(ev->modifiers());
+
+       std::string str;
+       if (m & ShiftModifier)
+               str += "Shift-";
+       if (m & ControlModifier)
+               str += "Control-";
+       if (m & AltModifier)
+               str += "Alt-";
+       if (m & MetaModifier)
+               str += "Meta-";
+       
        LYXERR(Debug::KEY, " count: " << ev->count() << " text: " << ev->text()
-               << " isAutoRepeat: " << ev->isAutoRepeat() << " key: " << ev->key());
+               << " isAutoRepeat: " << ev->isAutoRepeat() << " key: " << ev->key()
+               << " keyState: " << str);
 
        KeySymbol sym;
        setKeySymbol(&sym, ev);
-       processKeySym(sym, q_key_state(ev->modifiers()));
-       ev->accept();
+       if (sym.isOK()) {
+               processKeySym(sym, q_key_state(ev->modifiers()));
+               ev->accept();
+       } else {
+               ev->ignore();
+       }
 }
 
 
@@ -950,7 +1086,7 @@ void GuiWorkArea::resizeEvent(QResizeEvent * ev)
 
 void GuiWorkArea::update(int x, int y, int w, int h)
 {
-       viewport()->repaint(x, y, w, h);
+       viewport()->update(x, y, w, h);
 }
 
 
@@ -963,8 +1099,10 @@ void GuiWorkArea::paintEvent(QPaintEvent * ev)
        if (need_resize_) {
                screen_ = QPixmap(viewport()->width(), viewport()->height());
                resizeBufferView();
-               hideCursor();
-               showCursor();
+               if (cursor_visible_) {
+                       hideCursor();
+                       showCursor();
+               }
        }
 
        QPainter pain(viewport());
@@ -1157,12 +1295,14 @@ QVariant GuiWorkArea::inputMethodQuery(Qt::InputMethodQuery query) const
 {
        QRect cur_r(0, 0, 0, 0);
        switch (query) {
-               // this is the CJK-specific composition window position.
+               // this is the CJK-specific composition window position and
+               // the context menu position when the menu key is pressed.
                case Qt::ImMicroFocus:
                        cur_r = cursor_->rect();
                        if (preedit_lines_ != 1)
                                cur_r.moveLeft(10);
-                       cur_r.moveBottom(cur_r.bottom() + cur_r.height() * preedit_lines_);
+                       cur_r.moveBottom(cur_r.bottom()
+                               + cur_r.height() * (preedit_lines_ - 1));
                        // return lower right of cursor in LyX.
                        return cur_r;
                default:
@@ -1176,16 +1316,16 @@ void GuiWorkArea::updateWindowTitle()
        docstring maximize_title;
        docstring minimize_title;
 
-       Buffer & buf = buffer_view_->buffer();
-       FileName const fileName = buf.fileName();
-       if (!fileName.empty()) {
-               maximize_title = fileName.displayName(30);
-               minimize_title = from_utf8(fileName.onlyFileName());
+       Buffer const & buf = buffer_view_->buffer();
+       FileName const file_name = buf.fileName();
+       if (!file_name.empty()) {
+               maximize_title = file_name.displayName(130);
+               minimize_title = from_utf8(file_name.onlyFileName());
                if (buf.lyxvc().inUse()) {
-                       if (buf.lyxvc().locker().empty())
-                               maximize_title +=  _(" (version control)");
-                       else
+                       if (buf.lyxvc().locking())
                                maximize_title +=  _(" (version control, locking)");
+                       else
+                               maximize_title +=  _(" (version control)");
                }
                if (!buf.isClean()) {
                        maximize_title += _(" (changed)");
@@ -1195,19 +1335,20 @@ void GuiWorkArea::updateWindowTitle()
                        maximize_title += _(" (read only)");
        }
 
-       QString title = windowTitle();
-       QString new_title = toqstr(maximize_title);
-       if (title == new_title)
-               return;
-
-       QWidget::setWindowTitle(new_title);
-       QWidget::setWindowIconText(toqstr(minimize_title));
-       titleChanged(this);
+       QString const new_title = toqstr(maximize_title);
+       if (new_title != windowTitle()) {
+               QWidget::setWindowTitle(new_title);
+               QWidget::setWindowIconText(toqstr(minimize_title));
+               titleChanged(this);
+       }
 }
 
 
-void GuiWorkArea::setReadOnly(bool)
+void GuiWorkArea::setReadOnly(bool read_only)
 {
+       if (read_only_ == read_only)
+               return;
+       read_only_ = read_only;
        updateWindowTitle();
        if (this == lyx_view_->currentWorkArea())
                lyx_view_->updateDialogs();
@@ -1230,7 +1371,7 @@ bool GuiWorkArea::isFullScreen()
 EmbeddedWorkArea::EmbeddedWorkArea(QWidget * w): GuiWorkArea(w)
 {
        buffer_ = theBufferList().newBuffer(
-               support::FileName::tempName().absFilename() + "_embedded.internal");
+               support::FileName::tempName().absFileName() + "_embedded.internal");
        buffer_->setUnnamed(true);
        buffer_->setFullyLoaded(true);
        setBuffer(*buffer_);
@@ -1241,7 +1382,7 @@ EmbeddedWorkArea::EmbeddedWorkArea(QWidget * w): GuiWorkArea(w)
 EmbeddedWorkArea::~EmbeddedWorkArea()
 {
        // No need to destroy buffer and bufferview here, because it is done
-       // in theBuffeerList() destruction loop at application exit
+       // in theBufferList() destruction loop at application exit
 }
 
 
@@ -1259,12 +1400,26 @@ void EmbeddedWorkArea::hideEvent(QHideEvent * ev)
 }
 
 
+QSize EmbeddedWorkArea::sizeHint () const
+{
+       // FIXME(?):
+       // GuiWorkArea sets the size to the screen's viewport
+       // by returning a value this gets overridden
+       // EmbeddedWorkArea is now sized to fit in the layout
+       // of the parent, and has a minimum size set in GuiWorkArea
+       // which is what we return here
+       return QSize(100, 70);
+}
+
+
 void EmbeddedWorkArea::disable()
 {
        stopBlinkingCursor();
        if (view().currentWorkArea() != this)
                return;
-       LASSERT(view().currentMainWorkArea(), /* */);
+       // No problem if currentMainWorkArea() is 0 (setCurrentWorkArea()
+       // tolerates it and shows the background logo), what happens if
+       // an EmbeddedWorkArea is closed after closing all document WAs
        view().setCurrentWorkArea(view().currentMainWorkArea());
 }
 
@@ -1308,6 +1463,9 @@ TabWorkArea::TabWorkArea(QWidget * parent)
 #ifdef Q_WS_MACX
        setStyle(&noTabFrameMacStyle);
 #endif
+#if QT_VERSION < 0x040500
+       lyxrc.single_close_tab_button = true;
+#endif
 
        QPalette pal = palette();
        pal.setColor(QPalette::Active, QPalette::Button,
@@ -1323,7 +1481,7 @@ TabWorkArea::TabWorkArea(QWidget * parent)
        closeBufferButton = new QToolButton(this);
        closeBufferButton->setPalette(pal);
        // FIXME: rename the icon to closebuffer.png
-       closeBufferButton->setIcon(QIcon(":/images/closetab.png"));
+       closeBufferButton->setIcon(QIcon(getPixmap("images/", "closetab", "png")));
        closeBufferButton->setText("Close File");
        closeBufferButton->setAutoRaise(true);
        closeBufferButton->setCursor(Qt::ArrowCursor);
@@ -1344,20 +1502,38 @@ TabWorkArea::TabWorkArea(QWidget * parent)
        tb->setContextMenuPolicy(Qt::CustomContextMenu);
        connect(tb, SIGNAL(customContextMenuRequested(const QPoint &)),
                this, SLOT(showContextMenu(const QPoint &)));
+#if QT_VERSION >= 0x040500
+       connect(tb, SIGNAL(tabCloseRequested(int)),
+               this, SLOT(closeTab(int)));
+#endif
 
        setUsesScrollButtons(true);
 }
 
 
+void TabWorkArea::mouseDoubleClickEvent(QMouseEvent * event)
+{
+       if (event->button() != Qt::LeftButton)
+               return;
+
+       // return early if double click on existing tabs
+       for (int i = 0; i < count(); ++i)
+               if (tabBar()->tabRect(i).contains(event->pos()))
+                       return;
+
+       dispatch(FuncRequest(LFUN_BUFFER_NEW));
+}
+
+
 void TabWorkArea::setFullScreen(bool full_screen)
 {
        for (int i = 0; i != count(); ++i) {
-               if (GuiWorkArea * wa = dynamic_cast<GuiWorkArea *>(widget(i)))
+               if (GuiWorkArea * wa = workArea(i))
                        wa->setFullScreen(full_screen);
        }
 
        if (lyxrc.full_screen_tabbar)
-               showBar(!full_screen && count()>1);
+               showBar(!full_screen && count() > 1);
 }
 
 
@@ -1365,7 +1541,10 @@ void TabWorkArea::showBar(bool show)
 {
        tabBar()->setEnabled(show);
        tabBar()->setVisible(show);
-       closeBufferButton->setVisible(show);    
+       closeBufferButton->setVisible(show && lyxrc.single_close_tab_button);
+#if QT_VERSION >= 0x040500
+       setTabsClosable(!lyxrc.single_close_tab_button);
+#endif
 }
 
 
@@ -1380,10 +1559,18 @@ GuiWorkArea * TabWorkArea::currentWorkArea()
 }
 
 
+GuiWorkArea * TabWorkArea::workArea(int index)
+{
+       return dynamic_cast<GuiWorkArea *>(widget(index));
+}
+
+
 GuiWorkArea * TabWorkArea::workArea(Buffer & buffer)
 {
+       // FIXME: this method doesn't work if we have more than work area
+       // showing the same buffer.
        for (int i = 0; i != count(); ++i) {
-               GuiWorkArea * wa = dynamic_cast<GuiWorkArea *>(widget(i));
+               GuiWorkArea * wa = workArea(i);
                LASSERT(wa, return 0);
                if (&wa->bufferView().buffer() == &buffer)
                        return wa;
@@ -1395,7 +1582,7 @@ GuiWorkArea * TabWorkArea::workArea(Buffer & buffer)
 void TabWorkArea::closeAll()
 {
        while (count()) {
-               GuiWorkArea * wa = dynamic_cast<GuiWorkArea *>(widget(0));
+               GuiWorkArea * wa = workArea(0);
                LASSERT(wa, /**/);
                removeTab(0);
                delete wa;
@@ -1462,11 +1649,10 @@ bool TabWorkArea::removeWorkArea(GuiWorkArea * work_area)
                if (currentWorkArea() && currentWorkArea()->isFullScreen())
                        setFullScreen(true);
                else
-                       // Hide tabbar if there's only one tab.
+                       // Show tabbar only if there's more than one tab.
                        showBar(count() > 1);
-       } else {
+       } else
                lastWorkAreaRemoved();
-       }
 
        updateTabTexts();
 
@@ -1479,46 +1665,59 @@ void TabWorkArea::on_currentTabChanged(int i)
        // returns e.g. on application destruction
        if (i == -1)
                return;
-       GuiWorkArea * wa = dynamic_cast<GuiWorkArea *>(widget(i));
+       GuiWorkArea * wa = workArea(i);
        LASSERT(wa, return);
-       BufferView & bv = wa->bufferView();
-       bv.cursor().fixIfBroken();
-       bv.updateMetrics();
        wa->setUpdatesEnabled(true);
-       wa->redraw();
+       wa->redraw(true);
        wa->setFocus();
        ///
        currentWorkAreaChanged(wa);
 
        LYXERR(Debug::GUI, "currentTabChanged " << i
-               << "File" << bv.buffer().absFileName());
+               << " File: " << wa->bufferView().buffer().absFileName());
 }
 
 
 void TabWorkArea::closeCurrentBuffer()
 {
-       if (clicked_tab_ != -1)
-               setCurrentIndex(clicked_tab_);
-       else
-               // Before dispatching the LFUN we should be sure this
-               // is the current workarea.
-               currentWorkAreaChanged(currentWorkArea());
-
-       lyx::dispatch(FuncRequest(LFUN_BUFFER_CLOSE));
+       GuiWorkArea * wa;
+       if (clicked_tab_ == -1)
+               wa = currentWorkArea();
+       else {
+               wa = workArea(clicked_tab_);
+               LASSERT(wa, /**/);
+       }
+       wa->view().closeWorkArea(wa);
 }
 
 
-void TabWorkArea::closeCurrentTab()
+void TabWorkArea::hideCurrentTab()
 {
+       GuiWorkArea * wa;
        if (clicked_tab_ == -1)
-               removeWorkArea(currentWorkArea());
+               wa = currentWorkArea();
+       else {
+               wa = workArea(clicked_tab_);
+               LASSERT(wa, /**/);
+       }
+       wa->view().hideWorkArea(wa);
+}
+
+
+void TabWorkArea::closeTab(int index)
+{
+       on_currentTabChanged(index);
+       GuiWorkArea * wa;
+       if (index == -1)
+               wa = currentWorkArea();
        else {
-               GuiWorkArea * wa = dynamic_cast<GuiWorkArea *>(widget(clicked_tab_));
+               wa = workArea(index);
                LASSERT(wa, /**/);
-               removeWorkArea(wa);
        }
+       wa->view().closeWorkArea(wa);
 }
 
+
 ///
 class DisplayPath {
 public:
@@ -1528,7 +1727,9 @@ public:
        DisplayPath(int tab, FileName const & filename)
                : tab_(tab)
        {
-               filename_ = toqstr(filename.onlyFileNameWithoutExt());
+               filename_ = (filename.extension() == "lyx") ?
+                       toqstr(filename.onlyFileNameWithoutExt())
+                       : toqstr(filename.onlyFileName());
                postfix_ = toqstr(filename.absoluteFilePath()).
                        split("/", QString::SkipEmptyParts);
                postfix_.pop_back();
@@ -1621,7 +1822,7 @@ void TabWorkArea::updateTabTexts()
        // collect full names first: path into postfix, empty prefix and
        // filename without extension
        for (size_t i = 0; i < n; ++i) {
-               GuiWorkArea * i_wa = dynamic_cast<GuiWorkArea *>(widget(i));
+               GuiWorkArea * i_wa = workArea(i);
                FileName const fn = i_wa->bufferView().buffer().fileName();
                paths.push_back(DisplayPath(i, fn));
        }
@@ -1705,12 +1906,13 @@ void TabWorkArea::updateTabTexts()
 
        // set new tab titles
        for (It it = paths.begin(); it != paths.end(); ++it) {
-               GuiWorkArea * i_wa = dynamic_cast<GuiWorkArea *>(widget(it->tab()));
-               Buffer & buf = i_wa->bufferView().buffer();
+               int const tab_index = it->tab();
+               Buffer const & buf = workArea(tab_index)->bufferView().buffer();
+               QString tab_text = it->displayString();
                if (!buf.fileName().empty() && !buf.isClean())
-                       setTabText(it->tab(), it->displayString() + "*");
-               else
-                       setTabText(it->tab(), it->displayString());
+                       tab_text += "*";
+               setTabText(tab_index, tab_text);
+               setTabToolTip(tab_index, it->abs());
        }
 }
 
@@ -1724,9 +1926,9 @@ void TabWorkArea::showContextMenu(const QPoint & pos)
 
        // show tab popup
        QMenu popup;
-       popup.addAction(QIcon(":/images/hidetab.png"),
-               qt_("Hide tab"), this, SLOT(closeCurrentTab()));
-       popup.addAction(QIcon(":/images/closetab.png"),
+       popup.addAction(QIcon(getPixmap("images/", "hidetab", "png")),
+               qt_("Hide tab"), this, SLOT(hideCurrentTab()));
+       popup.addAction(QIcon(getPixmap("images/", "closetab", "png")),
                qt_("Close tab"), this, SLOT(closeCurrentBuffer()));
        popup.exec(tabBar()->mapToGlobal(pos));
 
@@ -1751,6 +1953,9 @@ DragTabBar::DragTabBar(QWidget* parent)
        : QTabBar(parent)
 {
        setAcceptDrops(true);
+#if QT_VERSION >= 0x040500
+       setTabsClosable(!lyxrc.single_close_tab_button);
+#endif
 }