]> git.lyx.org Git - lyx.git/blobdiff - src/frontends/qt4/GuiWorkArea.cpp
Complete the removal of the embedding stuff. Maybe. It's hard to be sure we got every...
[lyx.git] / src / frontends / qt4 / GuiWorkArea.cpp
index 0f2c0114db68a80b17ac5d9f52c9fc73ef4525b8..79277e7ff10582389b04b94e1f2331348ab842d1 100644 (file)
@@ -23,7 +23,6 @@
 #include "GuiApplication.h"
 #include "GuiKeySymbol.h"
 #include "GuiPainter.h"
-#include "GuiPopupMenu.h"
 #include "GuiView.h"
 #include "KeySymbol.h"
 #include "Language.h"
@@ -31,6 +30,7 @@
 #include "LyXRC.h"
 #include "MetricsInfo.h"
 #include "qt_helpers.h"
+#include "Text.h"
 #include "version.h"
 
 #include "graphics/GraphicsImage.h"
@@ -39,7 +39,6 @@
 #include "support/debug.h"
 #include "support/gettext.h"
 #include "support/FileName.h"
-#include "support/ForkedCalls.h"
 
 #include "frontends/Application.h"
 #include "frontends/FontMetrics.h"
 #include <QContextMenuEvent>
 #include <QInputContext>
 #include <QHelpEvent>
-#include <QLayout>
+#ifdef Q_WS_MACX
+#include <QMacStyle>
+#endif
 #include <QMainWindow>
+#include <QMenu>
 #include <QPainter>
 #include <QPalette>
+#include <QPixmapCache>
 #include <QScrollBar>
-#include <QTabBar>
 #include <QTimer>
 #include <QToolButton>
 #include <QToolTip>
@@ -70,6 +72,7 @@ int const CursorWidth = 2;
 #else
 int const CursorWidth = 1;
 #endif
+int const TabIndicatorWidth = 3;
 
 #undef KeyPress
 #undef NoModifier 
