1999-09-27 18:44:28 +00:00
|
|
|
/* This file is part of
|
1999-11-15 12:01:38 +00:00
|
|
|
* ======================================================
|
1999-09-27 18:44:28 +00:00
|
|
|
*
|
|
|
|
* LyX, The Document Processor
|
|
|
|
*
|
1999-10-02 16:21:10 +00:00
|
|
|
* Copyright 1995 Matthias Ettrich
|
|
|
|
* Copyright 1995-1998 The LyX Team
|
1999-09-27 18:44:28 +00:00
|
|
|
*
|
1999-11-15 12:01:38 +00:00
|
|
|
* ====================================================== */
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
#include <config.h>
|
|
|
|
|
|
|
|
#ifdef __GNUG__
|
|
|
|
#pragma implementation "lyxscreen.h"
|
|
|
|
#endif
|
|
|
|
|
2000-02-18 22:22:42 +00:00
|
|
|
#include <algorithm>
|
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
#include "lyxscreen.h"
|
|
|
|
#include "lyxtext.h"
|
2000-02-04 09:38:32 +00:00
|
|
|
#include "lyxrow.h"
|
2000-02-10 17:53:36 +00:00
|
|
|
#include "Painter.h"
|
2000-02-18 22:22:42 +00:00
|
|
|
#include "WorkArea.h"
|
2000-03-10 13:22:20 +00:00
|
|
|
#include "bufferparams.h"
|
2000-04-04 00:19:15 +00:00
|
|
|
#include "font.h"
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2000-02-18 22:22:42 +00:00
|
|
|
using std::max;
|
|
|
|
using std::min;
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2000-02-10 17:53:36 +00:00
|
|
|
static
|
|
|
|
GC createGC()
|
|
|
|
{
|
|
|
|
XGCValues val;
|
|
|
|
val.foreground = BlackPixel(fl_display,
|
|
|
|
DefaultScreen(fl_display));
|
|
|
|
|
|
|
|
val.function=GXcopy;
|
|
|
|
val.graphics_exposures = false;
|
|
|
|
val.line_style = LineSolid;
|
|
|
|
val.line_width = 0;
|
|
|
|
return XCreateGC(fl_display, RootWindow(fl_display, 0),
|
|
|
|
GCForeground | GCFunction | GCGraphicsExposures
|
|
|
|
| GCLineWidth | GCLineStyle , &val);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
// Constructor
|
2000-02-18 22:22:42 +00:00
|
|
|
LyXScreen::LyXScreen(WorkArea & o, LyXText * text_ptr)
|
|
|
|
: owner(o), text(text_ptr)
|
1999-09-27 18:44:28 +00:00
|
|
|
{
|
|
|
|
first = 0;
|
|
|
|
|
|
|
|
/* the cursor isnt yet visible */
|
|
|
|
cursor_visible = false;
|
|
|
|
screen_refresh_y = -1;
|
|
|
|
|
|
|
|
cursor_pixmap = 0;
|
|
|
|
cursor_pixmap_x = 0;
|
|
|
|
cursor_pixmap_y = 0;
|
|
|
|
cursor_pixmap_w = 0;
|
|
|
|
cursor_pixmap_h = 0;
|
2000-02-10 17:53:36 +00:00
|
|
|
|
|
|
|
// We need this GC
|
|
|
|
gc_copy = createGC();
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LyXScreen::Redraw()
|
|
|
|
{
|
2000-02-18 22:22:42 +00:00
|
|
|
DrawFromTo(0, owner.height());
|
1999-09-27 18:44:28 +00:00
|
|
|
screen_refresh_y = -1;
|
2000-02-18 22:22:42 +00:00
|
|
|
expose(0, 0, owner.workWidth(), owner.height());
|
1999-09-27 18:44:28 +00:00
|
|
|
if (cursor_visible) {
|
|
|
|
cursor_visible = false;
|
|
|
|
ShowCursor();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2000-02-10 17:53:36 +00:00
|
|
|
void LyXScreen::expose(int x, int y, int exp_width, int exp_height)
|
|
|
|
{
|
|
|
|
XCopyArea(fl_display,
|
2000-02-18 22:22:42 +00:00
|
|
|
owner.getPixmap(),
|
|
|
|
owner.getWin(),
|
2000-02-10 17:53:36 +00:00
|
|
|
gc_copy,
|
|
|
|
x, y,
|
|
|
|
exp_width, exp_height,
|
2000-02-18 22:22:42 +00:00
|
|
|
x + owner.xpos(),
|
|
|
|
y + owner.ypos());
|
2000-02-10 17:53:36 +00:00
|
|
|
}
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
2000-02-10 17:53:36 +00:00
|
|
|
void LyXScreen::DrawFromTo(int y1, int y2)
|
|
|
|
{
|
|
|
|
long y_text = first + y1;
|
|
|
|
|
|
|
|
/* get the first needed row */
|
|
|
|
Row * row = text->GetRowNearY(y_text);
|
|
|
|
/* y_text is now the real beginning of the row */
|
|
|
|
|
|
|
|
long y = y_text - first;
|
|
|
|
/* y1 is now the real beginning of row on the screen */
|
|
|
|
|
|
|
|
while (row != 0 && y < y2) {
|
|
|
|
text->GetVisibleRow(y, row, y + first);
|
|
|
|
y += row->height;
|
2000-02-18 22:22:42 +00:00
|
|
|
row = row->next;
|
2000-02-10 17:53:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* maybe we have to clear the screen at the bottom */
|
|
|
|
if (y < y2) {
|
2000-02-18 22:22:42 +00:00
|
|
|
owner.getPainter().fillRectangle(0, y,
|
|
|
|
owner.workWidth(),
|
|
|
|
y2 - y,
|
2000-02-10 17:53:36 +00:00
|
|
|
LColor::bottomarea);
|
|
|
|
}
|
|
|
|
}
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
1999-12-16 06:43:25 +00:00
|
|
|
void LyXScreen::DrawOneRow(Row * row, long & y_text)
|
1999-09-27 18:44:28 +00:00
|
|
|
{
|
1999-12-16 06:43:25 +00:00
|
|
|
long y = y_text - first;
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2000-02-18 22:22:42 +00:00
|
|
|
if (y + row->height > 0 && y - row->height <= owner.height()) {
|
1999-09-27 18:44:28 +00:00
|
|
|
/* ok there is something visible */
|
2000-02-10 17:53:36 +00:00
|
|
|
text->GetVisibleRow(y, row, y + first);
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
2000-02-18 22:22:42 +00:00
|
|
|
y_text += row->height;
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* draws the screen, starting with textposition y. uses as much already
|
|
|
|
* printed pixels as possible */
|
2000-02-10 17:53:36 +00:00
|
|
|
void LyXScreen::Draw(long y)
|
|
|
|
{
|
|
|
|
if (cursor_visible) HideCursor();
|
|
|
|
|
|
|
|
if (y < 0) y = 0;
|
|
|
|
long old_first = first;
|
|
|
|
first = y;
|
|
|
|
|
|
|
|
/* is any optimiziation possible? */
|
2000-02-18 22:22:42 +00:00
|
|
|
if ((y - old_first) < owner.height()
|
|
|
|
&& (old_first - y) < owner.height()) {
|
2000-02-10 17:53:36 +00:00
|
|
|
if (first < old_first) {
|
|
|
|
DrawFromTo(0, old_first - first);
|
|
|
|
XCopyArea (fl_display,
|
2000-02-18 22:22:42 +00:00
|
|
|
owner.getWin(),
|
|
|
|
owner.getWin(),
|
2000-02-10 17:53:36 +00:00
|
|
|
gc_copy,
|
2000-02-18 22:22:42 +00:00
|
|
|
owner.xpos(),
|
|
|
|
owner.ypos(),
|
|
|
|
owner.workWidth(),
|
|
|
|
owner.height() - old_first + first,
|
|
|
|
owner.xpos(),
|
|
|
|
owner.ypos() + old_first - first
|
|
|
|
);
|
2000-02-10 17:53:36 +00:00
|
|
|
// expose the area drawn
|
2000-02-18 22:22:42 +00:00
|
|
|
expose(0, 0,
|
|
|
|
owner.workWidth(),
|
|
|
|
old_first - first);
|
2000-02-10 17:53:36 +00:00
|
|
|
} else {
|
2000-02-18 22:22:42 +00:00
|
|
|
DrawFromTo(
|
|
|
|
owner.height() + old_first - first,
|
|
|
|
owner.height());
|
2000-02-10 17:53:36 +00:00
|
|
|
XCopyArea (fl_display,
|
2000-02-18 22:22:42 +00:00
|
|
|
owner.getWin(),
|
|
|
|
owner.getWin(),
|
2000-02-10 17:53:36 +00:00
|
|
|
gc_copy,
|
2000-02-18 22:22:42 +00:00
|
|
|
owner.xpos(),
|
|
|
|
owner.ypos() + first - old_first,
|
|
|
|
owner.workWidth(),
|
|
|
|
owner.height() + old_first - first,
|
|
|
|
owner.xpos(),
|
|
|
|
owner.ypos());
|
2000-02-10 17:53:36 +00:00
|
|
|
// expose the area drawn
|
2000-02-18 22:22:42 +00:00
|
|
|
expose(0, owner.height() + old_first - first,
|
|
|
|
owner.workWidth(), first - old_first);
|
2000-02-10 17:53:36 +00:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
/* make a dumb new-draw */
|
2000-02-18 22:22:42 +00:00
|
|
|
DrawFromTo(0, owner.height());
|
|
|
|
expose(0, 0, owner.workWidth(), owner.height());
|
2000-02-10 17:53:36 +00:00
|
|
|
}
|
|
|
|
}
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
|
|
|
|
void LyXScreen::ShowCursor()
|
|
|
|
{
|
2000-03-10 13:22:20 +00:00
|
|
|
if (!cursor_visible) {
|
|
|
|
Cursor_Shape shape = BAR_SHAPE;
|
2000-04-03 11:36:35 +00:00
|
|
|
if (text->real_current_font.language() !=
|
|
|
|
text->parameters->language_info
|
|
|
|
|| text->real_current_font.isVisibleRightToLeft()
|
2000-03-17 10:14:46 +00:00
|
|
|
!= text->parameters->language_info->RightToLeft)
|
|
|
|
shape = (text->real_current_font.isVisibleRightToLeft())
|
|
|
|
? REVERSED_L_SHAPE : L_SHAPE;
|
2000-03-10 13:22:20 +00:00
|
|
|
ShowManualCursor(text->cursor.x, text->cursor.y,
|
2000-04-04 00:19:15 +00:00
|
|
|
lyxfont::maxAscent(text->real_current_font),
|
|
|
|
lyxfont::maxDescent(text->real_current_font),
|
2000-03-10 13:22:20 +00:00
|
|
|
shape);
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* returns 1 if first has changed, otherwise 0 */
|
|
|
|
int LyXScreen::FitManualCursor(long /*x*/, long y, int asc, int desc)
|
|
|
|
{
|
|
|
|
long newtop = first;
|
|
|
|
|
2000-02-18 22:22:42 +00:00
|
|
|
if (y + desc - first >= owner.height())
|
|
|
|
newtop = y - 3 * owner.height() / 4; /* the scroll region must be so big!! */
|
1999-09-27 18:44:28 +00:00
|
|
|
else if (y - asc < first
|
|
|
|
&& first > 0) {
|
2000-02-18 22:22:42 +00:00
|
|
|
newtop = y - owner.height() / 4;
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
if (newtop < 0)
|
|
|
|
newtop = 0;
|
|
|
|
|
|
|
|
if (newtop != first){
|
|
|
|
Draw(newtop);
|
|
|
|
first = newtop;
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2000-03-10 13:22:20 +00:00
|
|
|
void LyXScreen::ShowManualCursor(long x, long y, int asc, int desc,
|
|
|
|
Cursor_Shape shape)
|
1999-09-27 18:44:28 +00:00
|
|
|
{
|
2000-02-18 22:22:42 +00:00
|
|
|
long y1 = max(y - first - asc, 0L);
|
|
|
|
long y2 = min(y - first + desc, long(owner.height()));
|
2000-02-10 17:53:36 +00:00
|
|
|
|
2000-03-10 13:22:20 +00:00
|
|
|
// Secure against very strange situations
|
|
|
|
if (y2 < y1) y2 = y1;
|
|
|
|
|
2000-02-17 19:59:08 +00:00
|
|
|
if (cursor_pixmap){
|
|
|
|
XFreePixmap(fl_display, cursor_pixmap);
|
|
|
|
cursor_pixmap = 0;
|
|
|
|
}
|
2000-03-10 13:22:20 +00:00
|
|
|
|
2000-02-18 22:22:42 +00:00
|
|
|
if (y2 > 0 && y1 <
|
|
|
|
owner.height()) {
|
2000-02-17 19:59:08 +00:00
|
|
|
cursor_pixmap_h = y2 - y1 + 1;
|
2000-03-10 13:22:20 +00:00
|
|
|
cursor_pixmap_y = y1;
|
|
|
|
|
|
|
|
switch(shape) {
|
|
|
|
case BAR_SHAPE:
|
|
|
|
cursor_pixmap_w = 1;
|
|
|
|
cursor_pixmap_x = x;
|
|
|
|
break;
|
|
|
|
case L_SHAPE:
|
|
|
|
cursor_pixmap_w = cursor_pixmap_h/3;
|
|
|
|
cursor_pixmap_x = x;
|
|
|
|
break;
|
|
|
|
case REVERSED_L_SHAPE:
|
|
|
|
cursor_pixmap_w = cursor_pixmap_h/3;
|
|
|
|
cursor_pixmap_x = x - cursor_pixmap_w + 1;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2000-02-17 19:59:08 +00:00
|
|
|
cursor_pixmap =
|
|
|
|
XCreatePixmap (fl_display,
|
|
|
|
fl_root,
|
|
|
|
cursor_pixmap_w,
|
|
|
|
cursor_pixmap_h,
|
|
|
|
fl_get_visual_depth());
|
|
|
|
XCopyArea (fl_display,
|
2000-02-18 22:22:42 +00:00
|
|
|
owner.getWin(),
|
2000-02-17 19:59:08 +00:00
|
|
|
cursor_pixmap,
|
|
|
|
gc_copy,
|
2000-02-18 22:22:42 +00:00
|
|
|
owner.xpos() + cursor_pixmap_x,
|
|
|
|
owner.ypos() + cursor_pixmap_y,
|
2000-02-17 19:59:08 +00:00
|
|
|
cursor_pixmap_w,
|
|
|
|
cursor_pixmap_h,
|
|
|
|
0, 0);
|
|
|
|
XDrawLine(fl_display,
|
2000-02-18 22:22:42 +00:00
|
|
|
owner.getWin(),
|
|
|
|
gc_copy,
|
|
|
|
x + owner.xpos(),
|
|
|
|
y1 + owner.ypos(),
|
|
|
|
x + owner.xpos(),
|
|
|
|
y2 + owner.ypos());
|
2000-03-10 13:22:20 +00:00
|
|
|
switch(shape) {
|
|
|
|
case BAR_SHAPE:
|
|
|
|
break;
|
|
|
|
case L_SHAPE:
|
|
|
|
case REVERSED_L_SHAPE:
|
|
|
|
int rectangle_h = (cursor_pixmap_h+10)/20;
|
|
|
|
XFillRectangle(fl_display,
|
|
|
|
owner.getWin(),
|
|
|
|
gc_copy,
|
|
|
|
cursor_pixmap_x + owner.xpos(),
|
|
|
|
y2 - rectangle_h + 1 + owner.ypos(),
|
|
|
|
cursor_pixmap_w - 1, rectangle_h);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
2000-02-17 19:59:08 +00:00
|
|
|
cursor_visible = true;
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LyXScreen::HideCursor()
|
|
|
|
{
|
|
|
|
if (!cursor_visible) return;
|
2000-02-10 17:53:36 +00:00
|
|
|
|
2000-02-17 19:59:08 +00:00
|
|
|
if (cursor_pixmap){
|
|
|
|
XCopyArea (fl_display,
|
|
|
|
cursor_pixmap,
|
2000-02-18 22:22:42 +00:00
|
|
|
owner.getWin(),
|
2000-02-17 19:59:08 +00:00
|
|
|
gc_copy,
|
|
|
|
0, 0,
|
|
|
|
cursor_pixmap_w, cursor_pixmap_h,
|
2000-02-18 22:22:42 +00:00
|
|
|
cursor_pixmap_x + owner.xpos(),
|
|
|
|
cursor_pixmap_y + owner.ypos());
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
2000-02-17 19:59:08 +00:00
|
|
|
cursor_visible = false;
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LyXScreen::CursorToggle()
|
|
|
|
{
|
|
|
|
if (cursor_visible)
|
|
|
|
HideCursor();
|
|
|
|
else
|
|
|
|
ShowCursor();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* returns a new top so that the cursor is visible */
|
|
|
|
long LyXScreen::TopCursorVisible()
|
|
|
|
{
|
2000-02-10 17:53:36 +00:00
|
|
|
long newtop = first;
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
if (text->cursor.y
|
|
|
|
- text->cursor.row->baseline
|
|
|
|
+ text->cursor.row->height
|
2000-02-18 22:22:42 +00:00
|
|
|
- first >= owner.height()) {
|
|
|
|
if (text->cursor.row->height < owner.height()
|
|
|
|
&& text->cursor.row->height > owner.height() / 4)
|
1999-09-27 18:44:28 +00:00
|
|
|
newtop = text->cursor.y
|
|
|
|
+ text->cursor.row->height
|
2000-02-18 22:22:42 +00:00
|
|
|
- text->cursor.row->baseline - owner.height();
|
1999-09-27 18:44:28 +00:00
|
|
|
else
|
|
|
|
newtop = text->cursor.y
|
2000-02-18 22:22:42 +00:00
|
|
|
- 3 * owner.height() / 4; /* the scroll region must be so big!! */
|
1999-09-27 18:44:28 +00:00
|
|
|
} else if (text->cursor.y - text->cursor.row->baseline < first
|
|
|
|
&& first > 0) {
|
2000-02-18 22:22:42 +00:00
|
|
|
if (text->cursor.row->height < owner.height()
|
|
|
|
&& text->cursor.row->height > owner.height() / 4)
|
1999-09-27 18:44:28 +00:00
|
|
|
newtop = text->cursor.y - text->cursor.row->baseline;
|
|
|
|
else {
|
2000-02-18 22:22:42 +00:00
|
|
|
newtop = text->cursor.y - owner.height() / 4;
|
1999-09-27 18:44:28 +00:00
|
|
|
if (newtop > first)
|
|
|
|
newtop = first;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (newtop < 0)
|
|
|
|
newtop = 0;
|
|
|
|
|
|
|
|
return newtop;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* scrolls the screen so that the cursor is visible, if necessary.
|
|
|
|
* returns 1 if a change was made, otherwise 0 */
|
|
|
|
int LyXScreen::FitCursor()
|
|
|
|
{
|
|
|
|
/* is a change necessary */
|
|
|
|
long newtop = TopCursorVisible();
|
|
|
|
int result = (newtop != first);
|
|
|
|
if (result)
|
|
|
|
Draw(newtop);
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LyXScreen::Update()
|
|
|
|
{
|
|
|
|
if (text->status == LyXText::NEED_MORE_REFRESH
|
|
|
|
|| screen_refresh_y > -1 ) {
|
2000-02-18 22:22:42 +00:00
|
|
|
long y = 0;
|
1999-09-27 18:44:28 +00:00
|
|
|
if (screen_refresh_y > -1
|
|
|
|
&& screen_refresh_y < text->refresh_y)
|
|
|
|
y = screen_refresh_y;
|
|
|
|
else
|
|
|
|
y = text->refresh_y;
|
|
|
|
|
|
|
|
if (y < first) y = first;
|
|
|
|
|
2000-02-18 22:22:42 +00:00
|
|
|
DrawFromTo(y - first, owner.height());
|
1999-09-27 18:44:28 +00:00
|
|
|
text->refresh_y = 0;
|
|
|
|
text->status = LyXText::UNCHANGED;
|
|
|
|
screen_refresh_y = -1;
|
2000-02-18 22:22:42 +00:00
|
|
|
expose(0, y - first,
|
|
|
|
owner.workWidth(), owner.height() - (y - first));
|
1999-09-27 18:44:28 +00:00
|
|
|
} else if (text->status == LyXText::NEED_VERY_LITTLE_REFRESH) {
|
|
|
|
/* ok I will update the current cursor row */
|
2000-02-18 22:22:42 +00:00
|
|
|
long y = text->refresh_y;
|
1999-09-27 18:44:28 +00:00
|
|
|
DrawOneRow(text->refresh_row, y);
|
|
|
|
text->status = LyXText::UNCHANGED;
|
2000-02-18 22:22:42 +00:00
|
|
|
expose(0, text->refresh_y - first,
|
|
|
|
owner.workWidth(), text->refresh_row->height);
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LyXScreen::SmallUpdate()
|
|
|
|
{
|
2000-02-18 22:22:42 +00:00
|
|
|
if (text->status == LyXText::NEED_MORE_REFRESH) {
|
1999-09-27 18:44:28 +00:00
|
|
|
/* ok I will update till the current cursor row */
|
2000-02-18 22:22:42 +00:00
|
|
|
Row * row = text->refresh_row;
|
|
|
|
long y = text->refresh_y;
|
|
|
|
long y2 = y;
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
|
|
if (y > text->cursor.y) {
|
|
|
|
Update();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2000-02-18 22:22:42 +00:00
|
|
|
while (row
|
|
|
|
&& row != text->cursor.row
|
|
|
|
&& y < first + owner.height()) {
|
1999-09-27 18:44:28 +00:00
|
|
|
DrawOneRow(row, y);
|
|
|
|
row = row->next;
|
|
|
|
}
|
|
|
|
|
|
|
|
DrawOneRow(row, y);
|
|
|
|
screen_refresh_y = y;
|
|
|
|
screen_refresh_row = row->next;
|
|
|
|
text->status = LyXText::UNCHANGED;
|
|
|
|
// Is the right regin exposed?
|
2000-02-18 22:22:42 +00:00
|
|
|
expose(0, y2 - first,
|
|
|
|
owner.workWidth(), y - y2);
|
1999-09-27 18:44:28 +00:00
|
|
|
} else if (text->status == LyXText::NEED_VERY_LITTLE_REFRESH) {
|
|
|
|
/* ok I will update the current cursor row */
|
2000-02-18 22:22:42 +00:00
|
|
|
long y = text->refresh_y;
|
|
|
|
DrawOneRow(text->refresh_row, y);
|
1999-09-27 18:44:28 +00:00
|
|
|
text->status = LyXText::UNCHANGED;
|
|
|
|
expose(0, text->refresh_y - first,
|
2000-02-18 22:22:42 +00:00
|
|
|
owner.workWidth(), text->refresh_row->height);
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LyXScreen::ToggleSelection(bool kill_selection)
|
|
|
|
{
|
|
|
|
/* only if there is a selection */
|
2000-02-18 22:22:42 +00:00
|
|
|
if (!text->selection) return;
|
1999-12-16 06:43:25 +00:00
|
|
|
|
2000-02-17 19:59:08 +00:00
|
|
|
long top = text->sel_start_cursor.y
|
|
|
|
- text->sel_start_cursor.row->baseline;
|
|
|
|
long bottom = text->sel_end_cursor.y
|
|
|
|
- text->sel_end_cursor.row->baseline
|
|
|
|
+ text->sel_end_cursor.row->height;
|
2000-02-18 22:22:42 +00:00
|
|
|
|
|
|
|
if (top < first)
|
|
|
|
top = max(top, first);
|
|
|
|
if (bottom < first)
|
|
|
|
bottom = max(bottom, first);
|
2000-02-17 19:59:08 +00:00
|
|
|
|
2000-02-18 22:22:42 +00:00
|
|
|
if (bottom > first + owner.height())
|
|
|
|
bottom = first + owner.height();
|
|
|
|
if (top > first + owner.height())
|
|
|
|
top = first + owner.height();
|
|
|
|
|
2000-02-17 19:59:08 +00:00
|
|
|
if (kill_selection)
|
|
|
|
text->selection = 0;
|
|
|
|
DrawFromTo(top - first, bottom - first);
|
2000-02-18 22:22:42 +00:00
|
|
|
expose(0, top - first,
|
|
|
|
owner.workWidth(),
|
|
|
|
bottom - first - (top - first));
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void LyXScreen::ToggleToggle()
|
|
|
|
{
|
|
|
|
if (text->toggle_cursor.par == text->toggle_end_cursor.par
|
|
|
|
&& text->toggle_cursor.pos == text->toggle_end_cursor.pos)
|
|
|
|
return;
|
|
|
|
|
2000-02-17 19:59:08 +00:00
|
|
|
long top = text->toggle_cursor.y
|
|
|
|
- text->toggle_cursor.row->baseline;
|
|
|
|
long bottom = text->toggle_end_cursor.y
|
|
|
|
- text->toggle_end_cursor.row->baseline
|
|
|
|
+ text->toggle_end_cursor.row->height;
|
|
|
|
|
|
|
|
if (top - first < 0)
|
|
|
|
top = first;
|
|
|
|
if (bottom - first < 0)
|
|
|
|
bottom = first;
|
1999-09-27 18:44:28 +00:00
|
|
|
|
2000-02-18 22:22:42 +00:00
|
|
|
if (bottom - first > owner.height())
|
|
|
|
bottom = first + owner.height();
|
|
|
|
if (top - first > owner.height())
|
|
|
|
top = first + owner.height();
|
2000-02-17 19:59:08 +00:00
|
|
|
|
|
|
|
DrawFromTo(top - first, bottom - first);
|
2000-02-18 22:22:42 +00:00
|
|
|
expose(0, top - first, owner.workWidth(),
|
|
|
|
bottom - first - (top - first));
|
1999-09-27 18:44:28 +00:00
|
|
|
}
|