]> git.lyx.org Git - lyx.git/blobdiff - src/BufferView.C
reverse last change
[lyx.git] / src / BufferView.C
index 2641fca95afc68b61efef6a236a02e70ee8b62fc..7e9eec803e7173cda53ffdd0f30cf38768c05db7 100644 (file)
-// -*- C++ -*-
-/* This file is part of
- * ====================================================== 
- * 
- *           LyX, The Document Processor
- *        
- *           Copyright 1995 Matthias Ettrich
- *           Copyright 1995-2000 The LyX Team.
+/**
+ * \file BufferView.C
+ * Copyright 1995-2002 the LyX Team
+ * Read the file COPYING
  *
- * ====================================================== */
+ * \author unknown
+ * \author John Levon <moz@compsoc.man.ac.uk>
+ */
 
 #include <config.h>
 
-#include <algorithm>
-
-#include <cstdlib>
-#include <csignal>
-
-#include <unistd.h>
-#include <sys/wait.h>
-
-#include "support/lstrings.h"
-
 #ifdef __GNUG__
 #pragma implementation
 #endif
 
-#include "commandtags.h"
 #include "BufferView.h"
-#include "bufferlist.h"
-#include "LyXView.h"
-#include "lyxfunc.h"
-#include "insets/lyxinset.h"
-#include "insets/insetbib.h"
-#include "minibuffer.h"
-#include "lyxscreen.h"
+#include "BufferView_pimpl.h"
 
+#include "BufferView_pimpl.h"
+#include "LaTeX.h"
+#include "WordLangTuple.h"
+#include "buffer.h"
+#include "bufferlist.h"
 #include "debug.h"
-#include "lyx_gui_misc.h"
-#include "BackStack.h"
-#include "lyxtext.h"
-#include "lyx_cb.h"
 #include "gettext.h"
-#include "layout.h"
-#include "TextCache.h"
-#include "intl.h"
-#include "lyxrc.h"
-#include "lyxrow.h"
-#include "WorkArea.h"
-#include "font.h"
+#include "iterators.h"
+#include "language.h"
+#include "lyxcursor.h"
+#include "lyxlex.h"
+#include "lyxtext.h"
+#include "undo_funcs.h"
+#include "changes.h"
 
-using std::pair;
-using std::for_each;
-using std::find_if;
-using std::endl;
+#include "frontends/Alert.h"
+#include "frontends/Dialogs.h"
+#include "frontends/LyXView.h"
+#include "frontends/WorkArea.h"
+#include "frontends/screen.h"
+
+#include "insets/insetcommand.h" // ChangeRefs
+#include "insets/inseterror.h"
+
+#include "support/FileInfo.h"
+#include "support/filetools.h"
+#include "support/lyxfunctional.h" // equal_1st_in_pair
+#include "support/types.h"
+#include "support/lyxalgo.h" // lyx_count
+
+#include <fstream>
 
 extern BufferList bufferlist;
 
-void sigchldhandler(pid_t pid, int * status);
+using lyx::pos_type;
 
-extern void SetXtermCursor(Window win);
-extern bool input_prohibited;
-extern bool selection_possible;
-extern char ascii_type;
-extern void MenuPasteSelection(char at);
-extern void FreeUpdateTimer();
+using std::pair;
+using std::endl;
+using std::ifstream;
+using std::vector;
+using std::find;
+using std::count_if;
 