@@ -123,44 +126,71 @@ public:
 
        void draw(QPainter & painter)
        {
-               if (show_ && rect_.isValid()) {
-                       switch (shape_) {
-                       case L_SHAPE:
-                               painter.fillRect(rect_.x(), rect_.y(), CursorWidth, rect_.height(), color_);
-                               painter.setPen(color_);
-                               painter.drawLine(rect_.bottomLeft().x() + CursorWidth, rect_.bottomLeft().y(),
-                                                                                                rect_.bottomRight().x(), rect_.bottomLeft().y());
-                               break;
-                       
-                       case REVERSED_L_SHAPE:
-                               painter.fillRect(rect_.x() + rect_.height() / 3, rect_.y(), CursorWidth, rect_.height(), color_);
-                               painter.setPen(color_);
-                               painter.drawLine(rect_.bottomRight().x() - CursorWidth, rect_.bottomLeft().y(),
-                                                                                                        rect_.bottomLeft().x(), rect_.bottomLeft().y());
-                               break;
-                                       
-                       default:
-                               painter.fillRect(rect_, color_);
-                               break;
+               if (!show_ || !rect_.isValid())
+                       return;
+               
+               int y = rect_.top();
+               int l = x_ - rect_.left();
+               int r = rect_.right() - x_;
+               int bot = rect_.bottom();
+
+               // draw vertica linel
+               painter.fillRect(x_, y, CursorWidth, rect_.height(), color_);
+               
+               // draw RTL/LTR indication
+               painter.setPen(color_);
+               if (l_shape_) {
+                       if (rtl_)
+                               painter.drawLine(x_, bot, x_ - l, bot);
+                       else
+                               painter.drawLine(x_, bot, x_ + CursorWidth + r, bot);
+               }
+               
+               // draw completion triangle
+               if (completable_) {
+                       int m = y + rect_.height() / 2;
+                       int d = TabIndicatorWidth - 1;
+                       if (rtl_) {
+                               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);
                        }
                }
        }
 
-       void update(int x, int y, int h, CursorShape shape)
+       void update(int x, int y, int h, bool l_shape,
+               bool rtl, bool completable)
        {
                color_ = guiApp->colorCache().get(Color_cursor);
-               shape_ = shape;
-               switch (shape) {
-               case L_SHAPE:
-                       rect_ = QRect(x, y, CursorWidth + h / 3, h);
-                       break;
-               case REVERSED_L_SHAPE:
-                       rect_ = QRect(x - h / 3, y, CursorWidth + h / 3, h);
-                       break;
-               default: 
-                       rect_ = QRect(x, y, CursorWidth, h);
-                       break;
+               l_shape_ = l_shape;
+               rtl_ = rtl;
+               completable_ = completable;
+               x_ = x;
+               
+               // extension to left and right
+               int l = 0;
+               int r = 0;
+
+               // RTL/LTR indication
+               if (l_shape_) {
+                       if (rtl)
+                               l += h / 3;
+                       else
+                               r += h / 3;
+               }
+               
+               // completion triangle
+               if (completable_) {
+                       if (rtl)
+                               l = max(l, TabIndicatorWidth);
+                       else
+                               r = max(r, TabIndicatorWidth);
                }
+
+               // compute overall rectangle
+               rect_ = QRect(x - l, y, CursorWidth + r + l, h);
        }
 
        void show(bool set_show = true) { show_ = set_show; }
@@ -169,14 +199,20 @@ public:
        QRect const & rect() { return rect_; }
 
 private:
-       ///
-       CursorShape shape_;
+       /// cursor is in RTL or LTR text
+       bool rtl_;
+       /// indication for RTL or LTR
+       bool l_shape_;
+       /// triangle to show that a completion is available
+       bool completable_;
        ///
        bool show_;
        ///
        QColor color_;
-       ///
+       /// rectangle, possibly with l_shape and completion triangle
        QRect rect_;
+       /// x position (were the vertical line is drawn)
+       int x_;
 };
 
 
@@ -191,9 +227,9 @@ SyntheticMouseEvent::SyntheticMouseEvent()
 
 GuiWorkArea::GuiWorkArea(Buffer & buffer, GuiView & lv)
        : buffer_view_(new BufferView(buffer)), lyx_view_(&lv),
-         cursor_visible_(false),
-    need_resize_(false), schedule_redraw_(false),
-               preedit_lines_(1)
+       cursor_visible_(false),
+       need_resize_(false), schedule_redraw_(false),
+       preedit_lines_(1), completer_(this)
 {
        buffer.workAreaManager().add(this);
        // Setup the signals
@@ -204,23 +240,35 @@ GuiWorkArea::GuiWorkArea(Buffer & buffer, GuiView & lv)
        if (time > 0) {
                cursor_timeout_.setInterval(time);
                cursor_timeout_.start();
-       } else
+       } else {
                // let's initialize this just to be safe
                cursor_timeout_.setInterval(500);
-
-       general_timer_.setInterval(500);
-       connect(&general_timer_, SIGNAL(timeout()),
-               this, SLOT(handleRegularEvents()));
-       startGeneralTimer();
+       }
 
        screen_ = QPixmap(viewport()->width(), viewport()->height());
        cursor_ = new frontend::CursorWidget();
        cursor_->hide();
 
+       // HACK: Prevents an additional redraw when the scrollbar pops up
+       // which regularily happens on documents with more than one page.
+       // The policy  should be set to "Qt::ScrollBarAsNeeded" soon.
+       // Since we have no geometry information yet, we assume that
+       // a document needs a scrollbar if there is more then four
+       // paragraph in the outermost text.
+       if (buffer.text().paragraphs().size() > 4)
+               setVerticalScrollBarPolicy(Qt::ScrollBarAlwaysOn);
+       QTimer::singleShot(50, this, SLOT(fixVerticalScrollBar()));
+
+
        setHorizontalScrollBarPolicy(Qt::ScrollBarAlwaysOff);
        setAcceptDrops(true);
        setMouseTracking(true);
        setMinimumSize(100, 70);
+#ifdef Q_WS_MACX
+       setFrameStyle(QFrame::NoFrame); 
+#else
+       setFrameStyle(QFrame::Box);
+#endif
        updateWindowTitle();
 
        viewport()->setAutoFillBackground(false);
@@ -249,7 +297,6 @@ GuiWorkArea::GuiWorkArea(Buffer & buffer, GuiView & lv)
 }
 
 
-
 GuiWorkArea::~GuiWorkArea()
 {
        buffer_view_->buffer().workAreaManager().remove(this);
@@ -258,12 +305,37 @@ GuiWorkArea::~GuiWorkArea()
 }
 
 
+void GuiWorkArea::fixVerticalScrollBar()
+{
+       if (!isFullScreen())
+               setVerticalScrollBarPolicy(Qt::ScrollBarAlwaysOn);
+}
+
+
 void GuiWorkArea::close()
 {
        lyx_view_->removeWorkArea(this);
 }
 
 
