home *** CD-ROM | disk | FTP | other *** search
/ Dream 52 / Amiga_Dream_52.iso / Linux / Divers / lyx-0.13.2.tar.gz / lyx-0.13.2.tar / lyx-0.13.2 / src / BufferView.C < prev    next >
C/C++ Source or Header  |  1998-04-23  |  36KB  |  1,419 lines
  1. // -*- C++ -*-
  2. /* This file is part of
  3. * ======================================================
  4. * 
  5. *           LyX, The Document Processor
  6. *        
  7. *           Copyright (C) 1995 Matthias Ettrich
  8. *           Copyright (C) 1995-1998 The LyX Team.
  9. *
  10. *======================================================*/
  11.  
  12. #include <config.h>
  13.  
  14. #include <stdlib.h>
  15.  
  16. #ifdef __GNUG__
  17. #pragma implementation
  18. #endif
  19.  
  20. #include "commandtags.h"
  21. #include "BufferView.h"
  22. #include "bufferlist.h"
  23. #include "LyXView.h"
  24. #include "lyxfunc.h"
  25. #include "minibuffer.h"
  26. #include "lyxscreen.h"
  27. #include "up.xpm"
  28. #include "down.xpm"
  29. #include "error.h"
  30. #include "lyxdraw.h"
  31. #include "lyx_gui_misc.h"
  32. #include "BackStack.h"
  33. #include "lyxtext.h"
  34. #include "lyx_cb.h"
  35. #include "gettext.h"
  36.  
  37. //     $Id: BufferView.C,v 1.1.1.1 1998/04/23 16:02:46 larsbj Exp $    
  38.  
  39. #if !defined(lint) && !defined(WITH_WARNINGS)
  40. static char vcid[] = "$Id: BufferView.C,v 1.1.1.1 1998/04/23 16:02:46 larsbj Exp $";
  41. #endif /* lint */
  42.  
  43. extern BufferList bufferlist;
  44.  
  45. extern void SetXtermCursor(Window win);
  46. extern bool input_prohibited;
  47. extern bool selection_possible;
  48. extern void BeforeChange();
  49. extern char ascii_type;
  50. extern int UnlockInset(UpdatableInset* inset);
  51. extern void ToggleFloat();
  52. extern void MenuPasteSelection(char at);
  53. extern InsetUpdateStruct *InsetUpdateList;
  54. extern void UpdateInsetUpdateList();
  55.  
  56. // This is _very_ temporary
  57. FL_OBJECT *figinset_canvas;
  58.  
  59. BufferView::BufferView(LyXView *o, int xpos, int ypos,
  60.                int width, int height)
  61.     : _owner(o)
  62. {
  63.     _buffer = 0;
  64.     
  65.     screen = 0;
  66.     work_area = 0;
  67.     figinset_canvas = 0;
  68.     scrollbar = 0;
  69.     button_down = 0;
  70.     button_up = 0;
  71.     timer_cursor = 0;
  72.     current_scrollbar_value = 0;
  73.     create_view(xpos, ypos, width, height);
  74.     // Activate the timer for the cursor 
  75.     fl_set_timer(timer_cursor, 0.4);
  76.     fl_set_focus_object(_owner->getForm(), work_area);
  77.     work_area_focus = true;
  78.     lyx_focus = false;
  79.         backstack = new BackStack(16);
  80. }
  81.  
  82.  
  83. BufferView::~BufferView()
  84. {
  85.     delete backstack;
  86. }   
  87.  
  88.  
  89. void BufferView::setBuffer(Buffer *b)
  90. {
  91.     lyxerr.debug("Setting buffer in BufferView");
  92.     if (_buffer)
  93.         _buffer->delUser(this);
  94.  
  95.     // Set current buffer
  96.     _buffer = b;
  97.  
  98.     if (bufferlist.getState() == BufferList::CLOSING) return;
  99.     
  100.     // Nuke old image
  101.     if (screen)
  102.         delete screen;
  103.     screen = 0;
  104.  
  105.     // If we are closing the buffer, use the first buffer as current
  106.     if (!_buffer) {
  107.         _buffer = bufferlist.first();
  108.     }
  109.  
  110.     if (_buffer) {
  111.         lyxerr.debug(LString("  Buffer addr: ") + PTR_AS_INT(_buffer));
  112.         _buffer->addUser(this);
  113.         _owner->getMenus()->showMenus();
  114.         // If we don't have a text object for this, we make one
  115.         if (_buffer->text == 0)
  116.             resizeCurrentBuffer();
  117.         else {
  118.             updateScreen();
  119.             updateScrollbar();
  120.         }
  121.         _owner->updateLayoutChoice();
  122.         screen->first = screen->TopCursorVisible();
  123.         redraw();
  124.         updateAllVisibleBufferRelatedPopups();
  125.     } else {
  126.         lyxerr.debug("  No Buffer!");
  127.         _owner->getMenus()->hideMenus();
  128.         //workAreaExpose();
  129.         updateScrollbar();
  130.         fl_redraw_object(work_area);
  131.     }
  132.     _owner->getMiniBuffer()->Init();
  133.     _owner->updateWindowTitle();
  134. }
  135.  
  136.  
  137. void BufferView::updateScreen()
  138. {
  139.     // Regenerated the screen.
  140.     if (screen)
  141.         delete screen;
  142.     screen = new LyXScreen(FL_ObjWin(work_area),
  143.                    work_area->w,
  144.                    work_area->h,
  145.                    work_area->x,
  146.                    work_area->y,
  147.                    _buffer->text);
  148. }
  149.  
  150.  
  151. void BufferView::resize()
  152. {
  153.     // This will resize the buffer. (Asger)
  154.     if (_buffer)
  155.         resizeCurrentBuffer();
  156. }
  157.  
  158.  
  159. void BufferView::redraw()
  160. {
  161.     lyxerr.debug("BufferView::redraw()");
  162.     fl_redraw_object(work_area);
  163.     fl_redraw_object(scrollbar);
  164.     fl_redraw_object(button_down);
  165.     fl_redraw_object(button_up);
  166. }
  167.  
  168.  
  169. void BufferView::fitCursor()
  170. {
  171.     if (screen) screen->FitCursor();
  172. }
  173.  
  174.  
  175. void BufferView::update()
  176. {
  177.     if (screen) screen->Update();
  178. }
  179.  
  180.  
  181. void BufferView::updateScrollbar()
  182. {
  183.     /* If the text is smaller than the working area, the scrollbar
  184.      * maximum must be the working area height. No scrolling will 
  185.      * be possible */
  186.  
  187.     if (!_buffer) {
  188.         fl_set_slider_value(scrollbar, 0);
  189.         fl_set_slider_size(scrollbar, scrollbar->h);
  190.         return;
  191.     }
  192.     
  193.     static long max2 = 0;
  194.     static long height2 = 0;
  195.  
  196.     long cbth = 0;
  197.     long cbsf = 0;
  198.  
  199.     if (_buffer->text)
  200.         cbth = _buffer->text->height;
  201.     if (screen)
  202.         cbsf = screen->first;
  203.  
  204.     // check if anything has changed.
  205.     if (max2 == cbth &&
  206.         height2 == work_area->h &&
  207.         current_scrollbar_value == cbsf)
  208.         return;          // no
  209.     
  210.     max2 = cbth;
  211.     height2 = work_area->h;
  212.     current_scrollbar_value = cbsf;
  213.  
  214.     if (cbth <= height2) { // text is smaller than screen
  215.         fl_set_slider_size(scrollbar, scrollbar->h);
  216.         return;
  217.     }
  218.     
  219.     long maximum_height = work_area->h * 3/4 + cbth;
  220.     long value = cbsf;
  221.  
  222.     /* set the scrollbar */
  223.     double hfloat = work_area->h;
  224.     double maxfloat = maximum_height;
  225.    
  226.     fl_set_slider_value(scrollbar, value);
  227.     fl_set_slider_bounds(scrollbar, 0,
  228.                  maximum_height - work_area->h);
  229.     double lineh = _buffer->text->DefaultHeight();
  230.     fl_set_slider_increment(scrollbar,work_area->h-lineh,lineh);
  231.     if (maxfloat>0){
  232.         if ((hfloat/maxfloat) * (float) height2 < 3)
  233.             fl_set_slider_size(scrollbar,
  234.                        3/(float)height2);
  235.         else
  236.             fl_set_slider_size(scrollbar,
  237.                        hfloat/maxfloat);
  238.     } else
  239.         fl_set_slider_size(scrollbar, hfloat);
  240.     fl_set_slider_precision(scrollbar, 0);
  241. }
  242.  
  243.  
  244. void BufferView::redoCurrentBuffer()
  245. {
  246.     lyxerr.debug("BufferView::redoCurrentBuffer");
  247.     if (_buffer && _buffer->text) {
  248.         resize();
  249.         _owner->updateLayoutChoice();
  250.     }
  251. }
  252.  
  253.  
  254. int BufferView::resizeCurrentBuffer()
  255. {
  256.     lyxerr.debug("resizeCurrentBuffer");
  257.     
  258.     LyXParagraph *par = 0;
  259.     LyXParagraph *selstartpar = 0;
  260.     LyXParagraph *selendpar = 0;
  261.     int pos = 0;
  262.     int selstartpos = 0;
  263.     int selendpos = 0;
  264.     int selection = 0;
  265.     int mark_set = 0;
  266.  
  267.     ProhibitInput();
  268.  
  269.     _owner->getMiniBuffer()->Set(_("Formatting document..."));   
  270.  
  271.     if (_buffer->text) {
  272.         par = _buffer->text->cursor.par;
  273.         pos = _buffer->text->cursor.pos;
  274.         selstartpar = _buffer->text->sel_start_cursor.par;
  275.         selstartpos = _buffer->text->sel_start_cursor.pos;
  276.         selendpar = _buffer->text->sel_end_cursor.par;
  277.         selendpos = _buffer->text->sel_end_cursor.pos;
  278.         selection = _buffer->text->selection;
  279.         mark_set = _buffer->text->mark_set;
  280.         delete _buffer->text;
  281.     }
  282.     _buffer->text = new LyXText(work_area->w, _buffer);
  283.  
  284.     updateScreen();
  285.    
  286.     if (par) {
  287.         _buffer->text->selection = true;
  288.         /* at this point just
  289.          * to avoid the Delete-
  290.          * Empty-Paragraph
  291.          * Mechanism when
  292.          * setting the cursor */
  293.         _buffer->text->mark_set = mark_set;
  294.         if (selection) {
  295.             _buffer->text->SetCursor(selstartpar,
  296.                                    selstartpos);
  297.             _buffer->text->sel_cursor = _buffer->text->cursor;
  298.             _buffer->text->SetCursor(selendpar,
  299.                                    selendpos);
  300.             _buffer->text->SetSelection();
  301.             _buffer->text->SetCursor(par, pos);
  302.         } else {
  303.             _buffer->text->SetCursor(par, pos);
  304.             _buffer->text->sel_cursor = _buffer->text->cursor;
  305.             _buffer->text->selection = false;
  306.         }
  307.     }
  308.     screen->first = screen->TopCursorVisible(); /* this will scroll the
  309.                              * screen such that the
  310.                              * cursor becomes
  311.                              * visible */ 
  312.     updateScrollbar();
  313.     redraw();
  314.     _owner->getMiniBuffer()->Init();
  315.     AllowInput();
  316.  
  317.     // Now if the title form still exist kill it
  318.     TimerCB(0,0);
  319.  
  320.     return 0;
  321. }
  322.  
  323.  
  324. void BufferView::gotoError()
  325. {
  326.     if (!screen)
  327.         return;
  328.    
  329.     screen->HideCursor();
  330.     BeforeChange();
  331.     _buffer->update(-2);
  332.     LyXCursor tmp;
  333.    
  334.     if (!_buffer->text->GotoNextError()) {
  335.         if (_buffer->text->cursor.pos 
  336.             || _buffer->text->cursor.par !=
  337.             _buffer->text->FirstParagraph()) {
  338.             tmp = _buffer->text->cursor;
  339.             _buffer->text->cursor.par =
  340.                 _buffer->text->FirstParagraph();
  341.             _buffer->text->cursor.pos = 0;
  342.             if (!_buffer->text->GotoNextError()) {
  343.                 _buffer->text->cursor = tmp;
  344.                 _owner->getMiniBuffer()->Set(_("No more errors"));
  345.                 LyXBell();
  346.             }
  347.         } else {
  348.             _owner->getMiniBuffer()->Set(_("No more errors"));
  349.             LyXBell();
  350.         }
  351.     }
  352.     _buffer->update(0);
  353.     _buffer->text->sel_cursor =
  354.         _buffer->text->cursor;
  355. }
  356.  
  357.  
  358. void BufferView::create_view(int xpos, int ypos, int width, int height)
  359. {
  360.     FL_OBJECT *obj;
  361.     const int bw = abs(fl_get_border_width());
  362.  
  363.     // a hack for the figinsets (Matthias)
  364.     // This one first, then it will probably be invisible. (Lgb)
  365.     ::figinset_canvas = figinset_canvas = obj =
  366.         fl_add_canvas(FL_NORMAL_CANVAS,
  367.                   xpos + 1,
  368.                   ypos + 1,1,1,"");
  369.     fl_set_object_boxtype(obj,FL_NO_BOX);
  370.     fl_set_object_resize(obj, FL_RESIZE_ALL);
  371.     fl_set_object_gravity(obj, NorthWestGravity, NorthWestGravity);
  372.  
  373.     // a box
  374.     obj = fl_add_box(FL_BORDER_BOX, xpos, ypos,
  375.              width - 15,
  376.              height,"");
  377.     fl_set_object_resize(obj, FL_RESIZE_ALL);
  378.     fl_set_object_gravity(obj, NorthWestGravity, SouthEastGravity);
  379.  
  380.     // the free object
  381.     work_area = obj = fl_add_free(FL_INPUT_FREE,
  382.                       xpos +bw, ypos+bw,
  383.                       width-15-2*bw /* scrollbarwidth */,
  384.                       height-2*bw,"",
  385.                       work_area_handler);
  386.     obj->wantkey = FL_KEY_TAB;
  387.     obj->u_vdata = (void*) this; /* This is how we pass the BufferView
  388.                        to the work_area_handler. */
  389.     fl_set_object_boxtype(obj,FL_DOWN_BOX);
  390.     fl_set_object_resize(obj, FL_RESIZE_ALL);
  391.     fl_set_object_gravity(obj, NorthWestGravity, SouthEastGravity);
  392.  
  393.     //
  394.     // THE SCROLLBAR
  395.     //
  396.  
  397.     // up - scrollbar button
  398.     fl_set_border_width(-1);
  399.  
  400.     button_up = obj = fl_add_pixmapbutton(FL_TOUCH_BUTTON,
  401.                           width-15+4*bw,
  402.                           ypos,
  403.                           15,15,"");
  404.     fl_set_object_boxtype(obj,FL_UP_BOX);
  405.     fl_set_object_color(obj,FL_MCOL,FL_BLUE);
  406.     fl_set_object_resize(obj, FL_RESIZE_ALL);
  407.     fl_set_object_gravity(obj,NorthEastGravity, NorthEastGravity);
  408.     fl_set_object_callback(obj,UpCB,(long)this);
  409.     fl_set_pixmapbutton_data(obj, up_xpm);
  410.  
  411.     // Remove the blue feedback rectangle
  412.     fl_set_pixmapbutton_focus_outline(obj,0);
  413.  
  414.     // the scrollbar slider
  415.     fl_set_border_width(-bw);
  416.     scrollbar = obj = fl_add_slider(FL_VERT_SLIDER,
  417.                     width-15+4*bw,
  418.                     ypos + 15,
  419.                     15,height-30,"");
  420.     fl_set_object_color(obj,FL_COL1,FL_MCOL);
  421.     fl_set_object_boxtype(obj, FL_UP_BOX);
  422.     fl_set_object_resize(obj, FL_RESIZE_ALL);
  423.     fl_set_object_gravity(obj, NorthEastGravity, SouthEastGravity);
  424.     fl_set_object_callback(obj,ScrollCB,(long)this);
  425.     
  426.     // down - scrollbar button
  427.     fl_set_border_width(-1);
  428.  
  429.     button_down = obj = fl_add_pixmapbutton(FL_TOUCH_BUTTON,
  430.                               width-15+4*bw,
  431.                               ypos + height-15,
  432.                               15,15,"");
  433.     fl_set_object_boxtype(obj,FL_UP_BOX);
  434.     fl_set_object_color(obj,FL_MCOL,FL_BLUE);
  435.     fl_set_object_resize(obj, FL_RESIZE_ALL);
  436.     fl_set_object_gravity(obj, SouthEastGravity, SouthEastGravity);
  437.     fl_set_object_callback(obj,DownCB,(long)this);
  438.     fl_set_pixmapbutton_data(obj, down_xpm);
  439.     fl_set_border_width(-bw);
  440.  
  441.     // Remove the blue feedback rectangle
  442.     fl_set_pixmapbutton_focus_outline(obj,0);
  443.  
  444.     //
  445.     // TIMERS
  446.     //
  447.     
  448.     // timer_cursor
  449.     timer_cursor = obj = fl_add_timer(FL_HIDDEN_TIMER,
  450.                       0,0,0,0,"Timer");
  451.     fl_set_object_callback(obj,CursorToggleCB,0);
  452.     obj->u_vdata = (void*) this;
  453. }
  454.  
  455.  
  456. // Callback for scrollbar up button
  457. void BufferView::UpCB(FL_OBJECT *ob, long buf)
  458. {
  459.     BufferView *view = (BufferView*) buf;
  460.     
  461.     if (view->_buffer == 0) return;
  462.  
  463.     const XEvent*ev2;
  464.     static long time = 0;
  465.     ev2 = fl_last_event();
  466.     if (ev2->type == ButtonPress || ev2->type == ButtonRelease) 
  467.         time = 0;
  468.     int button = fl_get_button_numb(ob);
  469.     switch (button) {
  470.     case 3:
  471.         view->ScrollUpOnePage(time++); break;
  472.     case 2:
  473.         view->ScrollDownOnePage(time++); break;
  474.     default:
  475.         view->ScrollUp(time++); break;
  476.     }
  477. }
  478.  
  479.  
  480. static
  481. void waitForX()
  482. {
  483.     static Window w = 0;
  484.     static Atom a = 0;
  485.     if (!a)
  486.         a = XInternAtom(fl_display, "WAIT_FOR_X", False);
  487.     if (w == 0) {
  488.         int mask;
  489.         XSetWindowAttributes attr;
  490.         mask = CWOverrideRedirect;
  491.         attr.override_redirect = 1;
  492.         w = XCreateWindow(fl_display, fl_root,
  493.                   0, 0, 1, 1, 0, CopyFromParent,
  494.                   InputOnly, CopyFromParent, mask, &attr);
  495.         XSelectInput(fl_display, w, 
  496.                  PropertyChangeMask);
  497.         XMapWindow(fl_display, w);
  498.     }
  499.     static XEvent ev;
  500.     XChangeProperty(fl_display, w, a, a, 8,
  501.             PropModeAppend, (unsigned char *)"", 0);
  502.     XWindowEvent(fl_display, w, PropertyChangeMask, &ev);
  503. }
  504.  
  505.  
  506. // Callback for scrollbar slider
  507. void BufferView::ScrollCB(FL_OBJECT *ob, long buf)
  508. {
  509.     BufferView *view = (BufferView*) buf;
  510.     extern bool cursor_follows_scrollbar;
  511.     
  512.     if (view->_buffer == 0) return;
  513.  
  514.     view->current_scrollbar_value = (long)fl_get_slider_value(ob);
  515.     if (view->current_scrollbar_value < 0)
  516.         view->current_scrollbar_value = 0;
  517.    
  518.     if (!view->screen)
  519.         return;
  520.  
  521.     view->screen->Draw(view->current_scrollbar_value);
  522.  
  523.     if (cursor_follows_scrollbar) {
  524.         LyXText * vbt = view->_buffer->text;
  525.         int height = vbt->DefaultHeight();
  526.         
  527.         if (vbt->cursor.y < view->screen->first + height) {
  528.             vbt->SetCursorFromCoordinates(0,
  529.                               view->screen->first +
  530.                               height);
  531.         }
  532.         else if (vbt->cursor.y >
  533.              view->screen->first + view->work_area->h - height) {
  534.             vbt->SetCursorFromCoordinates(0,
  535.                               view->screen->first +
  536.                               view->work_area->h  -
  537.                               height);
  538.         }
  539.     }
  540.     waitForX();
  541. }
  542.  
  543.  
  544. // Callback for scrollbar down button
  545. void BufferView::DownCB(FL_OBJECT *ob, long buf)
  546. {
  547.     BufferView *view = (BufferView*) buf;
  548.  
  549.     if (view->_buffer == 0) return;
  550.     
  551.     const XEvent*ev2;
  552.     static long time = 0;
  553.     ev2 = fl_last_event();
  554.     if (ev2->type == ButtonPress || ev2->type == ButtonRelease) 
  555.         time = 0;
  556.     int button = fl_get_button_numb(ob);
  557.     switch (button) {
  558.     case 2:
  559.         view->ScrollUpOnePage(time++); break;
  560.     case 3:
  561.         view->ScrollDownOnePage(time++); break;
  562.     default:
  563.         view->ScrollDown(time++); break;
  564.     }
  565. }
  566.  
  567.  
  568. int BufferView::ScrollUp(long time)
  569. {
  570.     if (_buffer == 0) return 0;
  571.     if (!screen)
  572.         return 0;
  573.    
  574.     double value= fl_get_slider_value(scrollbar);
  575.    
  576.     if (value == 0)
  577.         return 0;
  578.    
  579.     float add_value =  (_buffer->text->DefaultHeight()
  580.                 + (float)(time) * (float)(time) * 0.125);
  581.    
  582.     if (add_value > work_area->h)
  583.         add_value = (float) (work_area->h -
  584.                      _buffer->text->DefaultHeight());
  585.    
  586.     value -= add_value;
  587.  
  588.     if (value < 0)
  589.         value = 0;
  590.    
  591.     fl_set_slider_value(scrollbar, value);
  592.    
  593.     ScrollCB(scrollbar,(long)this); 
  594.     return 0;
  595. }
  596.  
  597.  
  598. int BufferView::ScrollDown(long time)
  599. {
  600.     if (_buffer == 0) return 0;
  601.     if (!screen)
  602.         return 0;
  603.    
  604.     double value= fl_get_slider_value(scrollbar);
  605.     double min, max;
  606.     fl_get_slider_bounds(scrollbar, &min, &max);
  607.  
  608.     if (value == max)
  609.         return 0;
  610.    
  611.     float add_value =  (_buffer->text->DefaultHeight()
  612.                 + (float)(time) * (float)(time) * 0.125);
  613.    
  614.     if (add_value > work_area->h)
  615.         add_value = (float) (work_area->h -
  616.                      _buffer->text->DefaultHeight());
  617.    
  618.     value += add_value;
  619.    
  620.     if (value > max)
  621.         value = max;
  622.    
  623.     fl_set_slider_value(scrollbar, value);
  624.    
  625.     ScrollCB(scrollbar,(long)this); 
  626.     return 0;
  627. }
  628.  
  629.  
  630. void BufferView::ScrollUpOnePage(long /*time*/)
  631. {
  632.     if (_buffer == 0) return;
  633.     if (!screen)
  634.         return;
  635.    
  636.     long y = screen->first;
  637.  
  638.     if (!y) return;
  639.    
  640.     Row* row = _buffer->text->GetRowNearY(y);
  641.     y = y - work_area->h + row->height;
  642.     
  643.     fl_set_slider_value(scrollbar, y);
  644.    
  645.     ScrollCB(scrollbar,(long)this); 
  646. }
  647.  
  648.  
  649. void BufferView::ScrollDownOnePage(long /*time*/)
  650. {
  651.     if (_buffer == 0) return;
  652.     if (!screen)
  653.         return;
  654.    
  655.     double min, max;
  656.     fl_get_slider_bounds(scrollbar, &min, &max);
  657.     long y = screen->first;
  658.    
  659.     if (y > _buffer->text->height - work_area->h)
  660.         return;
  661.    
  662.     y += work_area->h;
  663.     _buffer->text->GetRowNearY(y);
  664.     
  665.     fl_set_slider_value(scrollbar, y);
  666.    
  667.     ScrollCB(scrollbar,(long)this); 
  668. }
  669.  
  670.  
  671. int BufferView::work_area_handler(FL_OBJECT * ob, int event,
  672.                   FL_Coord, FL_Coord ,
  673.                   int /*key*/, void *xev)
  674. {
  675.     static int x_old = -1;
  676.     static int y_old = -1;
  677.     static long scrollbar_value_old = -1;
  678.     
  679.     XEvent* ev = (XEvent*) xev;
  680.     BufferView *view = (BufferView*) ob->u_vdata;
  681.  
  682.     // If we don't have a view yet; return
  683.     if (!view || quitting) return 0;
  684.  
  685.     switch (event){   
  686.     case FL_DRAW:
  687.         view->workAreaExpose(); 
  688.         break;
  689.     case FL_PUSH:
  690.         view->WorkAreaButtonPress(ob, 0,0,0,ev,0);
  691.         break; 
  692.     case FL_RELEASE:
  693.         view->WorkAreaButtonRelease(ob, 0,0,0,ev,0);
  694.         break;
  695.     case FL_MOUSE:
  696.         if (ev->xmotion.x != x_old || 
  697.             ev->xmotion.y != y_old ||
  698.             view->current_scrollbar_value != scrollbar_value_old){
  699.             x_old = ev->xmotion.x;
  700.             y_old = ev->xmotion.y;
  701.             scrollbar_value_old = view->current_scrollbar_value;
  702.             view->WorkAreaMotionNotify(ob, 0,0,0,ev,0);
  703.         }        break;
  704.     // Done by the raw callback:
  705.     //  case FL_KEYBOARD: WorkAreaKeyPress(ob, 0,0,0,ev,0); break;
  706.     case FL_FOCUS:
  707.         if (!view->_owner->getMiniBuffer()->shows_no_match)
  708.             view->_owner->getMiniBuffer()->Init();
  709.         view->_owner->getMiniBuffer()->shows_no_match = false;
  710.         view->work_area_focus = true;
  711.         fl_set_timer(view->timer_cursor, 0.4);
  712.         break;
  713.     case FL_UNFOCUS:
  714.         view->_owner->getMiniBuffer()->ExecCommand();
  715.         view->work_area_focus = false;
  716.         break;
  717.     case FL_ENTER:
  718.         SetXtermCursor(view->_owner->getForm()->window);
  719.         // reset the timer
  720.         view->lyx_focus = true;
  721.         fl_set_timer(view->timer_cursor, 0.4);
  722.         break;
  723.     case FL_LEAVE: 
  724.         if (!input_prohibited)
  725.             XUndefineCursor(fl_display,
  726.                     view->_owner->getForm()->window);
  727.         view->lyx_focus = false; // this is not an ablsolute truth
  728.         // but if it is not true, it will be changed within a blink
  729.         // of an eye. ... Not good enough... use regulare timeperiod
  730.         //fl_set_timer(view->timer_cursor, 0.01); // 0.1 sec blink
  731.         fl_set_timer(view->timer_cursor, 0.4); // 0.4 sec blink
  732.         break;
  733.     case FL_DBLCLICK: 
  734.         // select a word 
  735.         if (view->_buffer &&
  736.             !view->_buffer->the_locking_inset) {
  737.             if (view->screen &&
  738.                 ev->xbutton.button == 1) {
  739.                 view->screen->HideCursor();
  740.                 view->screen->
  741.                     ToggleSelection(); 
  742.                 view->_buffer->text->SelectWord();
  743.                 view->screen->
  744.                     ToggleSelection(false);
  745.                 view->_buffer->update(0); /* this will fit the cursor on the screen
  746.                         * if necessary */ 
  747.             }
  748.         }
  749.         break;
  750.     case FL_TRPLCLICK:
  751.         // select a line
  752.         if (view->_buffer &&
  753.             view->screen && ev->xbutton.button == 1){
  754.             view->screen->HideCursor(); 
  755.             view->screen->ToggleSelection(); 
  756.             view->_buffer->text->CursorHome();
  757.             view->_buffer->text->sel_cursor =
  758.                 view->_buffer->text->cursor;
  759.             view->_buffer->text->CursorEnd();
  760.             view->_buffer->text->SetSelection();
  761.             view->screen->ToggleSelection(false); 
  762.             view->_buffer->update(0); /* this will fit the cursor on the screen
  763.                     * if necessary */ 
  764.         }
  765.         break;
  766.     case FL_OTHER:
  767.         view->WorkAreaSelectionNotify(ob,
  768.                           view->_owner->getForm()->window,
  769.                           0,0,ev,0); 
  770.         break;
  771.     }
  772.   
  773.     return 1;
  774. }
  775.  
  776.  
  777. int BufferView::WorkAreaMotionNotify(FL_OBJECT *ob, Window,
  778.                      int /*w*/, int /*h*/,
  779.                      XEvent *ev, void */*d*/)
  780. {
  781.     if (_buffer == 0) return 0;
  782.     if (!screen)
  783.         return 0;
  784.    
  785.     /* check for inset locking */
  786.     if (_buffer->the_locking_inset){
  787.         LyXCursor cursor = _buffer->text->cursor;
  788.         _buffer->the_locking_inset->
  789.             InsetMotionNotify(ev->xbutton.x - ob->x - cursor.x,
  790.                       ev->xbutton.y - ob->y -
  791.                       (cursor.y),
  792.                       ev->xbutton.state);
  793.         return 0;
  794.     }
  795.    
  796.     /* only use motion with button 1 */
  797.     if (!ev->xmotion.state & Button1MotionMask)
  798.         return 0; 
  799.     
  800.    
  801.     /* the selection possible is needed, that only motion events are 
  802.      * used, where the bottom press event was on the drawing area too */
  803.     if (selection_possible) {
  804.       
  805.         screen->HideCursor();
  806.  
  807.         _buffer->text->
  808.             SetCursorFromCoordinates(ev->xbutton.x - ob->x,
  809.                          ev->xbutton.y - ob->y +
  810.                          screen->first);
  811.       
  812.         if (!_buffer->text->selection)
  813.             _buffer->update(-3);       /* maybe an empty line was deleted  */
  814.       
  815.         _buffer->text->SetSelection();
  816.         screen->ToggleToggle();
  817.         if (screen->FitCursor())
  818.             updateScrollbar(); 
  819.         screen->ShowCursor();
  820.     } 
  821.     return 0;
  822. }
  823.  
  824.  
  825. int BufferView::WorkAreaSelectionNotify(FL_OBJECT *, Window win,
  826.                 int /*w*/, int /*h*/, XEvent *event, void */*d*/)
  827. {
  828.     if (_buffer == 0) return 0;
  829.     if (event->type != SelectionNotify)
  830.         return 0;
  831.  
  832.     Atom tmpatom;
  833.     unsigned long ul1;
  834.     unsigned long ul2;
  835.     unsigned char* uc = 0;
  836.     int tmpint;
  837.     screen->HideCursor();
  838.     BeforeChange();
  839.     if (event->xselection.type == XA_STRING
  840.         && event->xselection.property) {
  841.     
  842.         if (XGetWindowProperty(
  843.             fl_display            /* display */,
  844.             win /* w */,
  845.             event->xselection.property        /* property */,
  846.             0                /* long_offset */,
  847.             0                /* long_length */,
  848.             false                /* delete */,
  849.             XA_STRING                /* req_type */,
  850.             &tmpatom               /* actual_type_return */,
  851.             &tmpint                /* actual_format_return */,
  852.             &ul1      /* nitems_return */,
  853.             &ul2      /* bytes_after_return */,
  854.             &uc     /* prop_return */
  855.             ) != Success) {
  856.             return 0;
  857.         }
  858.         XFlush(fl_display);
  859.  
  860.         if (uc){
  861.             free(uc);
  862.             uc = 0;
  863.         }
  864.  
  865.         if (XGetWindowProperty(
  866.             fl_display           /* display */,
  867.             win              /* w */,
  868.             event->xselection.property           /* property */,
  869.             0                /* long_offset */,
  870.             ul2/4+1                /* long_length */,
  871.             True                /* delete */,
  872.             XA_STRING                /* req_type */,
  873.             &tmpatom               /* actual_type_return */,
  874.             &tmpint                /* actual_format_return */,
  875.             &ul1      /* nitems_return */,
  876.             &ul2      /* bytes_after_return */,
  877.             &uc     /* prop_return */
  878.             ) != Success) {
  879.             return 0;
  880.         }
  881.         XFlush(fl_display);
  882.         
  883.         if (uc){
  884.             if (!ascii_type)
  885.                 _buffer->text->
  886.                     InsertStringA((char*)uc);
  887.             else
  888.                 _buffer->text->
  889.                     InsertStringB((char*)uc);
  890.             free(uc);
  891.             uc = 0;
  892.         }
  893.     
  894.         _buffer->update(1);
  895.     }
  896.     return 0;
  897. }
  898.  
  899.  
  900. extern int bibitemMaxWidth(const class LyXFont &);
  901.  
  902. // Single-click on work area
  903. int BufferView::WorkAreaButtonPress(FL_OBJECT *ob, Window,
  904.             int /*w*/, int /*h*/, XEvent *ev, void */*d*/)
  905. {
  906.     if (_buffer == 0) return 0;
  907.     if (!screen)
  908.         return 0 ;
  909.  
  910.     int x = ev->xbutton.x - ob->x;
  911.     int y = ev->xbutton.y - ob->y;
  912.  
  913.     if (_buffer->the_locking_inset){
  914.         /* we are in inset locking mode. */
  915.  
  916.         /* check whether the inset was hit. If not reset mode,
  917.            otherwise give the event to the inset */
  918.         if (checkInsetHit(x, y)){ 
  919.             _buffer->the_locking_inset->
  920.                 InsetButtonPress(x, y, ev->xbutton.button);
  921.             return 0;
  922.         }
  923.         else {
  924.             UnlockInset(_buffer->the_locking_inset);
  925.         }
  926.     }
  927.    
  928.     selection_possible = true;
  929.     screen->HideCursor();
  930.         
  931.     // Right button mouse click on a table
  932.     if ((ev->xbutton.button == 3) &&
  933.         (_buffer->text->cursor.par->table ||
  934.              _buffer->text->MouseHitInTable(x, y+screen->first))) {
  935.             // set the cursor to the press-position
  936.             _buffer->text->SetCursorFromCoordinates(ev->xbutton.x - ob->x,
  937.                                                     ev->xbutton.y - ob->y +
  938.                                                     screen->first);
  939.         bool doit = true;
  940.         // only show the table popup if the hit is on the table, too
  941.         if (!_buffer->text->
  942.             HitInTable(_buffer->text->cursor.row,
  943.                    ev->xbutton.x - ob->x))
  944.             doit = false; 
  945.      
  946.         // hit above or below the table ?
  947.         if (doit){
  948.             long y_tmp = ev->xbutton.y - ob->y +
  949.                 screen->first;
  950.             Row*  row =  _buffer->text->GetRowNearY(y_tmp);
  951.             if (row->par != _buffer->text->cursor.par)
  952.                 doit = true;
  953.         }
  954.      
  955.         if (doit){
  956.             if (!_buffer->text->selection){
  957.                 screen->ToggleSelection();
  958.                 _buffer->text->ClearSelection();
  959.                 _buffer->text->FullRebreak();
  960.                 screen->Update();
  961.                 updateScrollbar();
  962.             }
  963.             // popup table popup when on a table.
  964.             // this is obviously temporary, since we should be
  965.             // able to 
  966.             // popup various context-sensitive-menus with the
  967.             // the right mouse. So this should be done more
  968.             // general in the future. Matthias.
  969.             selection_possible = false;
  970.                         _owner->getLyXFunc()->Dispatch(LFUN_LAYOUT_TABLE,
  971.                                "true");
  972.             return 0;
  973.         }
  974.     }
  975.  
  976.     int screen_first = screen->first;
  977.  
  978.     // Middle button press pastes if we have a selection
  979.     bool paste_internally = false;
  980.     if (ev->xbutton.button == 2 && !_buffer->the_locking_inset
  981.         && _buffer->text->selection){
  982.         _owner->getLyXFunc()->Dispatch(LFUN_COPY);
  983.         paste_internally = true;
  984.     }
  985.  
  986.     /* clear the selection */ 
  987.     screen->ToggleSelection();
  988.     _buffer->text->ClearSelection();
  989.     _buffer->text->FullRebreak();
  990.     screen->Update();
  991.     updateScrollbar();
  992.  
  993.     // Right click on a footnote flag opens float menu
  994.     if ((ev->xbutton.button == 3) &&
  995.             _buffer->text->cursor.par->footnoteflag == LyXParagraph::OPEN_FOOTNOTE) {
  996.         selection_possible = false;
  997.         lyxerr.print("LyX: Sorry not implemented yet.");
  998.         return 0;
  999.     }
  1000.  
  1001.     if (ev->xbutton.button == 3){
  1002.         selection_possible = false;
  1003.         return 0;
  1004.     }
  1005.  
  1006.    
  1007.     _buffer->text->SetCursorFromCoordinates(ev->xbutton.x - ob->x,
  1008.                                                 ev->xbutton.y - ob->y +
  1009.                                                 screen_first);
  1010.     _buffer->text->FinishUndo();
  1011.     _buffer->text->sel_cursor = _buffer->text->cursor;
  1012.     _buffer->text->cursor.x_fix = _buffer->text->cursor.x;
  1013.    
  1014.     /* Single left click */
  1015.     if (ev->xbutton.button == 1){
  1016.         int x2 = ev->xbutton.x - ob->x;
  1017.         int y2 = ev->xbutton.y - ob->y;
  1018.         // Did we hit an inset?
  1019.         if (checkInsetHit(x2, y2)){
  1020.             if (_buffer->text->cursor.par->
  1021.                 GetInset(_buffer->text->cursor.pos)->
  1022.                 Editable() == 2) 
  1023.                 {
  1024.                     // Highly editable inset, like math
  1025.                     selection_possible = false;
  1026.                     _owner->updateLayoutChoice();
  1027.                     _owner->getMiniBuffer()->
  1028.                                                 Set(_buffer->text->cursor.par->
  1029.                                                     GetInset(_buffer->text->cursor.pos)->
  1030.                                                     EditMessage());
  1031.                     _buffer->text->cursor.par->
  1032.                         GetInset(_buffer->text->cursor.pos)->
  1033.                         Edit(x2, y2);
  1034.                     return 0;
  1035.                 } else {
  1036.                     // Other inset like error, notes
  1037.                     // and figures
  1038.                     selection_possible = false;
  1039. #ifdef WITH_WARNINGS
  1040. #warning fix this proper in 0.13
  1041. #endif
  1042.                     // Following a ref shouldn't issue
  1043.                     // a push on the undo-stack
  1044.                     // anylonger, now that we have
  1045.                     // keybindings for following
  1046.                     // references and returning from
  1047.                     // references.  IMHO though, it
  1048.                     // should be the inset's own business
  1049.                     // to push or not push on the undo
  1050.                     // stack. They don't *have* to
  1051.                     // alter the document...
  1052.                     // (Joacim)
  1053.                     // ...or maybe the SetCursorParUndo()
  1054.                     // below isn't necessary at all anylonger?
  1055.                     if (!_buffer->text->cursor.par->
  1056.                          GetInset(_buffer->text->cursor.pos)->
  1057.                      LyxCode() == Inset::REF_CODE)
  1058.                         _buffer->text->
  1059.                             SetCursorParUndo();
  1060.  
  1061.                     _owner->getMiniBuffer()->
  1062.                         Set(_buffer->
  1063.                             text->cursor.par->
  1064.                             GetInset(_buffer->
  1065.                                  text->
  1066.                                  cursor.pos)->
  1067.                             EditMessage());
  1068.                     _buffer->
  1069.                         text->cursor.par->
  1070.                         GetInset(_buffer->
  1071.                              text->cursor.pos)->
  1072.                         Edit(x, y);
  1073.                     return 0;
  1074.                 }
  1075.         }
  1076.  
  1077.         // check whether we want to open a float
  1078.         if (_buffer->text && 
  1079.             _buffer->text->cursor.pos <
  1080.             _buffer->text->cursor.par->Last()) {
  1081.             char c = _buffer->text->cursor.par->
  1082.                 GetChar(_buffer->text->cursor.pos);
  1083.             if (c == LYX_META_FOOTNOTE || c == LYX_META_MARGIN
  1084.                 || c == LYX_META_FIG || c == LYX_META_TAB
  1085.                 || c == LYX_META_WIDE_FIG || c == LYX_META_WIDE_TAB
  1086.                             || c == LYX_META_ALGORITHM){
  1087.                 ToggleFloat();
  1088.                 selection_possible = false;
  1089.                 return 0;
  1090.             }
  1091.         }
  1092.  
  1093.         // do we want to close a float (click on the float-label)
  1094.         if (_buffer->text->cursor.row->par->footnoteflag ==
  1095.             LyXParagraph::OPEN_FOOTNOTE
  1096.             && _buffer->text->cursor.pos == 0
  1097.             && _buffer->text->cursor.row->previous &&
  1098.             _buffer->text->cursor.row->previous->par->
  1099.             footnoteflag != LyXParagraph::OPEN_FOOTNOTE){
  1100.             LyXFont font (LyXFont::ALL_SANE);
  1101.             font.setSize(LyXFont::SIZE_SMALL);
  1102.  
  1103.             int box_x = 20; // LYX_PAPER_MARGIN;
  1104.             box_x += font.textWidth("Mwide-figM", 10);
  1105.        
  1106.             if (ev->xbutton.x - ob->x < box_x
  1107.                 && ev->xbutton.y - ob->y +
  1108.                 screen_first
  1109.                 > _buffer->text->cursor.y -
  1110.                 _buffer->text->cursor.row->baseline
  1111.                 && ev->xbutton.y - ob->y +
  1112.                 screen_first
  1113.                 < _buffer->text->cursor.y -
  1114.                 _buffer->text->cursor.row->baseline
  1115.                 + font.maxAscent()*1.2 +
  1116.                 font.maxDescent()*1.2){
  1117.                 ToggleFloat();
  1118.                 selection_possible = false;
  1119.                 return 0;
  1120.             }
  1121.         }
  1122.         
  1123.             // Maybe we want to edit a bibitem ale970302
  1124.             if (_buffer->text->cursor.par->bibkey && 
  1125.             x2 < 20+bibitemMaxWidth(lyxstyle.TextClass(_buffer->
  1126.                         params.textclass)->defaultfont)) {
  1127.             _buffer->text->cursor.par->bibkey->Edit(0, 0);
  1128.         }
  1129.     }
  1130.    
  1131.     _owner->updateLayoutChoice();
  1132.     if (screen->FitCursor()){
  1133.         updateScrollbar();
  1134.         selection_possible = false;
  1135.     }
  1136.  
  1137.     // insert primary selection with middle mouse
  1138.     // if there is a local selection in the current buffer, insert this
  1139.     if (ev->xbutton.button == 2 && !_buffer->the_locking_inset){
  1140.         if (paste_internally)
  1141.             _owner->getLyXFunc()->Dispatch(LFUN_PASTE);
  1142.         else
  1143.             _owner->getLyXFunc()->Dispatch(LFUN_PASTESELECTION,
  1144.                                "paragraph");
  1145.         selection_possible = false;
  1146.     }
  1147.     return 0;
  1148. }
  1149.  
  1150.  
  1151. int BufferView::workAreaExpose()
  1152. {
  1153.     if (!work_area || !work_area->form->visible) 
  1154.         return 1;
  1155.  
  1156.     static int work_area_width = work_area->w;
  1157.     static int work_area_height = work_area->h;
  1158.  
  1159.     bool widthChange = work_area->w != work_area_width;
  1160.     bool heightChange = work_area->h != work_area_height;
  1161.  
  1162.     // update from work area
  1163.     work_area_width = work_area->w;
  1164.     work_area_height = work_area->h;
  1165.     if (_buffer != 0) {
  1166.         if (widthChange) {
  1167.             // All buffers need a resize
  1168.             bufferlist.resize();
  1169.         } else if (heightChange) {
  1170.             // Rebuild image of current screen
  1171.             updateScreen();
  1172.             // fitCursor() ensures we don't jump back
  1173.             // to the start of the document on vertical
  1174.             // resize
  1175.             fitCursor();
  1176.  
  1177.             // The main window size has changed, repaint most stuff
  1178.             redraw();
  1179.             // ...including the minibuffer
  1180.             _owner->getMiniBuffer()->Init();
  1181.  
  1182.         } else if (screen) screen->Redraw();
  1183.     } else {
  1184.         // Grey box when we don't have a buffer
  1185.         fl_winset(FL_ObjWin(work_area));
  1186.         fl_rectangle(1, work_area->x, work_area->y,
  1187.                  work_area->w, work_area->h, FL_GRAY63);
  1188.     }
  1189.  
  1190.     // always make sure that the scrollbar is sane.
  1191.     updateScrollbar();
  1192.     _owner->updateLayoutChoice();
  1193.     return 1;
  1194. }
  1195.  
  1196.  
  1197. // Callback for cursor timer
  1198. void BufferView::CursorToggleCB(FL_OBJECT *ob, long)
  1199. {
  1200.     BufferView *view = (BufferView*) ob->u_vdata;
  1201.     
  1202.     /* quite a nice place for asyncron Inset updating, isn't it? */
  1203.     // actually no! This is run even if no buffer exist... so (Lgb)
  1204.     if (view && !view->_buffer) {
  1205.         goto set_timer_and_return;
  1206.     }
  1207.     
  1208.     if (InsetUpdateList) 
  1209.         UpdateInsetUpdateList();
  1210.  
  1211.     if (view && !view->screen){
  1212.         goto set_timer_and_return;
  1213.     }
  1214.  
  1215.     if (view->lyx_focus && view->work_area_focus) {
  1216.         if (!view->_buffer->the_locking_inset){
  1217.             view->screen->CursorToggle();
  1218.         } else {
  1219.             view->_buffer->the_locking_inset->
  1220.                 ToggleInsetCursor();
  1221.         }
  1222.         goto set_timer_and_return;
  1223.     } else {
  1224.         // Make sure that the cursor is visible.
  1225.         if (!view->_buffer->the_locking_inset){
  1226.             view->screen->ShowCursor();
  1227.         } else {
  1228.             if (!view->_buffer->the_locking_inset->isCursorVisible())
  1229.                 view->_buffer->the_locking_inset->
  1230.                     ToggleInsetCursor();
  1231.         }
  1232.  
  1233.         // This is only run when work_area_focus or lyx_focus is false.
  1234.         Window tmpwin;
  1235.         int tmp;
  1236.         XGetInputFocus(fl_display, &tmpwin, &tmp);
  1237.         lyxerr.debug(LString("tmpwin: ") + int(tmpwin));
  1238.         lyxerr.debug(LString("window: ")
  1239.                  + int(view->_owner->getForm()->window));
  1240.         lyxerr.debug(LString("work_area_focus: ")
  1241.                  + int(view->work_area_focus));
  1242.         lyxerr.debug(LString("lyx_focus      : ")
  1243.                  + int(view->lyx_focus));
  1244.         if (tmpwin != view->_owner->getForm()->window) {
  1245.             view->lyx_focus = false;
  1246.             goto skip_timer;
  1247.         } else {
  1248.             view->lyx_focus = true;
  1249.             if (!view->work_area_focus)
  1250.                 goto skip_timer;
  1251.             else
  1252.                 goto set_timer_and_return;
  1253.         }
  1254.     }
  1255.  
  1256.   set_timer_and_return:
  1257.     fl_set_timer(ob, 0.4);
  1258.   skip_timer:
  1259.     return;
  1260. }
  1261.  
  1262.  
  1263. int BufferView::WorkAreaButtonRelease(FL_OBJECT *ob, Window ,
  1264.               int /*w*/, int /*h*/, XEvent *ev, void */*d*/)
  1265. {
  1266.     if (_buffer == 0) return 0;
  1267.  
  1268.     if (screen && _buffer->the_locking_inset){
  1269.         int x = ev->xbutton.x - ob->x;
  1270.         int y = ev->xbutton.y - ob->y;
  1271.  
  1272.         /* we are in inset locking mode. */
  1273.         /* LyX does a kind of work-area grabbing for insets.
  1274.            only a ButtonPress Event outside the inset will 
  1275.            force a InsetUnlock */
  1276.         checkInsetHit(x, y); /* just to adept the coordinates */
  1277.         _buffer->the_locking_inset->
  1278.             InsetButtonRelease(x, y, ev->xbutton.button);
  1279.         return 0;
  1280.     }
  1281.   
  1282.     selection_possible = false;
  1283.         if (_buffer->text->cursor.par->table) {
  1284.                 int cell = _buffer->text->
  1285.                         NumberOfCell(_buffer->text->cursor.par,
  1286.                                      _buffer->text->cursor.pos);
  1287.                 if (_buffer->text->cursor.par->table->IsContRow(cell) &&
  1288.                     _buffer->text->cursor.par->table->
  1289.                     CellHasContRow(_buffer->text->cursor.par->table->
  1290.                                    GetCellAbove(cell))<0) {
  1291.                         _buffer->text->CursorUp();
  1292.                 }
  1293.         }
  1294.     return 0;
  1295. }
  1296.  
  1297.  
  1298. bool BufferView::checkInsetHit(int &x, int &y)
  1299.     /* returns 1 if inset was hit. Coordinates are set relativly
  1300.        to the inset. Otherwise coordinates doesn't change their
  1301.        values and 0 is returned.
  1302.        */
  1303. {
  1304.     if (!getScreen())
  1305.         return false;
  1306.   
  1307.     int y_tmp = y + getScreen()->first;
  1308.   
  1309.     LyXCursor cursor = _buffer->text->cursor;
  1310.     if (cursor.pos 
  1311.         < cursor.par->Last() 
  1312.         && cursor.par->GetChar(cursor.pos) == LYX_META_INSET
  1313.         && cursor.par->GetInset(cursor.pos)
  1314.         && cursor.par->GetInset(cursor.pos)->Editable()) {
  1315.  
  1316.         /* check wether the inset was really hit */
  1317.         Inset* tmpinset = cursor.par->GetInset(cursor.pos);
  1318.         LyXFont font = _buffer->text->GetFont(cursor.par, cursor.pos);
  1319.         if (x > cursor.x
  1320.             && x < cursor.x + tmpinset->Width(font) 
  1321.             && y_tmp > cursor.y - tmpinset->Ascent(font)
  1322.             && y_tmp < cursor.y + tmpinset->Descent(font)){
  1323.             x = x - cursor.x;
  1324.             y = y_tmp - (cursor.y); // now the origin of an inset
  1325.             // is on the baseline (for mathed) (Matthias)
  1326.             return true;
  1327.         }
  1328.     }
  1329.     return false;
  1330. }
  1331.  
  1332.  
  1333. void BufferView::cursorPrevious()
  1334. {
  1335.     if (!currentBuffer()->text->cursor.row->previous) return;
  1336.     
  1337.     long y = getScreen()->first;
  1338.     Row* cursorrow = currentBuffer()->text->cursor.row;
  1339.     currentBuffer()->text->
  1340.       SetCursorFromCoordinates(currentBuffer()->text->
  1341.                    cursor.x_fix,
  1342.                    y);
  1343.     currentBuffer()->text->FinishUndo();
  1344.     /* this is to allow jumping over large insets */
  1345.     if ((cursorrow == currentBuffer()->text->cursor.row))
  1346.       currentBuffer()->text->CursorUp();
  1347.     
  1348.       if (currentBuffer()->text->cursor.row->height < work_area->h)
  1349.       getScreen()->Draw(currentBuffer()->text->cursor.y
  1350.                   - currentBuffer()->text->cursor.row->baseline
  1351.                   + currentBuffer()->text->cursor.row->height
  1352.                   - work_area->h +1 );
  1353. }
  1354.  
  1355.  
  1356. void BufferView::cursorNext()
  1357. {
  1358.     if (!currentBuffer()->text->cursor.row->next) return;
  1359.     
  1360.     long y = getScreen()->first;
  1361.     currentBuffer()->text->GetRowNearY(y);
  1362.     Row* cursorrow = currentBuffer()->text->cursor.row;
  1363.     currentBuffer()->text->
  1364.         SetCursorFromCoordinates(currentBuffer()->text->
  1365.                      cursor.x_fix, 
  1366.                      y + work_area->h);
  1367.     currentBuffer()->text->FinishUndo();
  1368.     /* this is to allow jumping over large insets */
  1369.     if ((cursorrow == currentBuffer()->text->cursor.row))
  1370.       currentBuffer()->text->CursorDown();
  1371.     
  1372.      if (currentBuffer()->text->cursor.row->height < work_area->h)
  1373.        getScreen()->Draw(currentBuffer()->text->cursor.y
  1374.                  - currentBuffer()->text->cursor.row->baseline);
  1375. }
  1376.  
  1377.  
  1378. bool BufferView::available() const
  1379. {
  1380.     if (_buffer && _buffer->text) return true;
  1381.     return false;
  1382. }
  1383.  
  1384.  
  1385. void BufferView::savePosition()
  1386. {
  1387.     backstack->push(currentBuffer()->getFileName(),
  1388.             currentBuffer()->text->cursor.x,
  1389.             currentBuffer()->text->cursor.y);
  1390. }
  1391.  
  1392.  
  1393. void BufferView::restorePosition()
  1394. {
  1395.     int  x, y;
  1396.     LString fname = backstack->pop(&x, &y);
  1397.     
  1398.     BeforeChange();
  1399.     Buffer *b = (bufferlist.exists(fname)) ? bufferlist.getBuffer(fname):
  1400.         bufferlist.loadLyXFile(fname); // don't ask, just load it
  1401.     setBuffer(b);
  1402.     currentBuffer()->text->SetCursorFromCoordinates(x, y);
  1403.     currentBuffer()->update(0);
  1404. } 
  1405.  
  1406.  
  1407. void BufferView::switchBuffer(Buffer *buff)
  1408. {
  1409.     if (_buffer) {    
  1410.         _buffer->InsetSleep();
  1411.     }
  1412.  
  1413.     if (!buff) return;
  1414.     
  1415.         setBuffer(buff);
  1416.         buff->InsetWakeup();
  1417. }  
  1418.  
  1419.