-BufferView::BufferView(LyXView * o, int xpos, int ypos,
+
+BufferView::BufferView(LyXView * owner, int xpos, int ypos,
                       int width, int height)
-       : owner_(o)
+       : pimpl_(new Pimpl(this, owner, xpos, ypos, width, height))
 {
-       buffer_ = 0;
        text = 0;
-       workarea = new WorkArea(this, xpos, ypos, width, height);
-       screen = 0;
-       timer_cursor = 0;
-       create_view();
-       current_scrollbar_value = 0;
-       // Activate the timer for the cursor 
-       fl_set_timer(timer_cursor, 0.4);
-       workarea->setFocus();
-       work_area_focus = true;
-       lyx_focus = false;
-       the_locking_inset = 0;
-       inset_slept = false;
 }
 
 
 BufferView::~BufferView()
 {
        delete text;
+       delete pimpl_;
 }
 
 
-Painter & BufferView::painter() 
+Buffer * BufferView::buffer() const
 {
-       return workarea->getPainter();
+       return pimpl_->buffer_;
 }
 
 
-void BufferView::buffer(Buffer * b)
+LyXScreen & BufferView::screen() const
 {
-       lyxerr[Debug::INFO] << "Setting buffer in BufferView ("
-                           << b << ")" << endl;
-       if (buffer_) {
-               insetSleep();
-               buffer_->delUser(this);
-
-               // Put the old text into the TextCache, but
-               // only if the buffer is still loaded.
-               // Also set the owner of the test to 0
-               text->owner(0);
-               textcache.add(text);
-               if (lyxerr.debugging())
-                       textcache.show(lyxerr, "BufferView::buffer");
-               
-               text = 0;
-       }
-
-       // Set current buffer
-       buffer_ = b;
-
-       if (bufferlist.getState() == BufferList::CLOSING) return;
-       
-       // Nuke old image
-       // screen is always deleted when the buffer is changed.
-       delete screen;
-       screen = 0;
+       return pimpl_->screen();
+}
 
-       // If we are closing the buffer, use the first buffer as current
-       if (!buffer_) {
-               buffer_ = bufferlist.first();
-       }
 
-       if (buffer_) {
-               lyxerr[Debug::INFO] << "Buffer addr: " << buffer_ << endl;
-               buffer_->addUser(this);
-               owner_->getMenus()->showMenus();
-               // If we don't have a text object for this, we make one
-               if (text == 0)
-                       resizeCurrentBuffer();
-               else {
-                       updateScreen();
-                       updateScrollbar();
-               }
-               screen->first = screen->TopCursorVisible();
-               redraw();
-               updateAllVisibleBufferRelatedPopups();
-               insetWakeup();
-       } else {
-               lyxerr[Debug::INFO] << "  No Buffer!" << endl;
-               owner_->getMenus()->hideMenus();
-               updateScrollbar();
-               workarea->redraw();
-
-               // Also remove all remaining text's from the testcache.
-               // (there should not be any!) (if there is any it is a
-               // bug!)
-               if (lyxerr.debugging())
-                       textcache.show(lyxerr, "buffer delete all");
-               textcache.clear();
-       }
-       // should update layoutchoice even if we don't have a buffer.
-       owner_->updateLayoutChoice();
-       owner_->getMiniBuffer()->Init();
-       owner_->updateWindowTitle();
+LyXView * BufferView::owner() const
+{
+       return pimpl_->owner_;
 }
 
 
-void BufferView::updateScreen()
+Painter & BufferView::painter() const
 {
-       // Regenerate the screen.
-       delete screen;
-       screen = new LyXScreen(*workarea, text);
+       return pimpl_->painter();
 }
 
 
-void BufferView::resize(int xpos, int ypos, int width, int height)
+void BufferView::buffer(Buffer * b)
 {
-       workarea->resize(xpos, ypos, width, height);
-       update(3);
-       redraw();
+       pimpl_->buffer(b);
 }
 
 
 void BufferView::resize()
 {
-       // This will resize the buffer. (Asger)
-       if (buffer_)
-               resizeCurrentBuffer();
+       if (pimpl_->buffer_) {
+               pimpl_->resizeCurrentBuffer();
+       }
 }
 
 
-void BufferView::redraw()
+void BufferView::repaint()
 {
-       lyxerr[Debug::INFO] << "BufferView::redraw()" << endl;
-       workarea->redraw();
+       pimpl_->repaint();
 }
 
 
-void BufferView::fitCursor()
+bool BufferView::fitCursor()
 {
-       if (screen) screen->FitCursor();
-       updateScrollbar();
+       return pimpl_->fitCursor();
 }
 
 
 void BufferView::update()
 {
-       if (screen) screen->Update();
+       pimpl_->update();
 }
 
 
 void BufferView::updateScrollbar()
 {
-       /* If the text is smaller than the working area, the scrollbar
-        * maximum must be the working area height. No scrolling will 
-        * be possible */
-
-       if (!buffer_) {
-               workarea->setScrollbar(0, 1.0);
-               return;
-       }
-       
-       static long max2 = 0;
-       static long height2 = 0;
-
-       long cbth = 0;
-       long cbsf = 0;
-
-       if (text)
-               cbth = text->height;
-       if (screen)
-               cbsf = screen->first;
-
-       // check if anything has changed.
-       if (max2 == cbth &&
-           height2 == workarea->height() &&
-           current_scrollbar_value == cbsf)
-               return; // no
-       max2 = cbth;
-       height2 = workarea->height();
-       current_scrollbar_value = cbsf;
-
-       if (cbth <= height2) { // text is smaller than screen
-               workarea->setScrollbar(0, 1.0); // right?
-               return;
-       }
-
-       long maximum_height = workarea->height() * 3 / 4 + cbth;
-       long value = cbsf;
-
-       // set the scrollbar
-       double hfloat = workarea->height();
-       double maxfloat = maximum_height;
-
-       float slider_size = 0.0;
-       int slider_value = value;
+       pimpl_->updateScrollbar();
+}
 
-       workarea->setScrollbarBounds(0, text->height - workarea->height());
-       double lineh = text->DefaultHeight();
-       workarea->setScrollbarIncrements(lineh);
-       if (maxfloat > 0.0) {
-               if ((hfloat / maxfloat) * float(height2) < 3)
-                       slider_size = 3.0/float(height2);
-               else
-                       slider_size = hfloat / maxfloat;
-       } else
-               slider_size = hfloat;
 
-       workarea->setScrollbar(slider_value, slider_size / workarea->height());
+void BufferView::scrollDocView(int value)
+{
+       pimpl_->scrollDocView(value);
 }
 
 
 void BufferView::redoCurrentBuffer()
 {
-       lyxerr[Debug::INFO] << "BufferView::redoCurrentBuffer" << endl;
-       if (buffer_ && text) {
-               resize();
-               owner_->updateLayoutChoice();
-       }
+       pimpl_->redoCurrentBuffer();
 }
 
 
-int BufferView::resizeCurrentBuffer()
+bool BufferView::available() const
 {
-       lyxerr[Debug::INFO] << "resizeCurrentBuffer" << endl;
-       
-       LyXParagraph * par = 0;
-       LyXParagraph * selstartpar = 0;
-       LyXParagraph * selendpar = 0;
-       int pos = 0;
-       int selstartpos = 0;
-       int selendpos = 0;
-       int selection = 0;
-       int mark_set = 0;
-
-       ProhibitInput();
-
-       owner_->getMiniBuffer()->Set(_("Formatting document..."));   
-
-       if (text) {
-               par = text->cursor.par;
-               pos = text->cursor.pos;
-               selstartpar = text->sel_start_cursor.par;
-               selstartpos = text->sel_start_cursor.pos;
-               selendpar = text->sel_end_cursor.par;
-               selendpos = text->sel_end_cursor.pos;
-               selection = text->selection;
-               mark_set = text->mark_set;
-               delete text;
-               text = new LyXText(this, workarea->workWidth(), buffer_);
-       } else {
-               // See if we have a text in TextCache that fits
-               // the new buffer_ with the correct width.
-               text = textcache.findFit(buffer_, workarea->workWidth());
-               if (text) {
-                       if (lyxerr.debugging()) {
-                               lyxerr << "Found a LyXText that fits:\n";
-                               textcache.show(lyxerr, text);
-                       }
-                       // Set the owner of the newly found text
-                       text->owner(this);
-                       if (lyxerr.debugging())
-                               textcache.show(lyxerr, "resizeCurrentBuffer");
-               } else {
-                       text = new LyXText(this, workarea->workWidth(), buffer_);
-               }
-       }
-       updateScreen();
-
-       if (par) {
-               text->selection = true;
-               /* at this point just to avoid the Delete-Empty-Paragraph
-                * Mechanism when setting the cursor */
-               text->mark_set = mark_set;
-               if (selection) {
-                       text->SetCursor(selstartpar, selstartpos);
-                       text->sel_cursor = text->cursor;
-                       text->SetCursor(selendpar, selendpos);
-                       text->SetSelection();
-                       text->SetCursor(par, pos);
-               } else {
-                       text->SetCursor(par, pos);
-                       text->sel_cursor = text->cursor;
-                       text->selection = false;
-               }
-       }
-       screen->first = screen->TopCursorVisible(); /* this will scroll the
-                                                    * screen such that the
-                                                    * cursor becomes
-                                                    * visible */ 
-       updateScrollbar();
-       redraw();
-       owner_->getMiniBuffer()->Init();
-       setState();
-       AllowInput();
-
-       // Now if the title form still exist kill it
-       TimerCB(0, 0);
-
-       return 0;
+       return pimpl_->available();
 }
 
 
-void BufferView::gotoError()
+Change const BufferView::getCurrentChange()
 {
-       if (!screen)
-               return;
-   
-       screen->HideCursor();
-       beforeChange();
-       update(-2);
-       LyXCursor tmp;
-
-       if (!text->GotoNextError()) {
-               if (text->cursor.pos 
-                   || text->cursor.par != text->FirstParagraph()) {
-                       tmp = text->cursor;
-                       text->cursor.par = text->FirstParagraph();
-                       text->cursor.pos = 0;
-                       if (!text->GotoNextError()) {
-                               text->cursor = tmp;
-                               owner_->getMiniBuffer()
-                                       ->Set(_("No more errors"));
-                               LyXBell();
-                       }
-               } else {
-                       owner_->getMiniBuffer()->Set(_("No more errors"));
-                       LyXBell();
-               }
-       }
-       update(0);
-       text->sel_cursor = text->cursor;
+       return pimpl_->getCurrentChange();
 }
 
-
-extern "C" {
-       void C_BufferView_CursorToggleCB(FL_OBJECT * ob, long buf)
-       {
-               BufferView::cursorToggleCB(ob, buf);
-       }
+void BufferView::beforeChange(LyXText * text)
+{
+       pimpl_->beforeChange(text);
 }
 
 
-void BufferView::create_view()
+void BufferView::savePosition(unsigned int i)
 {
-       FL_OBJECT * obj;
-
-       //
-       // TIMERS
-       //
-       
-       // timer_cursor
-       timer_cursor = obj = fl_add_timer(FL_HIDDEN_TIMER,
-                                         0, 0, 0, 0, "Timer");
-       fl_set_object_callback(obj, C_BufferView_CursorToggleCB, 0);
-       obj->u_vdata = this;
-}
-
-
-// Callback for scrollbar up button
-void BufferView::upCB(long time, int button)
-{
-       if (buffer_ == 0) return;
-
-       switch (button) {
-       case 3:
-               scrollUpOnePage();
-               break;
-       case 2:
-               scrollDownOnePage();
-               break;
-       default:
-               scrollUp(time);
-               break;
-       }
+       pimpl_->savePosition(i);
 }
 
 
-static inline
-void waitForX()
+void BufferView::restorePosition(unsigned int i)
 {
-       XSync(fl_get_display(), 0);
+       pimpl_->restorePosition(i);
 }
 
 
-// Callback for scrollbar slider
-void BufferView::scrollCB(double value)
+bool BufferView::isSavedPosition(unsigned int i)
 {
-       extern bool cursor_follows_scrollbar;
-       
-       if (buffer_ == 0) return;
-
-       current_scrollbar_value = long(value);
-       if (current_scrollbar_value < 0)
-               current_scrollbar_value = 0;
-   
-       if (!screen)
-               return;
-
-       screen->Draw(current_scrollbar_value);
-
-       if (cursor_follows_scrollbar) {
-               LyXText * vbt = text;
-               int height = vbt->DefaultHeight();
-               
-               if (vbt->cursor.y < screen->first + height) {
-                       vbt->SetCursorFromCoordinates(0,
-                                                     screen->first +
-                                                     height);
-               } else if (vbt->cursor.y >
-                          screen->first + workarea->height() - height) {
-                       vbt->SetCursorFromCoordinates(0,
-                                                     screen->first +
-                                                     workarea->height()  -
-                                                     height);
-               }
-       }
-       waitForX();
+       return pimpl_->isSavedPosition(i);
 }
 
 
-// Callback for scrollbar down button
-void BufferView::downCB(long time, int button)
+void BufferView::update(LyXText * text, UpdateCodes f)
 {
-       if (buffer_ == 0) return;
-       
-       switch (button) {
-       case 2:
-               scrollUpOnePage();
-               break;
-       case 3:
-               scrollDownOnePage();
-               break;
-       default:
-               scrollDown(time);
-               break;
-       }
+       pimpl_->update(text, f);
 }
 
 
-int BufferView::scrollUp(long time)
+void BufferView::switchKeyMap()
 {
-       if (buffer_ == 0) return 0;
-       if (!screen) return 0;
-   
-       double value = workarea->getScrollbarValue();
-   
-       if (value == 0) return 0;
-
-       float add_value =  (text->DefaultHeight()
-                           + float(time) * float(time) * 0.125);
-   
-       if (add_value > workarea->height())
-               add_value = float(workarea->height() -
-                                 text->DefaultHeight());
-   
-       value -= add_value;
-
-       if (value < 0)
-               value = 0;
-   
-       workarea->setScrollbarValue(value);
-   
-       scrollCB(value); 
-       return 0;
+       pimpl_->switchKeyMap();
 }
 
 
-int BufferView::scrollDown(long time)
-{
-       if (buffer_ == 0) return 0;
-       if (!screen) return 0;
-   
-       double value= workarea->getScrollbarValue();
-       pair<double, double> p = workarea->getScrollbarBounds();
-       double max = p.second;
-       
-       if (value == max) return 0;
-
-       float add_value =  (text->DefaultHeight()
-                           + float(time) * float(time) * 0.125);
-   
-       if (add_value > workarea->height())
-               add_value = float(workarea->height() -
-                                 text->DefaultHeight());
-   
-       value += add_value;
-   
-       if (value > max)
-               value = max;
-
-       workarea->setScrollbarValue(value);
-       
-       scrollCB(value); 
-       return 0;
+void BufferView::insetUnlock()
+{
+       pimpl_->insetUnlock();
 }
 
 
-void BufferView::scrollUpOnePage()
+int BufferView::workWidth() const
 {
-       if (buffer_ == 0) return;
-       if (!screen) return;
-   
-       long y = screen->first;
+       return pimpl_->workarea().workWidth();
+}
 
-       if (!y) return;
 
-       Row * row = text->GetRowNearY(y);
+void BufferView::showCursor()
+{
+       pimpl_->showCursor();
+}
 
-       y = y - workarea->height() + row->height;
 
-       workarea->setScrollbarValue(y);
-       
-       scrollCB(y); 
+void BufferView::hideCursor()
+{
+       pimpl_->hideCursor();
 }
 
 
-void BufferView::scrollDownOnePage()
+void BufferView::toggleSelection(bool b)
 {
-       if (buffer_ == 0) return;
-       if (!screen) return;
-   
-       long y = screen->first;
+       pimpl_->toggleSelection(b);
+}
 
-       if (y > text->height - workarea->height())
-               return;
-   
-       y += workarea->height();
-       text->GetRowNearY(y);
 
-       workarea->setScrollbarValue(y);
-       
-       scrollCB(y); 
+void BufferView::toggleToggle()
+{
+       pimpl_->toggleToggle();
 }
 
 
-void BufferView::workAreaMotionNotify(int x, int y, unsigned int state)
+void BufferView::center()
 {
-       if (buffer_ == 0 || !screen) return;
+       pimpl_->center();
+}
 
-       // Check for inset locking
-       if (the_locking_inset) {
-               LyXCursor cursor = text->cursor;
-               the_locking_inset->
-                       InsetMotionNotify(this,
-                                         x - cursor.x,
-                                         y - cursor.y,
-                                         state);
-               return;
-       }
 
-       // Only use motion with button 1
-       if (!state & Button1MotionMask)
-               return; 
-   
-       /* The selection possible is needed, that only motion events are 
-        * used, where the bottom press event was on the drawing area too */
-       if (selection_possible) {
-               screen->HideCursor();
-
-               text->SetCursorFromCoordinates(x, y + screen->first);
-      
-               if (!text->selection)
-                       update(-3); // Maybe an empty line was deleted
-      
-               text->SetSelection();
-               screen->ToggleToggle();
-               if (screen->FitCursor())
-                       updateScrollbar(); 
-               screen->ShowCursor();
-       }
-       return;
+string const BufferView::getClipboard() const
+{
+       return pimpl_->workarea().getClipboard();
 }
 
 
-extern int bibitemMaxWidth(Painter &, LyXFont const &);
+void BufferView::stuffClipboard(string const & stuff) const
+{
+       pimpl_->stuffClipboard(stuff);
+}
 
 
-// Single-click on work area
-void BufferView::workAreaButtonPress(int xpos, int ypos, unsigned int button)
+BufferView::UpdateCodes operator|(BufferView::UpdateCodes uc1,
+                                 BufferView::UpdateCodes uc2)
 {
-       last_click_x = -1;
-       last_click_y = -1;
-
-       if (buffer_ == 0 || !screen) return;
+       return static_cast<BufferView::UpdateCodes>
+               (static_cast<int>(uc1) | static_cast<int>(uc2));
+}
 
-       Inset * inset_hit = checkInsetHit(xpos, ypos, button);
 
-       // ok ok, this is a hack.
-       if (button == 4 || button == 5) {
-               switch (button) {
-               case 4:
-                       scrollUp(100); // This number is only temporary
-                       break;
-               case 5:
-                       scrollDown(100);
-                       break;
-               }
-       }
-       
-       if (the_locking_inset) {
-               // We are in inset locking mode
-               
-               /* Check whether the inset was hit. If not reset mode,
-                  otherwise give the event to the inset */
-               if (inset_hit == the_locking_inset) {
-                       the_locking_inset->
-                               InsetButtonPress(this,
-                                                xpos, ypos,
-                                                button);
-                       return;
-               } else {
-                       unlockInset(the_locking_inset);
-               }
-       }
-       
-       if (!inset_hit)
-               selection_possible = true;
-       screen->HideCursor();
-       
-       // Right button mouse click on a table
-       if (button == 3 &&
-           (text->cursor.par->table ||
-            text->MouseHitInTable(xpos, ypos + screen->first))) {
-               // Set the cursor to the press-position
-               text->SetCursorFromCoordinates(xpos, ypos + screen->first);
-               bool doit = true;
-               
-               // Only show the table popup if the hit is in
-               // the table, too
-               if (!text->HitInTable(text->cursor.row, xpos))
-                       doit = false;
-               
-               // Hit above or below the table?
-               if (doit) {
-                       if (!text->selection) {
-                               screen->ToggleSelection();
-                               text->ClearSelection();
-                               text->FullRebreak();
-                               screen->Update();
-                               updateScrollbar();
-                       }
-                       // Popup table popup when on a table.
-                       // This is obviously temporary, since we
-                       // should be able to popup various
-                       // context-sensitive-menus with the
-                       // the right mouse. So this should be done more
-                       // general in the future. Matthias.
-                       selection_possible = false;
-                       owner_->getLyXFunc()
-                               ->Dispatch(LFUN_LAYOUT_TABLE,
-                                          "true");
-                       return;
-               }
-       }
-       
-       int screen_first = screen->first;
-       
-       // Middle button press pastes if we have a selection
-       bool paste_internally = false;
-       if (button == 2
-           && text->selection) {
-               owner_->getLyXFunc()->Dispatch(LFUN_COPY);
-               paste_internally = true;
-       }
-       
-       // Clear the selection
-       screen->ToggleSelection();
-       text->ClearSelection();
-       text->FullRebreak();
-       screen->Update();
-       updateScrollbar();
-       
-       // Single left click in math inset?
-       if ((inset_hit != 0) &&
-           (inset_hit->Editable()==Inset::HIGHLY_EDITABLE)) {
-               // Highly editable inset, like math
-               UpdatableInset *inset = (UpdatableInset *)inset_hit;
-               selection_possible = false;
-               owner_->updateLayoutChoice();
-               owner_->getMiniBuffer()->Set(inset->EditMessage());
-               inset->InsetButtonPress(this, xpos, ypos, button);
-               inset->Edit(this, xpos, ypos, button);
-               return;
-       } 
-       
-       // Right click on a footnote flag opens float menu
-       if (button == 3) { 
-               selection_possible = false;
-               return;
-       }
-       
-       if (!inset_hit) // otherwise it was already set in checkInsetHit(...)
-               text->SetCursorFromCoordinates(xpos, ypos + screen_first);
-       text->FinishUndo();
-       text->sel_cursor = text->cursor;
-       text->cursor.x_fix = text->cursor.x;
-       
-       owner_->updateLayoutChoice();
-       if (screen->FitCursor()){
-               updateScrollbar();
-               selection_possible = false;
-       }
-       
-       // Insert primary selection with middle mouse
-       // if there is a local selection in the current buffer,
-       // insert this
-       if (button == 2) {
-               if (paste_internally)
-                       owner_->getLyXFunc()->Dispatch(LFUN_PASTE);
-               else
-                       owner_->getLyXFunc()->Dispatch(LFUN_PASTESELECTION,
-                                                      "paragraph");
-               selection_possible = false;
-               return;
-       }
+bool BufferView::dispatch(FuncRequest const & ev)
+{
+       return pimpl_->dispatch(ev);
 }
 
 
-void BufferView::doubleClick(int /*x*/, int /*y*/, unsigned int button) 
+void BufferView::scroll(int lines)
 {
-       // select a word
-       if (buffer_ && !the_locking_inset) {
-               if (screen && button == 1) {
-                       screen->HideCursor();
-                       screen->ToggleSelection();
-                       text->SelectWord();
-                       screen->ToggleSelection(false);
-                       /* This will fit the cursor on the screen
-                        * if necessary */
-                       update(0);
-               }
-       }            
+       pimpl_->scroll(lines);
 }
 
 
-void BufferView::tripleClick(int /*x*/, int /*y*/, unsigned int button)
+int BufferView::defaultHeight() const
 {
-       // select a line
-       if (buffer_ && screen && button == 1) {
-               screen->HideCursor();
-               screen->ToggleSelection();
-               text->CursorHome();
-               text->sel_cursor = text->cursor;
-               text->CursorEnd();
-               text->SetSelection();
-               screen->ToggleSelection(false);
-               /* This will fit the cursor on the screen
-                * if necessary */
-               update(0);
-       }
+       return text->defaultHeight();
 }
 
 
-void BufferView::workAreaButtonRelease(int x, int y, unsigned int button)
+
+// Inserts a file into current document
+bool BufferView::insertLyXFile(string const & filen)
+       //
+       // Copyright CHT Software Service GmbH
+       // Uwe C. Schroeder
+       //
+       // Insert a LyXformat - file into current buffer
+       //
+       // Moved from lyx_cb.C (Lgb)
 {
-       if (buffer_ == 0 || screen == 0) return;
+       if (filen.empty())
+               return false;
 
-       // If we hit an inset, we have the inset coordinates in these
-       // and inset_hit points to the inset.  If we do not hit an
-       // inset, inset_hit is 0, and inset_x == x, inset_y == y.
-       Inset * inset_hit = checkInsetHit(x, y, button);
+       string const fname = MakeAbsPath(filen);
 
-       if (the_locking_inset) {
-               // We are in inset locking mode.
+       // check if file exist
+       FileInfo const fi(fname);
 
-               /* LyX does a kind of work-area grabbing for insets.
-                  Only a ButtonPress Event outside the inset will 
-                  force a InsetUnlock. */
-               the_locking_inset->
-                       InsetButtonRelease(this, x, y, button);
-               return;
+       if (!fi.readable()) {
+               Alert::alert(_("Error!"),
+                          _("Specified file is unreadable: "),
+                          MakeDisplayPath(fname, 50));
+               return false;
        }
-       
-       selection_possible = false;
-        if (text->cursor.par->table) {
-                int cell = text->
-                        NumberOfCell(text->cursor.par,
-                                     text->cursor.pos);
-                if (text->cursor.par->table->IsContRow(cell) &&
-                    text->cursor.par->table->
-                    CellHasContRow(text->cursor.par->table->
-                                   GetCellAbove(cell))<0) {
-                        text->CursorUp();
-                }
-        }
-       
-       if (button >= 2) return;
-
-       setState();
-       owner_->getMiniBuffer()->Set(CurrentState());
-
-       // Did we hit an editable inset?
-       if (inset_hit != 0) {
-               // Inset like error, notes and figures
-               selection_possible = false;
-#ifdef WITH_WARNINGS
-#warning fix this proper in 0.13
-#endif
-               // Following a ref shouldn't issue
-               // a push on the undo-stack
-               // anylonger, now that we have
-               // keybindings for following
-               // references and returning from
-               // references.  IMHO though, it
-               // should be the inset's own business
-               // to push or not push on the undo
-               // stack. They don't *have* to
-               // alter the document...
-               // (Joacim)
-               // ...or maybe the SetCursorParUndo()
-               // below isn't necessary at all anylonger?
-               if (inset_hit->LyxCode() == Inset::REF_CODE) {
-                       text->SetCursorParUndo();
-               }
 
-               owner_->getMiniBuffer()->Set(inset_hit->EditMessage());
-               if (inset_hit->Editable()==Inset::HIGHLY_EDITABLE) {
-                       // Highly editable inset, like math
-                       UpdatableInset *inset = (UpdatableInset *)inset_hit;
-                       inset->InsetButtonRelease(this, x, y, button);
-               } else {
-                       inset_hit->Edit(this, x, y, button);
-               }
-               return;
+       beforeChange(text);
+
+       ifstream ifs(fname.c_str());
+       if (!ifs) {
+               Alert::err_alert(_("Error! Cannot open specified file:"),
+                          MakeDisplayPath(fname, 50));
+               return false;
        }
 
-       // check whether we want to open a float
-       if (text) {
-               bool hit = false;
-               char c = ' ';
-               if (text->cursor.pos <
-                   text->cursor.par->Last()) {
-                       c = text->cursor.par->
-                               GetChar(text->cursor.pos);
+       int const c = ifs.peek();
+
+       LyXLex lex(0, 0);
+       lex.setStream(ifs);
+
+       bool res = true;
+
+       if (c == '#') {
+               lyxerr[Debug::INFO] << "Will insert file with header" << endl;
+               res = buffer()->readFile(lex, fname, text->cursor.par());
+       } else {
+               lyxerr[Debug::INFO] << "Will insert file without header"
+                                   << endl;
+               res = buffer()->readLyXformat2(lex, text->cursor.par());
+       }
+
+       resize();
+       return res;
+}
+
+
+bool BufferView::removeAutoInsets()
+{
+       // keep track of which pos and par the cursor was on
+       Paragraph * cursor_par = text->cursor.par();
+       Paragraph * cursor_par_prev = cursor_par ? cursor_par->previous() : 0;
+       Paragraph * cursor_par_next = cursor_par ? cursor_par->next() : 0;
+       pos_type cursor_pos = text->cursor.pos();
+
+       bool found = false;
+
+       // Trap the deletion of the paragraph the cursor is in.
+       // Iterate until we find a paragraph that won't be immediately deleted.
+       // In reality this should mean we only execute the body of the while
+       // loop once at most.  However for safety we iterate rather than just
+       // make this an if () conditional.
+       while ((cursor_par_prev || cursor_par_next)
+              && text->setCursor(this,
+                                 cursor_par_prev ? cursor_par_prev : cursor_par_next,
+                                 0)) {
+               // We just removed cursor_par so have to fix the "cursor"
+               if (cursor_par_prev) {
+                       // '.' = cursor_par
+                       //  a -> a.
+                       // .
+                       cursor_par = cursor_par_prev;
+                       cursor_pos = cursor_par->size();
+               } else {
+                       // .  -> .a
+                       //  a
+                       cursor_par = cursor_par_next;
+                       cursor_pos = 0;
                }
-               if (c == LyXParagraph::META_FOOTNOTE
-                   || c == LyXParagraph::META_MARGIN
-                   || c == LyXParagraph::META_FIG
-                   || c == LyXParagraph::META_TAB
-                   || c == LyXParagraph::META_WIDE_FIG
-                   || c == LyXParagraph::META_WIDE_TAB
-                    || c == LyXParagraph::META_ALGORITHM){
-                       hit = true;
-               } else if (text->cursor.pos - 1 >= 0) {
-                       c = text->cursor.par->
-                               GetChar(text->cursor.pos - 1);
-                       if (c == LyXParagraph::META_FOOTNOTE
-                           || c == LyXParagraph::META_MARGIN
-                           || c == LyXParagraph::META_FIG
-                           || c == LyXParagraph::META_TAB
-                           || c == LyXParagraph::META_WIDE_FIG 
-                           || c == LyXParagraph::META_WIDE_TAB
-                           || c == LyXParagraph::META_ALGORITHM){
-                               // We are one step too far to the right
-                               text->CursorLeft();
-                               hit = true;
+               cursor_par_prev = cursor_par->previous();
+               cursor_par_next = cursor_par->next();
+       }
+
+       // Iterate through the paragraphs removing autoDelete insets as we go.
+       // If the paragraph ends up empty after all the autoDelete insets are
+       // removed that paragraph will be removed by the next setCursor() call.
+       ParIterator it = buffer()->par_iterator_begin();
+       ParIterator end = buffer()->par_iterator_end();
+       for (; it != end; ++it) {
+               Paragraph * par = *it;
+               Paragraph * par_prev = par ? par->previous() : 0;
+               bool removed = false;
+
+               if (text->setCursor(this, par, 0)
+                   && cursor_par == par_prev) {
+                       // The previous setCursor line was deleted and that
+                       // was the cursor_par line.  This can only happen if an
+                       // error box was the sole item on cursor_par.
+                       // It is possible for cursor_par_prev to be stray if
+                       // the line it pointed to only had a error box on it
+                       // so we have to set it to a known correct value.
+                       // This is often the same value it already had.
+                       cursor_par_prev = par->previous();
+                       if (cursor_par_prev) {
+                               // '|' = par, '.' = cursor_par, 'E' = error box
+                               // First step below may occur before while{}
+                               //  a    |a      a     a     a.
+                               //  E -> .E -> |.E -> .  -> |b
+                               // .      b      b    |b
+                               //  b
+                               cursor_par = cursor_par_prev;
+                               cursor_pos = cursor_par_prev->size();
+                               cursor_par_prev = cursor_par->previous();
+                               // cursor_par_next remains the same
+                       } else if (cursor_par_next) {
+                               // First step below may occur before while{}
+                               // .
+                               //  E -> |.E -> |.  -> . -> .|a
+                               //  a      a      a    |a
+                               cursor_par = cursor_par_next;
+                               cursor_pos = 0;
+                               // cursor_par_prev remains unset
+                               cursor_par_next = cursor_par->next();
+                       } else {
+                               // I can't find a way to trigger this
+                               // so it should be unreachable code
+                               // unless the buffer is corrupted.
+                               lyxerr << "BufferView::removeAutoInsets() is bad\n";
                        }
                }
-               if (hit == true) {
-                       toggleFloat();
-                       selection_possible = false;
-                       return;
-               }
-       }
 
-       // Do we want to close a float? (click on the float-label)
-       if (text->cursor.row->par->footnoteflag == 
-           LyXParagraph::OPEN_FOOTNOTE
-           //&& text->cursor.pos == 0
-           && text->cursor.row->previous &&
-           text->cursor.row->previous->par->
-           footnoteflag != LyXParagraph::OPEN_FOOTNOTE){
-               LyXFont font(LyXFont::ALL_SANE);
-               font.setSize(LyXFont::SIZE_FOOTNOTE);
-
-               int box_x = 20; // LYX_PAPER_MARGIN;
-               box_x += lyxfont::width(" wide-tab ", font);
-
-               int screen_first = screen->first;
-
-               if (x < box_x
-                   && y + screen_first > text->cursor.y -
-                   text->cursor.row->baseline
-                   && y + screen_first < text->cursor.y -
-                   text->cursor.row->baseline
-                   + lyxfont::maxAscent(font) * 1.2 + lyxfont::maxDescent(font) * 1.2) {
-                       toggleFloat();
-                       selection_possible = false;
-                       return;
+               InsetList::iterator pit = par->insetlist.begin();
+               InsetList::iterator pend = par->insetlist.end();
+
+               while (pit != pend) {
+                       if (pit.getInset()->autoDelete()) {
+                               removed = true;
+                               pos_type const pos = pit.getPos();
+
+                               par->erase(pos);
+                               // We just invalidated par's inset iterators so
+                               // we get the next valid iterator position
+                               pit = par->insetlist.insetIterator(pos);
+                               // and ensure we have a valid end iterator.
+                               pend = par->insetlist.end();
+
+                               if (cursor_par == par) {
+                                       // update the saved cursor position
+                                       if (cursor_pos > pos)
+                                               --cursor_pos;
+                               }
+                       } else {
+                               ++pit;
+                       }
+               }
+               if (removed) {
+                       found = true;
+                       text->redoParagraph(this);
                }
        }
 
-       // Maybe we want to edit a bibitem ale970302
-       if (text->cursor.par->bibkey && x < 20 + 
-           bibitemMaxWidth(painter(),
-                           textclasslist
-                           .TextClass(buffer_->
-                                      params.textclass).defaultfont())) {
-               text->cursor.par->bibkey->Edit(this, 0, 0, 0);
+       // It is possible that the last line is empty if it was cursor_par
+       // and/or only had an error inset on it.  So we set the cursor to the
+       // start of the doc to force its removal and ensure a valid saved cursor
+       if (text->setCursor(this, text->ownerParagraph(), 0)
+           && 0 == cursor_par_next) {
+               cursor_par = cursor_par_prev;
+               cursor_pos = cursor_par->size();
+       } else if (cursor_pos > cursor_par->size()) {
+               // Some C-Enter lines were removed by the setCursor call which
+               // then invalidated cursor_pos. It could still be "wrong" because
+               // the cursor may appear to have jumped but since we collapsed
+               // some C-Enter lines this should be a reasonable compromise.
+               cursor_pos = cursor_par->size();
        }
 
-       return;
+       // restore the original cursor in its corrected location.
+       text->setCursorIntern(this, cursor_par, cursor_pos);
+
+       return found;
 }
 
 
-/* 
- * Returns an inset if inset was hit. 0 otherwise.
- * If hit, the coordinates are changed relative to the inset. 
- * Otherwise coordinates are not changed, and false is returned.
- */
-Inset * BufferView::checkInsetHit(int & x, int & y, unsigned int button)
+void BufferView::insertErrors(TeXErrors & terr)
 {
-       if (!screen)
-               return 0;
-  
-       int y_tmp = y + screen->first;
-  
-       LyXCursor cursor;
-       text->SetCursorFromCoordinates(cursor, x, y_tmp);
-#if 1
-       bool move_cursor = true;
-#else
-       bool move_cursor = ((cursor.par != text->cursor.par) ||
-                           (cursor.pos != text->cursor.pos)) && (button < 2);
-#endif
+       // Save the cursor position
+       LyXCursor cursor = text->cursor;
 
-       if (cursor.pos < cursor.par->Last()
-           && cursor.par->GetChar(cursor.pos) == LyXParagraph::META_INSET
-           && cursor.par->GetInset(cursor.pos)
-           && cursor.par->GetInset(cursor.pos)->Editable()) {
+       TeXErrors::Errors::const_iterator cit = terr.begin();
+       TeXErrors::Errors::const_iterator end = terr.end();
+       for (; cit != end; ++cit) {
+               string const desctext(cit->error_desc);
+               string const errortext(cit->error_text);
+               string const msgtxt = desctext + '\n' + errortext;
+               int const errorrow = cit->error_in_line;
 
-               // Check whether the inset really was hit
-               Inset * tmpinset = cursor.par->GetInset(cursor.pos);
-               LyXFont font = text->GetFont(cursor.par, cursor.pos);
-               bool is_rtl = font.isVisibleRightToLeft();
-               int start_x, end_x;
+               // Insert error string for row number
+               int tmpid = -1;
+               int tmppos = -1;
 
-               if (is_rtl) {
-                       start_x = cursor.x - tmpinset->width(painter(), font);
-                       end_x = cursor.x;
-               } else {
-                       start_x = cursor.x;
-                       end_x = cursor.x + tmpinset->width(painter(), font);
+               if (buffer()->texrow.getIdFromRow(errorrow, tmpid, tmppos)) {
+                       buffer()->texrow.increasePos(tmpid, tmppos);
                }
 
-               if (x > start_x && x < end_x
-                   && y_tmp > cursor.y - tmpinset->ascent(painter(), font)
-                   && y_tmp < cursor.y + tmpinset->descent(painter(), font)) {
-                       if (move_cursor)
-                               text->SetCursorFromCoordinates(x, y_tmp);
-                       x = x - start_x;
-                       // The origin of an inset is on the baseline
-                       y = y_tmp - (text->cursor.y); 
-                       return tmpinset;
-               }
-       }
+               Paragraph * texrowpar = 0;
 
-       if ((cursor.pos - 1 >= 0) &&
-           (cursor.par->GetChar(cursor.pos-1) == LyXParagraph::META_INSET) &&
-           (cursor.par->GetInset(cursor.pos - 1)) &&
-           (cursor.par->GetInset(cursor.pos - 1)->Editable())) {
-               Inset * tmpinset = cursor.par->GetInset(cursor.pos-1);
-               LyXFont font = text->GetFont(cursor.par, cursor.pos-1);
-               bool is_rtl = font.isVisibleRightToLeft();
-               int start_x, end_x;
-
-               if (!is_rtl) {
-                       start_x = cursor.x - tmpinset->width(painter(), font);
-                       end_x = cursor.x;
+               if (tmpid == -1) {
+                       texrowpar = text->ownerParagraph();
+                       tmppos = 0;
                } else {
-                       start_x = cursor.x;
-                       end_x = cursor.x + tmpinset->width(painter(), font);
+                       texrowpar = buffer()->getParFromID(tmpid);
                }
-               if (x > start_x && x < end_x
-                   && y_tmp > cursor.y - tmpinset->ascent(painter(), font)
-                   && y_tmp < cursor.y + tmpinset->descent(painter(), font)) {
-                       if (move_cursor)
-                               text->SetCursorFromCoordinates(x, y_tmp);
-                       x = x - start_x;
-                       // The origin of an inset is on the baseline
-                       y = y_tmp - (text->cursor.y); 
-                       return tmpinset;
-               }
-       }
-       return 0;
-}
 
-void BufferView::workAreaExpose()
-{
-       // this is a hack to ensure that we only call this through
-       // BufferView::redraw().
-       //if (!lgb_hack) {
-       //      redraw();
-       //}
-       
-       static int work_area_width = -1;
-       static int work_area_height = -1;
-
-       bool widthChange = workarea->workWidth() != work_area_width;
-       bool heightChange = workarea->height() != work_area_height;
-
-       // update from work area
-       work_area_width = workarea->workWidth();
-       work_area_height = workarea->height();
-       if (buffer_ != 0) {
-               if (widthChange) {
-                       // All buffers need a resize
-                       bufferlist.resize();
-
-                       // Remove all texts from the textcache
-                       // This is not _really_ what we want to do. What
-                       // we really want to do is to delete in textcache
-                       // that does not have a BufferView with matching
-                       // width, but as long as we have only one BufferView
-                       // deleting all gives the same result.
-                       if (lyxerr.debugging())
-                               textcache.show(lyxerr, "Expose delete all");
-                       textcache.clear();
-               } else if (heightChange) {
-                       // Rebuild image of current screen
-                       updateScreen();
-                       // fitCursor() ensures we don't jump back
-                       // to the start of the document on vertical
-                       // resize
-                       fitCursor();
-
-                       // The main window size has changed, repaint most stuff
-                       redraw();
-                       // ...including the minibuffer
-                       owner_->getMiniBuffer()->Init();
-
-               } else if (screen) screen->Redraw();
-       } else {
-               // Grey box when we don't have a buffer
-               workarea->greyOut();
-       }
+               if (texrowpar == 0)
+                       continue;
 
-       // always make sure that the scrollbar is sane.
-       updateScrollbar();
-       owner_->updateLayoutChoice();
-       return;
+               freezeUndo();
+               InsetError * new_inset = new InsetError(msgtxt);
+               text->setCursorIntern(this, texrowpar, tmppos);
+               text->insertInset(this, new_inset);
+               text->fullRebreak(this);
+               unFreezeUndo();
+       }
+       // Restore the cursor position
+       text->setCursorIntern(this, cursor.par(), cursor.pos());
 }
 
 
-// Callback for cursor timer
-void BufferView::cursorToggleCB(FL_OBJECT * ob, long)
+void BufferView::setCursorFromRow(int row)
 {
-       BufferView * view = static_cast<BufferView*>(ob->u_vdata);
-       
-       // Quite a nice place for asyncron Inset updating, isn't it?
-       // Actually no! This is run even if no buffer exist... so (Lgb)
-       if (view && !view->buffer_) {
-               goto set_timer_and_return;
-       }
+       int tmpid = -1;
+       int tmppos = -1;
 
-       // NOTE:
-       // On my quest to solve the gs render hangups I am now
-       // disabling the SIGHUP completely, and will do a wait
-       // now and then instead. If the guess that xforms somehow
-       // destroys something is true, this is likely (hopefully)
-       // to solve the problem...at least I hope so. Lgb
-
-       // ...Ok this seems to work...at least it does not make things
-       // worse so far. However I still see gs processes that hangs.
-       // I would really like to know _why_ they are hanging. Anyway
-       // the solution without the SIGCHLD handler seems to be easier
-       // to debug.
-
-       // When attaching gdb to a a running gs that hangs it shows
-       // that it is waiting for input(?) Is it possible for us to
-       // provide that input somehow? Or figure what it is expecing
-       // to read?
-
-       // One solution is to, after some time, look if there are some
-       // old gs processes still running and if there are: kill them
-       // and re render.
-
-       // Another solution is to provide the user an option to rerender
-       // a picture. This would, for the picture in question, check if
-       // there is a gs running for it, if so kill it, and start a new
-       // rendering process.
-
-       // these comments posted to lyx@via
-       {
-               int status = 1;
-               int pid = waitpid(static_cast<pid_t>(0), &status, WNOHANG);
-               if (pid == -1) // error find out what is wrong
-                       ; // ignore it for now.
-               else if (pid > 0)
-                       sigchldhandler(pid, &status);
-       }
+       buffer()->texrow.getIdFromRow(row, tmpid, tmppos);
 
-       view->updatelist.update(view);
-       
-       if (view && !view->screen){
-               goto set_timer_and_return;
-       }
+       Paragraph * texrowpar;
 
-       if (view->lyx_focus && view->work_area_focus) {
-               if (!view->the_locking_inset) {
-                       view->screen->CursorToggle();
-               } else {
-                       view->the_locking_inset->
-                               ToggleInsetCursor(view);
-               }
-               goto set_timer_and_return;
+       if (tmpid == -1) {
+               texrowpar = text->ownerParagraph();
+               tmppos = 0;
        } else {
-               // Make sure that the cursor is visible.
-               if (!view->the_locking_inset) {
-                       view->screen->ShowCursor();
-               } else {
-                       if (!view->the_locking_inset->isCursorVisible())
-                               view->the_locking_inset->
-                                       ToggleInsetCursor(view);
-               }
-               // This is only run when work_area_focus or lyx_focus is false.
-               Window tmpwin;
-               int tmp;
-               XGetInputFocus(fl_display, &tmpwin, &tmp);
-               // Commenting this out, we have not had problems with this
-               // for a long time. We will probably work on this code later
-               // and we can reenable this debug code then. Now it only
-               // anoying when debugging. (Lgb)
-               //if (lyxerr.debugging(Debug::INFO)) {
-               //      lyxerr << "tmpwin: " << tmpwin
-               //             << "\nwindow: " << view->owner_->getForm()->window
-               //             << "\nwork_area_focus: " << view->work_area_focus
-               //             << "\nlyx_focus      : " << view->lyx_focus
-               //             << endl;
-               //}
-               if (tmpwin != view->owner_->getForm()->window) {
-                       view->lyx_focus = false;
-                       goto skip_timer;
-               } else {
-                       view->lyx_focus = true;
-                       if (!view->work_area_focus)
-                               goto skip_timer;
-                       else
-                               goto set_timer_and_return;
-               }
+               texrowpar = buffer()->getParFromID(tmpid);
        }
+       text->setCursor(this, texrowpar, tmppos);
+}
 
-  set_timer_and_return:
-       fl_set_timer(ob, 0.4);
-  skip_timer:
-       return;
-}
-
-
-static
-string fromClipboard(Window win, XEvent * event)
-{
-       string strret;
-       if (event->xselection.type == XA_STRING
-           && event->xselection.property) {
-               Atom tmpatom;
-               unsigned long ul1;
-               unsigned long ul2;
-               unsigned char * uc = 0;
-               int tmpint;
-               if (XGetWindowProperty(
-                       event->xselection.display,  // display
-                       win,                        // w
-                       event->xselection.property, // property
-                       0,                          // long_offset      
-                       0,                          // logn_length      
-                       False,                      // delete   
-                       XA_STRING,                  // req_type 
-                       &tmpatom,                   // actual_type_return
-                       &tmpint,                    // actual_format_return
-                       &ul1,
-                       &ul2,
-                       &uc                         // prop_return      
-                       ) != Success) {
-                       return strret;
-               }
-               if (uc) {
-                       free(uc);
-                       uc = 0;
-               }
-               if (XGetWindowProperty(
-                       event->xselection.display,             // display
-                       win,                        // w
-                       event->xselection.property, // property
-                       0,                          // long_offset
-                       ul2/4+1,                    // long_length
-                       True,                       // delete
-                       XA_STRING,                  // req_type
-                       &tmpatom,                   // actual_type_return
-                       &tmpint,                    // actual_format_return
-                       &ul1,                       // nitems_return
-                       &ul2,                       // bytes_after_return
-                       &uc                         // prop_return */
-                       ) != Success) {
-                       return strret;
-               }
-               if (uc) {
-                       strret = reinterpret_cast<char*>(uc);
-                       free(uc); // yes free!
-                       uc = 0;
+
+bool BufferView::insertInset(Inset * inset, string const & lout)
+{
+       return pimpl_->insertInset(inset, lout);
+}
+
+
+// This is also a buffer property (ale)
+// Not so sure about that. a goto Label function can not be buffer local, just
+// think how this will work in a multiwindow/buffer environment, all the
+// cursors in all the views showing this buffer will move. (Lgb)
+// OK, then no cursor action should be allowed in buffer. (ale)
+bool BufferView::gotoLabel(string const & label)
+{
+       for (Buffer::inset_iterator it = buffer()->inset_iterator_begin();
+            it != buffer()->inset_iterator_end(); ++it) {
+               vector<string> labels = it->getLabelList();
+               if (find(labels.begin(),labels.end(),label)
+                    != labels.end()) {
+                       beforeChange(text);
+                       text->setCursor(this, it.getPar(), it.getPos());
+                       text->selection.cursor = text->cursor;
+                       update(text, BufferView::SELECT|BufferView::FITCUR);
+                       return true;
                }
        }
-       return strret;
+       return false;
 }
 
 
-void BufferView::workAreaSelectionNotify(Window win, XEvent * event)
+void BufferView::undo()
 {
-       if (buffer_ == 0) return;
-
-       screen->HideCursor();
-       beforeChange();
-       string clb = fromClipboard(win, event);
-       if (!clb.empty()) {
-               if (!ascii_type)
-                       text->InsertStringA(clb);
-               else
-                       text->InsertStringB(clb);
+       if (!available())
+               return;
 
-               update(1);
-               
-       }
+       owner()->message(_("Undo"));
+       hideCursor();
+       beforeChange(text);
+       update(text, BufferView::SELECT|BufferView::FITCUR);
+       if (!textUndo(this))
+               owner()->message(_("No further undo information"));
+       else
+               update(text, BufferView::SELECT|BufferView::FITCUR|BufferView::CHANGE);
+       switchKeyMap();
 }
 
 
-void BufferView::cursorPrevious()
+void BufferView::redo()
 {
-       if (!text->cursor.row->previous) return;
-       
-       long y = screen->first;
-       Row * cursorrow = text->cursor.row;
-       text->SetCursorFromCoordinates(text->cursor.x_fix, y);
-       text->FinishUndo();
-       // This is to allow jumping over large insets
-       if ((cursorrow == text->cursor.row))
-               text->CursorUp();
-       
-       if (text->cursor.row->height < workarea->height())
-               screen->Draw(text->cursor.y
-                                 - text->cursor.row->baseline
-                                 + text->cursor.row->height
-                                 - workarea->height() + 1 );
+       if (!available())
+               return;
+
+       owner()->message(_("Redo"));
+       hideCursor();
+       beforeChange(text);
+       update(text, BufferView::SELECT|BufferView::FITCUR);
+       if (!textRedo(this))
+               owner()->message(_("No further redo information"));
+       else
+               update(text, BufferView::SELECT|BufferView::FITCUR|BufferView::CHANGE);
+       switchKeyMap();
 }
 
 
-void BufferView::cursorNext()
+void BufferView::copyEnvironment()
 {
-       if (!text->cursor.row->next) return;
-       
-       long y = screen->first;
-       text->GetRowNearY(y);
-       Row * cursorrow = text->cursor.row;
-       text->SetCursorFromCoordinates(text->cursor.x_fix, y
-                                      + workarea->height());
-       text->FinishUndo();
-       // This is to allow jumping over large insets
-       if ((cursorrow == text->cursor.row))
-               text->CursorDown();
-       
-       if (text->cursor.row->height < workarea->height())
-               screen->Draw(text->cursor.y
-                                 - text->cursor.row->baseline);
+       if (available()) {
+               text->copyEnvironmentType();
+               owner()->message(_("Paragraph environment type copied"));
+       }
 }
 
 
-bool BufferView::available() const
+void BufferView::pasteEnvironment()
 {
-       if (buffer_ && text) return true;
-       return false;
+       if (available()) {
+               text->pasteEnvironmentType(this);
+               owner()->message(_("Paragraph environment type set"));
+               update(text, BufferView::SELECT|BufferView::FITCUR|BufferView::CHANGE);
+       }
 }
 
 
-void BufferView::beforeChange()
+// these functions are for the spellchecker
+WordLangTuple const BufferView::nextWord(float & value)
 {
-       toggleSelection();
-       text->ClearSelection();
-       FreeUpdateTimer();
+       if (!available()) {
+               value = 1;
+               return WordLangTuple();
+       }
+
+       return text->selectNextWordToSpellcheck(this, value);
 }
 
 
-void BufferView::savePosition()
+void BufferView::selectLastWord()
 {
-       backstack.push(buffer()->fileName(),
-                      text->cursor.x,
-                      text->cursor.y);
+       if (!available())
+               return;
+
+       LyXCursor cur = text->selection.cursor;
+       hideCursor();
+       beforeChange(text);
+       text->selection.cursor = cur;
+       text->selectSelectedWord(this);
+       toggleSelection(false);
+       update(text, BufferView::SELECT|BufferView::FITCUR);
 }
 
 
-void BufferView::restorePosition()
+void BufferView::endOfSpellCheck()
 {
-       if (backstack.empty()) return;
-       
-       int  x, y;
-       string fname = backstack.pop(&x, &y);
-       
-       beforeChange();
-       Buffer * b = bufferlist.exists(fname) ?
-               bufferlist.getBuffer(fname) :
-               bufferlist.loadLyXFile(fname); // don't ask, just load it
-       buffer(b);
-       text->SetCursorFromCoordinates(x, y);
-       update(0);
-} 
+       if (!available()) return;
 
+       hideCursor();
+       beforeChange(text);
+       text->selectSelectedWord(this);
+       text->clearSelection();
+       update(text, BufferView::SELECT|BufferView::FITCUR);
+}
 
-void BufferView::update(signed char f)
+
+void BufferView::replaceWord(string const & replacestring)
 {
-       owner()->updateLayoutChoice();
+       if (!available())
+               return;
 
-       if (!text->selection && f > -3)
-               text->sel_cursor = text->cursor;
-       
-       FreeUpdateTimer();
-       text->FullRebreak();
+       LyXText * tt = getLyXText();
+       hideCursor();
+       update(tt, BufferView::SELECT|BufferView::FITCUR);
 
-       update();
+       // clear the selection (if there is any)
+       toggleSelection(false);
+       update(tt, BufferView::SELECT|BufferView::FITCUR);
 
-       if (f != 3 && f != -3) {
-               fitCursor();
-               updateScrollbar();
-       }
+       // clear the selection (if there is any)
+       toggleSelection(false);
+       tt->replaceSelectionWithString(this, replacestring);
 
-       if (f == 1 || f == -1) {
-               if (buffer()->isLyxClean()) {
-                       buffer()->markDirty();
-                       owner()->getMiniBuffer()->setTimer(4);
-               } else {
-                       buffer()->markDirty();
-               }
+       tt->setSelectionRange(this, replacestring.length());
+
+       // Go back so that replacement string is also spellchecked
+       for (string::size_type i = 0; i < replacestring.length() + 1; ++i) {
+               tt->cursorLeft(this);
        }
+       update(tt, BufferView::SELECT|BufferView::FITCUR|BufferView::CHANGE);
 }
+// End of spellchecker stuff
 
 
-void BufferView::smallUpdate(signed char f)
+bool BufferView::lockInset(UpdatableInset * inset)
 {
-       screen->SmallUpdate();
-       if (screen->TopCursorVisible()
-           != screen->first) {
-               update(f);
-               return;
+       if (!inset)
+               return false;
+       // don't relock if we're already locked
+       if (theLockingInset() == inset)
+               return true;
+       if (!theLockingInset()) {
+               // first check if it's the inset under the cursor we want lock
+               // should be most of the time
+               char const c = text->cursor.par()->getChar(text->cursor.pos());
+               if (c == Paragraph::META_INSET) {
+                       Inset * in = text->cursor.par()->getInset(text->cursor.pos());
+                       if (inset == in) {
+                               theLockingInset(inset);
+                               return true;
+                       }
+               }
+               // Then do a deep look of the inset and lock the right one
+               int const id = inset->id();
+               ParagraphList::iterator pit = buffer()->paragraphs.begin();
+               ParagraphList::iterator pend = buffer()->paragraphs.end();
+               for (; pit != pend; ++pit) {
+                       InsetList::iterator it = pit->insetlist.begin();
+                       InsetList::iterator end = pit->insetlist.end();
+                       for (; it != end; ++it) {
+                               if (it.getInset() == inset) {
+                                       text->setCursorIntern(this, &*pit, it.getPos());
+                                       theLockingInset(inset);
+                                       return true;
+                               }
+                               if (it.getInset()->getInsetFromID(id)) {
+                                       text->setCursorIntern(this, &*pit, it.getPos());
+                                       it.getInset()->edit(this);
+                                       return theLockingInset()->lockInsetInInset(this, inset);
+                               }
+                       }
+               }
+               return false;
        }
+       return theLockingInset()->lockInsetInInset(this, inset);
+}
 
-       fitCursor();
-       updateScrollbar();
 
-       if (!text->selection)
-               text->sel_cursor = text->cursor;
+void BufferView::showLockedInsetCursor(int x, int y, int asc, int desc)
+{
+       if (available() && theLockingInset() && !theLockingInset()->nodraw()) {
+               LyXCursor cursor = text->cursor;
+               Inset * locking_inset = theLockingInset()->getLockingInset();
 
-       if (f == 1 || f == -1) {
-               if (buffer()->isLyxClean()) {
-                       buffer()->markDirty();
-                       owner()->getMiniBuffer()->setTimer(4);
-               } else {
-                       buffer()->markDirty();
-               }
+               if ((cursor.pos() - 1 >= 0) &&
+                   cursor.par()->isInset(cursor.pos() - 1) &&
+                   (cursor.par()->getInset(cursor.pos() - 1) ==
+                    locking_inset))
+                       text->setCursor(this, cursor,
+                                       cursor.par(), cursor.pos() - 1);
+               LyXScreen::Cursor_Shape shape = LyXScreen::BAR_SHAPE;
+               LyXText * txt = getLyXText();
+               if (locking_inset->isTextInset() &&
+                   locking_inset->lyxCode() != Inset::ERT_CODE &&
+                   (txt->real_current_font.language() !=
+                    buffer()->params.language
+                    || txt->real_current_font.isVisibleRightToLeft()
+                    != buffer()->params.language->RightToLeft()))
+                       shape = (txt->real_current_font.isVisibleRightToLeft())
+                               ? LyXScreen::REVERSED_L_SHAPE
+                               : LyXScreen::L_SHAPE;
+               y += cursor.iy() + theLockingInset()->insetInInsetY();
+               screen().showManualCursor(text, x, y, asc, desc,
+                                                 shape);
        }
 }
 
 
-void BufferView::setState()
+void BufferView::hideLockedInsetCursor()
 {
-       if (!lyxrc.rtl_support)
-               return;
-
-       if (text->real_current_font.isVisibleRightToLeft()) {
-               if (owner_->getIntl()->primarykeymap)
-                       owner_->getIntl()->KeyMapSec();
-       } else {
-               if (!owner_->getIntl()->primarykeymap)
-                       owner_->getIntl()->KeyMapPrim();
+       if (theLockingInset() && available()) {
+               screen().hideCursor();
        }
 }
 
 
-void BufferView::insetSleep()
+bool BufferView::fitLockedInsetCursor(int x, int y, int asc, int desc)
 {
-       if (the_locking_inset && !inset_slept) {
-               the_locking_inset->GetCursorPos(slx, sly);
-               the_locking_inset->InsetUnlock(this);
-               inset_slept = true;
+       if (theLockingInset() && available()) {
+               y += text->cursor.iy() + theLockingInset()->insetInInsetY();
+               if (screen().fitManualCursor(this, text, x, y, asc, desc)) {
+                       updateScrollbar();
+                       return true;
+               }
        }
+       return false;
 }
 
 
-void BufferView::insetWakeup()
+int BufferView::unlockInset(UpdatableInset * inset)
 {
-       if (the_locking_inset && inset_slept) {
-               the_locking_inset->Edit(this, slx, sly, 0);
-               inset_slept = false;
+       if (!inset)
+               return 0;
+       if (inset && theLockingInset() == inset) {
+               inset->insetUnlock(this);
+               theLockingInset(0);
+               // make sure we update the combo !
+               owner()->setLayout(getLyXText()->cursor.par()->layout()->name());
+               // Tell the paragraph dialog that we changed paragraph
+               owner()->getDialogs().updateParagraph();
+               finishUndo();
+               return 0;
+       } else if (inset && theLockingInset() &&
+                  theLockingInset()->unlockInsetInInset(this, inset)) {
+               // Tell the paragraph dialog that we changed paragraph
+               owner()->getDialogs().updateParagraph();
+               // owner inset has updated the layout combo
+               finishUndo();
+               return 0;
        }
+       return bufferlist.unlockInset(inset);
 }
 
 
-void BufferView::insetUnlock()
+void BufferView::lockedInsetStoreUndo(Undo::undo_kind kind)
 {
-       if (the_locking_inset) {
-               if (!inset_slept) the_locking_inset->InsetUnlock(this);
-               the_locking_inset = 0;
-               text->FinishUndo();
-               inset_slept = false;
-       }
+       if (!theLockingInset())
+               return; // shouldn't happen
+       if (kind == Undo::EDIT) // in this case insets would not be stored!
+               kind = Undo::FINISH;
+       setUndo(this, kind,
+               text->cursor.par(),
+               text->cursor.par()->next());
 }
 
 
-bool BufferView::focus() const
+void BufferView::updateInset(Inset * inset, bool mark_dirty)
 {
-       return workarea->hasFocus();
+       pimpl_->updateInset(inset, mark_dirty);
 }
 
 
-void BufferView::focus(bool f)
+bool BufferView::ChangeInsets(Inset::Code code,
+                             string const & from, string const & to)
 {
-       if (f) workarea->setFocus();
+       bool need_update = false;
+       LyXCursor cursor = text->cursor;
+       LyXCursor tmpcursor = cursor;
+       cursor.par(tmpcursor.par());
+       cursor.pos(tmpcursor.pos());
+
+       ParIterator end = buffer()->par_iterator_end();
+       for (ParIterator it = buffer()->par_iterator_begin();
+            it != end; ++it) {
+               Paragraph * par = *it;
+               bool changed_inset = false;
+               for (InsetList::iterator it2 = par->insetlist.begin();
+                    it2 != par->insetlist.end(); ++it2) {
+                       if (it2.getInset()->lyxCode() == code) {
+                               InsetCommand * inset = static_cast<InsetCommand *>(it2.getInset());
+                               if (inset->getContents() == from) {
+                                       inset->setContents(to);
+                                       changed_inset = true;
+                               }
+                       }
+               }
+               if (changed_inset) {
+                       need_update = true;
+
+                       // FIXME
+
+                       // The test it.size()==1 was needed to prevent crashes.
+                       // How to set the cursor corretly when it.size()>1 ??
+                       if (it.size() == 1) {
+                               text->setCursorIntern(this, par, 0);
+                               text->redoParagraphs(this, text->cursor,
+                                                    text->cursor.par()->next());
+                               text->fullRebreak(this);
+                       }
+               }
+       }
+       text->setCursorIntern(this, cursor.par(), cursor.pos());
+       return need_update;
+}
+
+
+bool BufferView::ChangeRefsIfUnique(string const & from, string const & to)
+{
+       // Check if the label 'from' appears more than once
+       vector<string> labels = buffer()->getLabelList();
+
+       if (lyx::count(labels.begin(), labels.end(), from) > 1)
+               return false;
+
+       return ChangeInsets(Inset::REF_CODE, from, to);
 }
 
 
-bool BufferView::active() const
+bool BufferView::ChangeCitationsIfUnique(string const & from,
+                                        string const & to)
 {
-       return workarea->active();
+       typedef pair<string, string> StringPair;
+
+       vector<StringPair> keys = buffer()->getBibkeyList();
+       if (count_if(keys.begin(), keys.end(),
+                    lyx::equal_1st_in_pair<StringPair>(from))
+           > 1)
+               return false;
+
+       return ChangeInsets(Inset::CITE_CODE, from, to);
 }
 
 
-Painter & BufferView::getPainter() const
+UpdatableInset * BufferView::theLockingInset() const
 {
-    return workarea->getPainter();
+       // If NULL is not allowed we should put an Assert here. (Lgb)
+       if (text)
+               return text->the_locking_inset;
+       return 0;
 }
 
 
-unsigned short BufferView::paperWidth() const
+void BufferView::theLockingInset(UpdatableInset * inset)
 {
-    return text->paperWidth();
+       text->the_locking_inset = inset;
 }
 
 
-bool BufferView::belowMouse() const 
+LyXText * BufferView::getLyXText() const
 {
-       return workarea->belowMouse();
+       if (theLockingInset()) {
+               LyXText * txt = theLockingInset()->getLyXText(this, true);
+               if (txt)
+                       return txt;
+       }
+       return text;
 }
 
 
-void BufferView::showCursor()
+LyXText * BufferView::getParentText(Inset * inset) const
 {
-       if (screen)
-               screen->ShowCursor();
+       if (inset->owner()) {
+               LyXText * txt = inset->getLyXText(this);
+               inset = inset->owner();
+               while (inset && inset->getLyXText(this) == txt)
+                       inset = inset->owner();
+               if (inset)
+                       return inset->getLyXText(this);
+       }
+       return text;
 }
 
 
-void BufferView::hideCursor()
+Language const * BufferView::getParentLanguage(Inset * inset) const
 {
-       if (screen)
-               screen->HideCursor();
+       LyXText * text = getParentText(inset);
+       return text->cursor.par()->getFontSettings(buffer()->params,
+                                                  text->cursor.pos()).language();
 }
 
 
-void BufferView::toggleSelection(bool b)
+Encoding const * BufferView::getEncoding() const
 {
-       if (screen)
-               screen->ToggleSelection(b);
+       LyXText * t = getLyXText();
+       if (!t)
+               return 0;
+
+       LyXCursor const & c= t->cursor;
+       LyXFont const font = c.par()->getFont(buffer()->params, c.pos());
+       return font.language()->encoding();
 }
 
 
-void BufferView::toggleToggle()
+void BufferView::haveSelection(bool sel)
 {
-       if (screen)
-               screen->ToggleToggle();
+       pimpl_->workarea().haveSelection(sel);
 }
 
 
-void BufferView::center() 
+int BufferView::workHeight() const
 {
-       beforeChange();
-       if (text->cursor.y > workarea->height() / 2) {
-               screen->Draw(text->cursor.y - workarea->height() / 2);
-       } else {
-               screen->Draw(0);
-       }
-       update(0);
-       redraw();
+       return pimpl_->workarea().workHeight();
 }