+void GuiWorkArea::setFullScreen(bool full_screen)
+{
+       buffer_view_->setFullScreen(full_screen);
+       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
+               setVerticalScrollBarPolicy(Qt::ScrollBarAsNeeded);
+       }
+}
+
+
 BufferView & GuiWorkArea::bufferView()
 {
        return *buffer_view_;
@@ -303,7 +375,8 @@ 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 (lyx_view_ != guiApp->currentView()
+               || lyx_view_->currentWorkArea() != this) {
                // FIXME: it would be nice to optimize for the off-screen case.
                buffer_view_->updateMetrics();
                buffer_view_->cursor().fixIfBroken();
@@ -334,15 +407,11 @@ void GuiWorkArea::processKeySym(KeySymbol const & key, KeyModifier mod)
 {
        // In order to avoid bad surprise in the middle of an operation,
        // we better stop the blinking cursor...
+       // the cursor gets restarted in GuiView::restartCursor()
        stopBlinkingCursor();
-       // ...and the general timer.
-       stopGeneralTimer();
 
        theLyXFunc().setLyXView(lyx_view_);
        theLyXFunc().processKeySym(key, mod);
-       
-       // the cursor gets restarted in GuiView::restartCursor()
-       startGeneralTimer();
 }
 
 
@@ -373,16 +442,15 @@ void GuiWorkArea::dispatch(FuncRequest const & cmd0, KeyModifier mod)
                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 and the general timer
-       if (notJustMovingTheMouse) {
+       // the blinking cursor.
+       if (notJustMovingTheMouse)
                stopBlinkingCursor();
-               stopGeneralTimer();
-       }
 
        buffer_view_->mouseEventDispatch(cmd);
 
        // Skip these when selecting
        if (cmd.action != LFUN_MOUSE_MOTION) {
+               completer_.updateVisibility(false, false);
                lyx_view_->updateLayoutList();
                lyx_view_->updateToolbars();
        }
@@ -396,7 +464,6 @@ void GuiWorkArea::dispatch(FuncRequest const & cmd0, KeyModifier mod)
 
                // Show the cursor immediately after any operation
                startBlinkingCursor();
-               startGeneralTimer();
        }
 }
 
@@ -407,6 +474,14 @@ void GuiWorkArea::resizeBufferView()
        // We are already inside a paint event.
        lyx_view_->setBusy(true);
        buffer_view_->resize(viewport()->width(), viewport()->height());
+       updateScreen();
+
+       // Update scrollbars which might have changed due different
+       // BufferView dimension. This is especially important when the 
+       // BufferView goes from zero-size to the real-size for the first time,
+       // as the scrollbar paramters are then set for the first time.
+       updateScrollbar();
+       
        lyx_view_->updateLayoutList();
        lyx_view_->setBusy(false);
        need_resize_ = false;
@@ -418,22 +493,19 @@ void GuiWorkArea::showCursor()
        if (cursor_visible_)
                return;
 
-       CursorShape shape = BAR_SHAPE;
-
+       // RTL or not RTL
+       bool l_shape = false;
        Font const & realfont = buffer_view_->cursor().real_current_font;
        BufferParams const & bp = buffer_view_->buffer().params();
        bool const samelang = realfont.language() == bp.language;
        bool const isrtl = realfont.isVisibleRightToLeft();
 
-       if (!samelang || isrtl != bp.language->rightToLeft()) {
-               shape = L_SHAPE;
-               if (isrtl)
-                       shape = REVERSED_L_SHAPE;
-       }
+       if (!samelang || isrtl != bp.language->rightToLeft())
+               l_shape = true;
 
        // The ERT language hack needs fixing up
        if (realfont.language() == latex_language)
-               shape = BAR_SHAPE;
+               l_shape = false;
 
        Font const font = buffer_view_->cursor().getFont();
        FontMetrics const & fm = theFontMetrics(font);
@@ -442,15 +514,24 @@ void GuiWorkArea::showCursor()
        int h = asc + des;
        int x = 0;
        int y = 0;
-       buffer_view_->cursor().getPos(x, y);
+       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())
-               return;
-
-       cursor_visible_ = true;
-       showCursor(x, y, h, shape);
+               cursorInView = false;
+
+       // show cursor on screen
+       bool completable = cur.inset().showCompletionCursor()
+               && completer_.completionAvailable()
+               && !completer_.popupVisible()
+               && !completer_.inlineVisible();
+       if (cursorInView) {
+               cursor_visible_ = true;
+               showCursor(x, y, h, l_shape, isrtl, completable);
+       }
 }
 
 
@@ -473,21 +554,15 @@ void GuiWorkArea::toggleCursor()
 }
 
 
-void GuiWorkArea::handleRegularEvents()
-{
-       ForkedCallsController::handleCompletedProcesses();
-}
-
-
 void GuiWorkArea::updateScrollbar()
 {
        ScrollbarParameters const & scroll_ = buffer_view_->scrollbarParameters();
 
+       // Block the scrollbar signal to prevent recursive signal/slot calling.
+       verticalScrollBar()->blockSignals(true);
        verticalScrollBar()->setRange(scroll_.min, scroll_.max);
        verticalScrollBar()->setPageStep(scroll_.page_step);
        verticalScrollBar()->setSingleStep(scroll_.single_step);
-       // Block the scrollbar signal to prevent recursive signal/slot calling.
-       verticalScrollBar()->blockSignals(true);
        verticalScrollBar()->setValue(scroll_.position);
        verticalScrollBar()->setSliderPosition(scroll_.position);
        verticalScrollBar()->blockSignals(false);
@@ -555,35 +630,37 @@ void GuiWorkArea::contextMenuEvent(QContextMenuEvent * e)
                QAbstractScrollArea::contextMenuEvent(e);
                return;
        }
-       QMenu * menu = guiApp->menus().menu(toqstr(name));
+       QMenu * menu = guiApp->menus().menu(toqstr(name), *lyx_view_);
        if (!menu) {
                QAbstractScrollArea::contextMenuEvent(e);
                return;
        }
        // Position the menu to the right.
        // FIXME: menu position should be different for RTL text.
-       pos.rx() += menu->width();
-       // FIXME: correct vertical position of the menu WRT screen espace.
-       //pos.ry() += menu->height();
-       menu->exec(pos);
+       menu->exec(e->globalPos());
        e->accept();
 }
 
 
-void GuiWorkArea::focusInEvent(QFocusEvent * /*event*/)
+void GuiWorkArea::focusInEvent(QFocusEvent * e)
 {
+       if (lyx_view_->currentWorkArea() != this)
+               lyx_view_->setCurrentWorkArea(this);
+
        // Repaint the whole screen.
        // Note: this is different from redraw() as only the backing pixmap
        // will be redrawn, which is cheap.
        viewport()->repaint();
 
        startBlinkingCursor();
+       QAbstractScrollArea::focusInEvent(e);
 }
 
 
-void GuiWorkArea::focusOutEvent(QFocusEvent * /*event*/)
+void GuiWorkArea::focusOutEvent(QFocusEvent * e)
 {
        stopBlinkingCursor();
+       QAbstractScrollArea::focusOutEvent(e);
 }
 
 
@@ -594,6 +671,7 @@ void GuiWorkArea::mousePressEvent(QMouseEvent * e)
                FuncRequest cmd(LFUN_MOUSE_TRIPLE, e->x(), e->y(),
                        q_button_state(e->button()));
                dispatch(cmd);
+               e->accept();
                return;
        }
 
@@ -602,6 +680,7 @@ 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()));
+       e->accept();
 }
 
 
@@ -613,6 +692,7 @@ void GuiWorkArea::mouseReleaseEvent(QMouseEvent * e)
        FuncRequest const cmd(LFUN_MOUSE_RELEASE, e->x(), e->y(),
                              q_button_state(e->button()));
        dispatch(cmd);
+       e->accept();
 }
 
 
@@ -621,7 +701,9 @@ void GuiWorkArea::mouseMoveEvent(QMouseEvent * e)
        // we kill the triple click if we move
        doubleClickTimeout();
        FuncRequest cmd(LFUN_MOUSE_MOTION, e->x(), e->y(),
-                             q_motion_state(e->buttons()));
+               q_motion_state(e->buttons()));
+
+       e->accept();
 
        // If we're above or below the work area...
        if (e->y() <= 20 || e->y() >= viewport()->height() - 20) {
@@ -644,11 +726,10 @@ void GuiWorkArea::mouseMoveEvent(QMouseEvent * e)
                        // occurred after the one used to start the timeout
                        // in the first place.
                        return;
-               else {
-                       synthetic_mouse_event_.restart_timeout = true;
-                       synthetic_mouse_event_.timeout.start();
-                       // Fall through to handle this event...
-               }
+
+               synthetic_mouse_event_.restart_timeout = true;
+               synthetic_mouse_event_.timeout.start();
+               // Fall through to handle this event...
 
        } else if (synthetic_mouse_event_.timeout.running()) {
                // Store the event, to be possibly handled when the timeout
@@ -665,39 +746,52 @@ void GuiWorkArea::mouseMoveEvent(QMouseEvent * e)
        // 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) {
-               // Yes it has. 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);
+       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);
 }
 
 
-void GuiWorkArea::wheelEvent(QWheelEvent * e)
+void GuiWorkArea::wheelEvent(QWheelEvent * ev)
 {
        // Wheel rotation by one notch results in a delta() of 120 (see
        // documentation of QWheelEvent)
-       double const lines = qApp->wheelScrollLines()
-               * lyxrc.mouse_wheel_speed
-               * e->delta() / 120.0;
-       lyxerr << "wheelScrollLines = " << qApp->wheelScrollLines()
-               << " delta = " << e->delta()
-               << " lines = " << lines
-               << std::endl;
-       verticalScrollBar()->setValue(verticalScrollBar()->value() -
-               int(lines *  verticalScrollBar()->singleStep()));
+       int 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();
+               lyx::dispatch(FuncRequest(LFUN_SCREEN_FONT_UPDATE));
+       } else {
+               double const lines = qApp->wheelScrollLines()
+                       * lyxrc.mouse_wheel_speed * delta;
+               LYXERR(Debug::SCROLLING, "wheelScrollLines = " << qApp->wheelScrollLines()
+                       << " delta = " << ev->delta() << " lines = " << lines);
+               verticalScrollBar()->setValue(verticalScrollBar()->value() -
+                       int(lines *  verticalScrollBar()->singleStep()));
+       }
+       ev->accept();
 }
 
 
 void GuiWorkArea::generateSyntheticMouseEvent()
 {
-// Set things off to generate the _next_ 'pseudo' event.
+       // Set things off to generate the _next_ 'pseudo' event.
        if (synthetic_mouse_event_.restart_timeout)
                synthetic_mouse_event_.timeout.start();
 
@@ -716,6 +810,36 @@ void GuiWorkArea::generateSyntheticMouseEvent()
 
 void GuiWorkArea::keyPressEvent(QKeyEvent * ev)
 {
+       // intercept some keys if completion popup is visible
+       if (completer_.popupVisible()) {
+               switch (ev->key()) {
+               case Qt::Key_Enter:
+               case Qt::Key_Return:
+                       completer_.activate();
+                       ev->accept();
+                       return;
+               }
+       }
+       
+       // intercept keys for the completion
+       if (ev->key() == Qt::Key_Tab) {
+               completer_.tab();
+               ev->accept();
+               return;
+       } 
+
+       if (completer_.popupVisible() && ev->key() == Qt::Key_Escape) {
+               completer_.hidePopup();
+               ev->accept();
+               return;
+       }
+
+       if (completer_.inlineVisible() && ev->key() == Qt::Key_Escape) {
+               completer_.hideInline();
+               ev->accept();
+               return;
+       }
+
        // 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
@@ -754,6 +878,7 @@ void GuiWorkArea::mouseDoubleClickEvent(QMouseEvent * ev)
                        ev->x(), ev->y(),
                        q_button_state(ev->button()));
        dispatch(cmd);
+       ev->accept();
 }
 
 
@@ -761,6 +886,7 @@ void GuiWorkArea::resizeEvent(QResizeEvent * ev)
 {
        QAbstractScrollArea::resizeEvent(ev);
        need_resize_ = true;
+       ev->accept();
 }
 
 
@@ -779,7 +905,6 @@ void GuiWorkArea::paintEvent(QPaintEvent * ev)
        if (need_resize_) {
                screen_ = QPixmap(viewport()->width(), viewport()->height());
                resizeBufferView();
-               updateScreen();
                hideCursor();
                showCursor();
        }
@@ -787,6 +912,7 @@ void GuiWorkArea::paintEvent(QPaintEvent * ev)
        QPainter pain(viewport());
        pain.drawPixmap(rc, screen_, rc);
        cursor_->draw(pain);
+       ev->accept();
 }
 
 
@@ -797,7 +923,8 @@ void GuiWorkArea::updateScreen()
 }
 
 
-void GuiWorkArea::showCursor(int x, int y, int h, CursorShape shape)
+void GuiWorkArea::showCursor(int x, int y, int h,
+       bool l_shape, bool rtl, bool completable)
 {
        if (schedule_redraw_) {
                buffer_view_->updateMetrics();
@@ -810,7 +937,7 @@ void GuiWorkArea::showCursor(int x, int y, int h, CursorShape shape)
                return;
        }
 
-       cursor_->update(x, y, h, shape);
+       cursor_->update(x, y, h, l_shape, rtl, completable);
        cursor_->show();
        viewport()->update(cursor_->rect());
 }
@@ -921,7 +1048,7 @@ void GuiWorkArea::inputMethodEvent(QInputMethodEvent * e)
                rLength = 0;
        }
 
-       int const right_margin = rightMargin();
+       int const right_margin = buffer_view_->rightMargin();
        Painter::preedit_style ps;
        // Most often there would be only one line:
        preedit_lines_ = 1;
@@ -1018,14 +1145,53 @@ void GuiWorkArea::setReadOnly(bool)
 }
 
 
+bool GuiWorkArea::isFullScreen()
+{
+       return lyx_view_ && lyx_view_->isFullScreen();
+}
+
+
 ////////////////////////////////////////////////////////////////////
 //
 // TabWorkArea 
 //
 ////////////////////////////////////////////////////////////////////
 
-TabWorkArea::TabWorkArea(QWidget * parent) : QTabWidget(parent)
+#ifdef Q_WS_MACX
+class NoTabFrameMacStyle : public QMacStyle {
+public:
+       ///
+       QRect subElementRect(SubElement element, const QStyleOption * option,
+                            const QWidget * widget = 0) const
+       {
+               QRect rect = QMacStyle::subElementRect(element, option, widget);
+               bool noBar = static_cast<QTabWidget const *>(widget)->count() <= 1;
+               
+               // The Qt Mac style puts the contents into a 3 pixel wide box
+               // which looks very ugly and not like other Mac applications.
+               // Hence we remove this here, and moreover the 16 pixel round
+               // frame above if the tab bar is hidden.
+               if (element == QStyle::SE_TabWidgetTabContents) {
+                       rect.adjust(- rect.left(), 0, rect.left(), 0);
+                       if (noBar)
+                               rect.setTop(0);
+               }
+
+               return rect;
+       }
+};
+
+NoTabFrameMacStyle noTabFrameMacStyle;
+#endif
+
+
+TabWorkArea::TabWorkArea(QWidget * parent)
+       : QTabWidget(parent), clicked_tab_(-1)
 {
+#ifdef Q_WS_MACX
+       setStyle(&noTabFrameMacStyle);
+#endif
+
        QPalette pal = palette();
        pal.setColor(QPalette::Active, QPalette::Button,
                pal.color(QPalette::Active, QPalette::Window));
@@ -1034,25 +1200,49 @@ TabWorkArea::TabWorkArea(QWidget * parent) : QTabWidget(parent)
        pal.setColor(QPalette::Inactive, QPalette::Button,
                pal.color(QPalette::Inactive, QPalette::Window));
 
-       QToolButton * closeTabButton = new QToolButton(this);
-    closeTabButton->setPalette(pal);
-       closeTabButton->setIcon(QIcon(":/images/closetab.png"));
-       closeTabButton->setText("Close");
-       closeTabButton->setAutoRaise(true);
-       closeTabButton->setCursor(Qt::ArrowCursor);
-       closeTabButton->setToolTip(tr("Close tab"));
-       closeTabButton->setEnabled(true);
-
        QObject::connect(this, SIGNAL(currentChanged(int)),
                this, SLOT(on_currentTabChanged(int)));
-       QObject::connect(closeTabButton, SIGNAL(clicked()),
-               this, SLOT(closeCurrentTab()));
 
-       setCornerWidget(closeTabButton);
+       QToolButton * closeBufferButton = new QToolButton(this);
+       closeBufferButton->setPalette(pal);
+       // FIXME: rename the icon to closebuffer.png
+       closeBufferButton->setIcon(QIcon(":/images/closetab.png"));
+       closeBufferButton->setText("Close File");
+       closeBufferButton->setAutoRaise(true);
+       closeBufferButton->setCursor(Qt::ArrowCursor);
+       closeBufferButton->setToolTip(qt_("Close File"));
+       closeBufferButton->setEnabled(true);
+       QObject::connect(closeBufferButton, SIGNAL(clicked()),
+               this, SLOT(closeCurrentBuffer()));
+       setCornerWidget(closeBufferButton, Qt::TopRightCorner);
+       
+       // setup drag'n'drop
+       QTabBar* tb = new DragTabBar;
+       connect(tb, SIGNAL(tabMoveRequested(int, int)),
+               this, SLOT(moveTab(int, int)));
+       setTabBar(tb);
+
+       // make us responsible for the context menu of the tabbar
+       tb->setContextMenuPolicy(Qt::CustomContextMenu);
+       connect(tb, SIGNAL(customContextMenuRequested(const QPoint &)),
+               this, SLOT(showContextMenu(const QPoint &)));
+       
        setUsesScrollButtons(true);
 }
 
 
+void TabWorkArea::setFullScreen(bool full_screen)
+{
+       for (int i = 0; i != count(); ++i) {
+               if (GuiWorkArea * wa = dynamic_cast<GuiWorkArea *>(widget(i)))
+                       wa->setFullScreen(full_screen);
+       }
+
+       if (lyxrc.full_screen_tabbar)
+               showBar(!full_screen && count()>1);
+}
+
+
 void TabWorkArea::showBar(bool show)
 {
        tabBar()->setEnabled(show);
@@ -1066,7 +1256,7 @@ GuiWorkArea * TabWorkArea::currentWorkArea()
                return 0;
 
        GuiWorkArea * wa = dynamic_cast<GuiWorkArea *>(currentWidget()); 
-       BOOST_ASSERT(wa);
+       LASSERT(wa, /**/);
        return wa;
 }
 
@@ -1075,7 +1265,7 @@ GuiWorkArea * TabWorkArea::workArea(Buffer & buffer)
 {
        for (int i = 0; i != count(); ++i) {
                GuiWorkArea * wa = dynamic_cast<GuiWorkArea *>(widget(i));
-               BOOST_ASSERT(wa);
+               LASSERT(wa, return 0);
                if (&wa->bufferView().buffer() == &buffer)
                        return wa;
        }
@@ -1087,7 +1277,7 @@ void TabWorkArea::closeAll()
 {
        while (count()) {
                GuiWorkArea * wa = dynamic_cast<GuiWorkArea *>(widget(0));
-               BOOST_ASSERT(wa);
+               LASSERT(wa, /**/);
                removeTab(0);
                delete wa;
        }
@@ -1096,7 +1286,7 @@ void TabWorkArea::closeAll()
 
 bool TabWorkArea::setCurrentWorkArea(GuiWorkArea * work_area)
 {
-       BOOST_ASSERT(work_area);
+       LASSERT(work_area, /**/);
        int index = indexOf(work_area);
        if (index == -1)
                return false;
@@ -1119,19 +1309,24 @@ GuiWorkArea * TabWorkArea::addWorkArea(Buffer & buffer, GuiView & view)
        wa->setUpdatesEnabled(false);
        // Hide tabbar if there's no tab (avoid a resize and a flashing tabbar
        // when hiding it again below).
-       showBar(count() > 0);
+       if (!(currentWorkArea() && currentWorkArea()->isFullScreen()))
+               showBar(count() > 0);
        addTab(wa, wa->windowTitle());
        QObject::connect(wa, SIGNAL(titleChanged(GuiWorkArea *)),
                this, SLOT(updateTabText(GuiWorkArea *)));
-       // Hide tabbar if there's only one tab.
-       showBar(count() > 1);
+       if (currentWorkArea() && currentWorkArea()->isFullScreen())
+               setFullScreen(true);
+       else
+               // Hide tabbar if there's only one tab.
+               showBar(count() > 1);
+
        return wa;
 }
 
 
 bool TabWorkArea::removeWorkArea(GuiWorkArea * work_area)
 {
-       BOOST_ASSERT(work_area);
+       LASSERT(work_area, return false);
        int index = indexOf(work_area);
        if (index == -1)
                return false;
@@ -1143,17 +1338,26 @@ bool TabWorkArea::removeWorkArea(GuiWorkArea * work_area)
        if (count()) {
                // make sure the next work area is enabled.
                currentWidget()->setUpdatesEnabled(true);
-               // Hide tabbar if there's only one tab.
-               showBar(count() > 1);
+               if (currentWorkArea() && currentWorkArea()->isFullScreen())
+                       setFullScreen(true);
+               else
+                       // Hide tabbar if there's only one tab.
+                       showBar(count() > 1);
+       } else {
+               lastWorkAreaRemoved();
        }
+
        return true;
 }
 
 
 void TabWorkArea::on_currentTabChanged(int i)
 {
+       // returns e.g. on application destruction
+       if (i == -1)
+               return;
        GuiWorkArea * wa = dynamic_cast<GuiWorkArea *>(widget(i));
-       BOOST_ASSERT(wa);
+       LASSERT(wa, return);
        BufferView & bv = wa->bufferView();
        bv.cursor().fixIfBroken();
        bv.updateMetrics();
@@ -1168,12 +1372,27 @@ void TabWorkArea::on_currentTabChanged(int i)
 }
 
 
-void TabWorkArea::closeCurrentTab()
+void TabWorkArea::closeCurrentBuffer()
 {
+       if (clicked_tab_ != -1)
+               setCurrentIndex(clicked_tab_);
+
        lyx::dispatch(FuncRequest(LFUN_BUFFER_CLOSE));
 }
 
 
+void TabWorkArea::closeCurrentTab()
+{
+       if (clicked_tab_ == -1)
+               removeWorkArea(currentWorkArea());
+       else {
+               GuiWorkArea * wa = dynamic_cast<GuiWorkArea *>(widget(clicked_tab_)); 
+               LASSERT(wa, /**/);
+               removeWorkArea(wa);
+       }
+}
+
+
 void TabWorkArea::updateTabText(GuiWorkArea * wa)
 {
        int const i = indexOf(wa);
@@ -1182,6 +1401,133 @@ void TabWorkArea::updateTabText(GuiWorkArea * wa)
        setTabText(i, wa->windowTitle());
 }
 
+
+void TabWorkArea::showContextMenu(const QPoint & pos)
+{
+       // which tab?
+       clicked_tab_ = static_cast<DragTabBar *>(tabBar())->tabAt(pos);
+       if (clicked_tab_ != -1) {
+               // show tab popup
+               QMenu popup;
+               popup.addAction(QIcon(":/images/hidetab.png"),
+                        qt_("Hide tab"), this, SLOT(closeCurrentTab()));
+               popup.addAction(QIcon(":/images/closetab.png"),
+                        qt_("Close tab"), this, SLOT(closeCurrentBuffer()));
+               popup.exec(tabBar()->mapToGlobal(pos));
+               
+               clicked_tab_ = -1;
+       }
+}
+
+
+void TabWorkArea::moveTab(int fromIndex, int toIndex)
+{
+       QWidget * w = widget(fromIndex);
+       QIcon icon = tabIcon(fromIndex);
+       QString text = tabText(fromIndex);
+
+       setCurrentIndex(fromIndex);
+       removeTab(fromIndex);
+       insertTab(toIndex, w, icon, text);
+       setCurrentIndex(toIndex);
+}
+       
+
+DragTabBar::DragTabBar(QWidget* parent)
+       : QTabBar(parent)
+{
+       setAcceptDrops(true);
+}
+
+
+#if QT_VERSION < 0x040300
+int DragTabBar::tabAt(QPoint const & position) const
+{
+       const int max = count();
+       for (int i = 0; i < max; ++i) {
+               if (tabRect(i).contains(position))
+                       return i;
+       }
+       return -1;
+}
+#endif
+
+
+void DragTabBar::mousePressEvent(QMouseEvent * event)
+{
+       if (event->button() == Qt::LeftButton)
+               dragStartPos_ = event->pos();
+       QTabBar::mousePressEvent(event);
+}
+
+
+void DragTabBar::mouseMoveEvent(QMouseEvent * event)
+{
+       // If the left button isn't pressed anymore then return
+       if (!(event->buttons() & Qt::LeftButton))
+               return;
+       
+       // If the distance is too small then return
+       if ((event->pos() - dragStartPos_).manhattanLength()
+           < QApplication::startDragDistance())
+               return;
+
+       // did we hit something after all?
+       int tab = tabAt(dragStartPos_);
+       if (tab == -1)
+               return;
+       
+       // simulate button release to remove highlight from button
+       int i = currentIndex();
+       QMouseEvent me(QEvent::MouseButtonRelease, dragStartPos_,
+               event->button(), event->buttons(), 0);
+       QTabBar::mouseReleaseEvent(&me);
+       setCurrentIndex(i);
+       
+       // initiate Drag
+       QDrag * drag = new QDrag(this);
+       QMimeData * mimeData = new QMimeData;
+       // a crude way to distinguish tab-reodering drops from other ones
+       mimeData->setData("action", "tab-reordering") ;
+       drag->setMimeData(mimeData);
+       
+#if QT_VERSION >= 0x040300
+       // get tab pixmap as cursor
+       QRect r = tabRect(tab);
+       QPixmap pixmap(r.size());
+       render(&pixmap, - r.topLeft());
+       drag->setPixmap(pixmap);
+       drag->exec();
+#else
+       drag->start(Qt::MoveAction);
+#endif
+       
+}
+
+
+void DragTabBar::dragEnterEvent(QDragEnterEvent * event)
+{
+       // Only accept if it's an tab-reordering request
+       QMimeData const * m = event->mimeData();
+       QStringList formats = m->formats();
+       if (formats.contains("action") 
+           && m->data("action") == "tab-reordering")
+               event->acceptProposedAction();
+}
+
+
+void DragTabBar::dropEvent(QDropEvent * event)
+{
+       int fromIndex = tabAt(dragStartPos_);
+       int toIndex = tabAt(event->pos());
+       
+       // Tell interested objects that 
+       if (fromIndex != toIndex)
+               tabMoveRequested(fromIndex, toIndex);
+       event->acceptProposedAction();
+}
+
+
 } // namespace frontend
 } // namespace lyx