2003-02-26 17:04:10 +00:00
|
|
|
|
/**
|
|
|
|
|
* \file rowpainter.C
|
|
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
|
* Licence details can be found in the file COPYING.
|
|
|
|
|
*
|
|
|
|
|
* \author various
|
|
|
|
|
* \author John Levon
|
|
|
|
|
*
|
|
|
|
|
* Full author contact details are available in file CREDITS
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <config.h>
|
|
|
|
|
|
|
|
|
|
#include "frontends/Painter.h"
|
|
|
|
|
#include "frontends/screen.h"
|
|
|
|
|
#include "frontends/font_metrics.h"
|
|
|
|
|
#include "support/LAssert.h"
|
|
|
|
|
#include "paragraph.h"
|
2003-04-14 18:35:29 +00:00
|
|
|
|
#include "paragraph_funcs.h"
|
2003-02-26 17:04:10 +00:00
|
|
|
|
#include "support/textutils.h"
|
|
|
|
|
|
|
|
|
|
#include "insets/insettext.h"
|
|
|
|
|
#include "ParagraphParameters.h"
|
|
|
|
|
#include "BufferView.h"
|
|
|
|
|
#include "buffer.h"
|
|
|
|
|
#include "gettext.h"
|
|
|
|
|
#include "language.h"
|
|
|
|
|
#include "encoding.h"
|
|
|
|
|
#include "lyxtext.h"
|
|
|
|
|
#include "lyxrow.h"
|
|
|
|
|
#include "rowpainter.h"
|
|
|
|
|
#include "lyxrc.h"
|
2003-04-01 16:55:48 +00:00
|
|
|
|
#include "lyxrow_funcs.h"
|
2003-05-30 06:48:24 +00:00
|
|
|
|
#include "metricsinfo.h"
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-06-30 23:56:22 +00:00
|
|
|
|
#include <algorithm>
|
|
|
|
|
|
|
|
|
|
using namespace lyx::support;
|
|
|
|
|
|
2003-02-26 17:04:10 +00:00
|
|
|
|
using std::max;
|
|
|
|
|
using lyx::pos_type;
|
|
|
|
|
|
|
|
|
|
extern int PAPER_MARGIN;
|
|
|
|
|
extern int CHANGEBAR_MARGIN;
|
|
|
|
|
extern int LEFT_MARGIN;
|
|
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
|
|
// "temporary". We'll never get to use more
|
|
|
|
|
// references until we start adding hacks like
|
|
|
|
|
// these until other places catch up.
|
|
|
|
|
BufferView * perv(BufferView const & bv)
|
|
|
|
|
{
|
|
|
|
|
return const_cast<BufferView *>(&bv);
|
|
|
|
|
}
|
|
|
|
|
|
2003-07-14 17:50:00 +00:00
|
|
|
|
/**
|
|
|
|
|
* A class used for painting an individual row of text.
|
|
|
|
|
*/
|
|
|
|
|
class RowPainter {
|
|
|
|
|
public:
|
|
|
|
|
/// initialise painter
|
|
|
|
|
RowPainter(BufferView const & bv, LyXText const & text,
|
|
|
|
|
RowList::iterator rit, int y_offset, int x_offset, int y);
|
|
|
|
|
|
|
|
|
|
/// do the painting
|
|
|
|
|
void paint();
|
|
|
|
|
private:
|
|
|
|
|
// paint various parts
|
|
|
|
|
void paintBackground();
|
|
|
|
|
void paintSelection();
|
|
|
|
|
void paintAppendix();
|
|
|
|
|
void paintDepthBar();
|
|
|
|
|
void paintChangeBar();
|
|
|
|
|
void paintFirst();
|
|
|
|
|
void paintLast();
|
2003-07-18 07:47:07 +00:00
|
|
|
|
void paintForeignMark(int orig_x, LyXFont const & orig_font);
|
2003-07-14 17:50:00 +00:00
|
|
|
|
void paintHebrewComposeChar(lyx::pos_type & vpos);
|
|
|
|
|
void paintArabicComposeChar(lyx::pos_type & vpos);
|
|
|
|
|
void paintChars(lyx::pos_type & vpos, bool hebrew, bool arabic);
|
|
|
|
|
int paintPageBreak(string const & label, int y);
|
|
|
|
|
int paintAppendixStart(int y);
|
|
|
|
|
int paintLengthMarker(string const & prefix, VSpace const & vsp, int start);
|
|
|
|
|
void paintText();
|
|
|
|
|
void paintFromPos(lyx::pos_type & vpos);
|
|
|
|
|
void paintInset(lyx::pos_type const pos);
|
|
|
|
|
|
|
|
|
|
/// return left margin
|
|
|
|
|
int leftMargin() const;
|
|
|
|
|
|
|
|
|
|
/// return the font at the given pos
|
|
|
|
|
LyXFont const getFont(lyx::pos_type pos) const;
|
|
|
|
|
|
|
|
|
|
/// return the label font for this row
|
|
|
|
|
LyXFont const getLabelFont() const;
|
|
|
|
|
|
|
|
|
|
char const transformChar(char c, lyx::pos_type pos) const;
|
|
|
|
|
|
|
|
|
|
/// return pixel width for the given pos
|
|
|
|
|
int singleWidth(lyx::pos_type pos) const;
|
|
|
|
|
int singleWidth(lyx::pos_type pos, char c) const;
|
|
|
|
|
|
|
|
|
|
/// bufferview to paint on
|
|
|
|
|
BufferView const & bv_;
|
|
|
|
|
|
|
|
|
|
/// Painter to use
|
|
|
|
|
Painter & pain_;
|
|
|
|
|
|
|
|
|
|
/// LyXText for the row
|
|
|
|
|
LyXText const & text_;
|
|
|
|
|
|
|
|
|
|
/// The row to paint
|
|
|
|
|
RowList::iterator row_;
|
|
|
|
|
|
|
|
|
|
/// Row's paragraph
|
|
|
|
|
mutable ParagraphList::iterator pit_;
|
|
|
|
|
|
|
|
|
|
// Looks ugly - is
|
|
|
|
|
int xo_;
|
|
|
|
|
int yo_;
|
2003-07-18 07:47:07 +00:00
|
|
|
|
int x_;
|
2003-07-14 17:50:00 +00:00
|
|
|
|
int y_;
|
|
|
|
|
int width_;
|
2003-07-18 07:47:07 +00:00
|
|
|
|
int separator_;
|
|
|
|
|
int hfill_;
|
|
|
|
|
int label_hfill_;
|
2003-07-14 17:50:00 +00:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
RowPainter::RowPainter(BufferView const & bv, LyXText const & text,
|
|
|
|
|
RowList::iterator rit,
|
|
|
|
|
int y_offset, int x_offset, int y)
|
|
|
|
|
: bv_(bv), pain_(bv_.painter()), text_(text), row_(rit),
|
|
|
|
|
pit_(rit->par()),
|
|
|
|
|
xo_(x_offset), yo_(y_offset), y_(y)
|
2003-04-01 16:55:48 +00:00
|
|
|
|
{}
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/// "temporary"
|
|
|
|
|
LyXFont const RowPainter::getFont(pos_type pos) const
|
|
|
|
|
{
|
2003-04-09 21:34:31 +00:00
|
|
|
|
return text_.getFont(bv_.buffer(), pit_, pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
int RowPainter::singleWidth(lyx::pos_type pos) const
|
|
|
|
|
{
|
2003-04-09 21:34:31 +00:00
|
|
|
|
return text_.singleWidth(pit_, pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
int RowPainter::singleWidth(lyx::pos_type pos, char c) const
|
|
|
|
|
{
|
2003-04-09 21:34:31 +00:00
|
|
|
|
return text_.singleWidth(pit_, pos, c);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LyXFont const RowPainter::getLabelFont() const
|
|
|
|
|
{
|
2003-05-07 09:26:33 +00:00
|
|
|
|
return text_.getLabelFont(bv_.buffer(), pit_);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
char const RowPainter::transformChar(char c, lyx::pos_type pos) const
|
|
|
|
|
{
|
2003-04-09 21:34:31 +00:00
|
|
|
|
return text_.transformChar(c, *pit_, pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
int RowPainter::leftMargin() const
|
|
|
|
|
{
|
2003-04-01 16:55:48 +00:00
|
|
|
|
return text_.leftMargin(*row_);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2003-03-22 17:26:03 +00:00
|
|
|
|
void RowPainter::paintInset(pos_type const pos)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
{
|
2003-04-09 21:34:31 +00:00
|
|
|
|
Inset * inset = const_cast<Inset*>(pit_->getInset(pos));
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-06-30 23:56:22 +00:00
|
|
|
|
Assert(inset);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-07-18 14:04:49 +00:00
|
|
|
|
//MetricsInfo mi(perv(bv_), getFont(pos), text_.workWidth());
|
|
|
|
|
//Dimension dim;
|
|
|
|
|
//inset->metrics(mi, dim);
|
2003-07-18 07:47:07 +00:00
|
|
|
|
|
2003-05-30 06:48:24 +00:00
|
|
|
|
PainterInfo pi(perv(bv_));
|
|
|
|
|
pi.base.font = getFont(pos);
|
2003-07-18 07:47:07 +00:00
|
|
|
|
#warning metrics?
|
2003-05-30 06:48:24 +00:00
|
|
|
|
inset->draw(pi, int(x_), yo_ + row_->baseline());
|
2003-07-18 14:04:49 +00:00
|
|
|
|
x_ += inset->width();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void RowPainter::paintHebrewComposeChar(pos_type & vpos)
|
|
|
|
|
{
|
|
|
|
|
pos_type pos = text_.vis2log(vpos);
|
|
|
|
|
|
|
|
|
|
string str;
|
|
|
|
|
|
|
|
|
|
// first char
|
2003-04-09 21:34:31 +00:00
|
|
|
|
char c = pit_->getChar(pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
str += c;
|
|
|
|
|
++vpos;
|
|
|
|
|
|
|
|
|
|
LyXFont const & font = getFont(pos);
|
|
|
|
|
int const width = font_metrics::width(c, font);
|
|
|
|
|
int dx = 0;
|
|
|
|
|
|
|
|
|
|
for (pos_type i = pos - 1; i >= 0; --i) {
|
2003-04-09 21:34:31 +00:00
|
|
|
|
c = pit_->getChar(i);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (!Encodings::IsComposeChar_hebrew(c)) {
|
|
|
|
|
if (IsPrintableNonspace(c)) {
|
|
|
|
|
int const width2 =
|
|
|
|
|
singleWidth(i, c);
|
|
|
|
|
// dalet / resh
|
|
|
|
|
dx = (c == '<EFBFBD>' || c == '<EFBFBD>')
|
|
|
|
|
? width2 - width
|
|
|
|
|
: (width2 - width) / 2;
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Draw nikud
|
2003-04-01 10:10:28 +00:00
|
|
|
|
pain_.text(int(x_) + dx, yo_ + row_->baseline(), str, font);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void RowPainter::paintArabicComposeChar(pos_type & vpos)
|
|
|
|
|
{
|
|
|
|
|
pos_type pos = text_.vis2log(vpos);
|
|
|
|
|
string str;
|
|
|
|
|
|
|
|
|
|
// first char
|
2003-04-09 21:34:31 +00:00
|
|
|
|
char c = pit_->getChar(pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
c = transformChar(c, pos);
|
|
|
|
|
str +=c;
|
|
|
|
|
++vpos;
|
|
|
|
|
|
|
|
|
|
LyXFont const & font = getFont(pos);
|
|
|
|
|
int const width = font_metrics::width(c, font);
|
|
|
|
|
int dx = 0;
|
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
for (pos_type i = pos - 1; i >= 0; --i) {
|
|
|
|
|
c = pit_->getChar(i);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (!Encodings::IsComposeChar_arabic(c)) {
|
|
|
|
|
if (IsPrintableNonspace(c)) {
|
|
|
|
|
int const width2 =
|
|
|
|
|
singleWidth(i, c);
|
|
|
|
|
dx = (width2 - width) / 2;
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
// Draw nikud
|
2003-04-01 10:10:28 +00:00
|
|
|
|
pain_.text(int(x_) + dx, yo_ + row_->baseline(), str, font);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void RowPainter::paintChars(pos_type & vpos, bool hebrew, bool arabic)
|
|
|
|
|
{
|
|
|
|
|
pos_type pos = text_.vis2log(vpos);
|
2003-04-01 16:55:48 +00:00
|
|
|
|
pos_type const last = lastPrintablePos(text_, row_);
|
2003-07-15 11:08:02 +00:00
|
|
|
|
LyXFont orig_font = getFont(pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// first character
|
|
|
|
|
string str;
|
2003-04-09 21:34:31 +00:00
|
|
|
|
str += pit_->getChar(pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (arabic) {
|
|
|
|
|
unsigned char c = str[0];
|
|
|
|
|
str[0] = transformChar(c, pos);
|
|
|
|
|
}
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
bool prev_struckout(isDeletedText(*pit_, pos));
|
|
|
|
|
bool prev_newtext(isInsertedText(*pit_, pos));
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-02-26 17:04:10 +00:00
|
|
|
|
++vpos;
|
|
|
|
|
|
|
|
|
|
// collect as much similar chars as we can
|
|
|
|
|
while (vpos <= last && (pos = text_.vis2log(vpos)) >= 0) {
|
2003-04-09 21:34:31 +00:00
|
|
|
|
char c = pit_->getChar(pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
if (!IsPrintableNonspace(c))
|
|
|
|
|
break;
|
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
if (prev_struckout != isDeletedText(*pit_, pos))
|
2003-02-26 17:04:10 +00:00
|
|
|
|
break;
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
if (prev_newtext != isInsertedText(*pit_, pos))
|
2003-02-26 17:04:10 +00:00
|
|
|
|
break;
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (arabic && Encodings::IsComposeChar_arabic(c))
|
|
|
|
|
break;
|
|
|
|
|
if (hebrew && Encodings::IsComposeChar_hebrew(c))
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
if (orig_font != getFont(pos))
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
if (arabic)
|
|
|
|
|
c = transformChar(c, pos);
|
|
|
|
|
str += c;
|
|
|
|
|
++vpos;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (prev_struckout) {
|
|
|
|
|
orig_font.setColor(LColor::strikeout);
|
|
|
|
|
} else if (prev_newtext) {
|
|
|
|
|
orig_font.setColor(LColor::newtext);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Draw text and set the new x position
|
2003-04-01 10:10:28 +00:00
|
|
|
|
pain_.text(int(x_), yo_ + row_->baseline(), str, orig_font);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
x_ += font_metrics::width(str, orig_font);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2003-07-18 07:47:07 +00:00
|
|
|
|
void RowPainter::paintForeignMark(int orig_x, LyXFont const & orig_font)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
{
|
|
|
|
|
if (!lyxrc.mark_foreign_language)
|
|
|
|
|
return;
|
|
|
|
|
if (orig_font.language() == latex_language)
|
|
|
|
|
return;
|
|
|
|
|
if (orig_font.language() == bv_.buffer()->params.language)
|
|
|
|
|
return;
|
|
|
|
|
|
2003-04-01 10:10:28 +00:00
|
|
|
|
int const y = yo_ + row_->baseline() + 1;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
pain_.line(int(orig_x), y, int(x_), y, LColor::language);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2003-03-22 17:26:03 +00:00
|
|
|
|
void RowPainter::paintFromPos(pos_type & vpos)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
{
|
|
|
|
|
pos_type const pos = text_.vis2log(vpos);
|
|
|
|
|
|
|
|
|
|
LyXFont const & orig_font = getFont(pos);
|
|
|
|
|
|
2003-07-18 07:47:07 +00:00
|
|
|
|
int const orig_x = x_;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
char const c = pit_->getChar(pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-03-12 19:16:42 +00:00
|
|
|
|
if (IsInsetChar(c)) {
|
2003-03-22 17:26:03 +00:00
|
|
|
|
paintInset(pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
++vpos;
|
|
|
|
|
paintForeignMark(orig_x, orig_font);
|
2003-03-22 17:26:03 +00:00
|
|
|
|
return;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// usual characters, no insets
|
|
|
|
|
|
|
|
|
|
// special case languages
|
|
|
|
|
bool const hebrew = (orig_font.language()->lang() == "hebrew");
|
|
|
|
|
bool const arabic =
|
|
|
|
|
orig_font.language()->lang() == "arabic" &&
|
|
|
|
|
(lyxrc.font_norm_type == LyXRC::ISO_8859_6_8 ||
|
|
|
|
|
lyxrc.font_norm_type == LyXRC::ISO_10646_1);
|
|
|
|
|
|
|
|
|
|
// draw as many chars as we can
|
|
|
|
|
if ((!hebrew && !arabic)
|
|
|
|
|
|| (hebrew && !Encodings::IsComposeChar_hebrew(c))
|
|
|
|
|
|| (arabic && !Encodings::IsComposeChar_arabic(c))) {
|
|
|
|
|
paintChars(vpos, hebrew, arabic);
|
|
|
|
|
} else if (hebrew) {
|
|
|
|
|
paintHebrewComposeChar(vpos);
|
|
|
|
|
} else if (arabic) {
|
|
|
|
|
paintArabicComposeChar(vpos);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
paintForeignMark(orig_x, orig_font);
|
|
|
|
|
|
2003-03-22 17:26:03 +00:00
|
|
|
|
return;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2003-03-17 01:34:36 +00:00
|
|
|
|
void RowPainter::paintBackground()
|
2003-02-26 17:04:10 +00:00
|
|
|
|
{
|
2003-03-17 01:34:36 +00:00
|
|
|
|
int const x = xo_;
|
|
|
|
|
int const y = yo_ < 0 ? 0 : yo_;
|
2003-04-01 10:10:28 +00:00
|
|
|
|
int const h = yo_ < 0 ? row_->height() + yo_ : row_->height();
|
2003-03-17 01:34:36 +00:00
|
|
|
|
pain_.fillRectangle(x, y, width_, h, text_.backgroundColor());
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void RowPainter::paintSelection()
|
|
|
|
|
{
|
2003-04-09 21:34:31 +00:00
|
|
|
|
bool const is_rtl = pit_->isRightToLeftPar(bv_.buffer()->params);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// the current selection
|
|
|
|
|
int const startx = text_.selection.start.x();
|
|
|
|
|
int const endx = text_.selection.end.x();
|
|
|
|
|
int const starty = text_.selection.start.y();
|
|
|
|
|
int const endy = text_.selection.end.y();
|
2003-06-27 08:38:41 +00:00
|
|
|
|
RowList::iterator startrow = text_.getRow(text_.selection.start);
|
|
|
|
|
RowList::iterator endrow = text_.getRow(text_.selection.end);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
if (text_.bidi_same_direction) {
|
|
|
|
|
int x;
|
|
|
|
|
int y = yo_;
|
|
|
|
|
int w;
|
2003-04-01 10:10:28 +00:00
|
|
|
|
int h = row_->height();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-04-01 10:10:28 +00:00
|
|
|
|
if (startrow == row_ && endrow == row_) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (startx < endx) {
|
|
|
|
|
x = xo_ + startx;
|
|
|
|
|
w = endx - startx;
|
|
|
|
|
pain_.fillRectangle(x, y, w, h, LColor::selection);
|
|
|
|
|
} else {
|
|
|
|
|
x = xo_ + endx;
|
|
|
|
|
w = startx - endx;
|
|
|
|
|
pain_.fillRectangle(x, y, w, h, LColor::selection);
|
|
|
|
|
}
|
2003-04-01 10:10:28 +00:00
|
|
|
|
} else if (startrow == row_) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
int const x = (is_rtl) ? xo_ : (xo_ + startx);
|
|
|
|
|
int const w = (is_rtl) ? startx : (width_ - startx);
|
|
|
|
|
pain_.fillRectangle(x, y, w, h, LColor::selection);
|
2003-04-01 10:10:28 +00:00
|
|
|
|
} else if (endrow == row_) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
int const x = (is_rtl) ? (xo_ + endx) : xo_;
|
|
|
|
|
int const w = (is_rtl) ? (width_ - endx) : endx;
|
|
|
|
|
pain_.fillRectangle(x, y, w, h, LColor::selection);
|
|
|
|
|
} else if (y_ > starty && y_ < endy) {
|
|
|
|
|
pain_.fillRectangle(xo_, y, width_, h, LColor::selection);
|
|
|
|
|
}
|
|
|
|
|
return;
|
2003-04-01 10:10:28 +00:00
|
|
|
|
} else if (startrow != row_ && endrow != row_) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (y_ > starty && y_ < endy) {
|
|
|
|
|
int w = width_;
|
2003-04-01 10:10:28 +00:00
|
|
|
|
int h = row_->height();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
pain_.fillRectangle(xo_, yo_, w, h, LColor::selection);
|
|
|
|
|
}
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
2003-04-01 10:10:28 +00:00
|
|
|
|
if ((startrow != row_ && !is_rtl) || (endrow != row_ && is_rtl))
|
|
|
|
|
pain_.fillRectangle(xo_, yo_, int(x_), row_->height(), LColor::selection);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
pos_type const body_pos = pit_->beginningOfBody();
|
2003-04-01 16:55:48 +00:00
|
|
|
|
pos_type const last = lastPrintablePos(text_, row_);
|
2003-07-18 07:47:07 +00:00
|
|
|
|
int tmpx = x_;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-04-01 10:10:28 +00:00
|
|
|
|
for (pos_type vpos = row_->pos(); vpos <= last; ++vpos) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
pos_type pos = text_.vis2log(vpos);
|
2003-07-18 07:47:07 +00:00
|
|
|
|
int const old_tmpx = tmpx;
|
2003-03-09 12:37:22 +00:00
|
|
|
|
if (body_pos > 0 && pos == body_pos - 1) {
|
2003-04-09 21:34:31 +00:00
|
|
|
|
LyXLayout_ptr const & layout = pit_->layout();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
LyXFont const lfont = getLabelFont();
|
|
|
|
|
|
|
|
|
|
tmpx += label_hfill_ + font_metrics::width(layout->labelsep, lfont);
|
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
if (pit_->isLineSeparator(body_pos - 1))
|
2003-03-09 12:37:22 +00:00
|
|
|
|
tmpx -= singleWidth(body_pos - 1);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
2003-04-01 16:55:48 +00:00
|
|
|
|
if (hfillExpansion(text_, row_, pos)) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
tmpx += singleWidth(pos);
|
2003-03-09 12:37:22 +00:00
|
|
|
|
if (pos >= body_pos)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
tmpx += hfill_;
|
|
|
|
|
else
|
|
|
|
|
tmpx += label_hfill_;
|
|
|
|
|
}
|
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
else if (pit_->isSeparator(pos)) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
tmpx += singleWidth(pos);
|
2003-03-09 12:37:22 +00:00
|
|
|
|
if (pos >= body_pos)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
tmpx += separator_;
|
|
|
|
|
} else {
|
|
|
|
|
tmpx += singleWidth(pos);
|
|
|
|
|
}
|
|
|
|
|
|
2003-04-01 10:10:28 +00:00
|
|
|
|
if ((startrow != row_ || text_.selection.start.pos() <= pos) &&
|
|
|
|
|
(endrow != row_ || pos < text_.selection.end.pos())) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
// Here we do not use x_ as xo_ was added to x_.
|
|
|
|
|
pain_.fillRectangle(int(old_tmpx), yo_,
|
|
|
|
|
int(tmpx - old_tmpx + 1),
|
2003-04-01 10:10:28 +00:00
|
|
|
|
row_->height(), LColor::selection);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2003-04-01 10:10:28 +00:00
|
|
|
|
if ((startrow != row_ && is_rtl) || (endrow != row_ && !is_rtl)) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
pain_.fillRectangle(xo_ + int(tmpx),
|
|
|
|
|
yo_, int(bv_.workWidth() - tmpx),
|
2003-04-01 10:10:28 +00:00
|
|
|
|
row_->height(), LColor::selection);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void RowPainter::paintChangeBar()
|
|
|
|
|
{
|
2003-04-01 10:10:28 +00:00
|
|
|
|
pos_type const start = row_->pos();
|
2003-04-01 16:55:48 +00:00
|
|
|
|
pos_type const end = lastPrintablePos(text_, row_);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
if (!pit_->isChanged(start, end))
|
2003-02-26 17:04:10 +00:00
|
|
|
|
return;
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-04-01 16:55:48 +00:00
|
|
|
|
int const height = (boost::next(row_) != text_.rows().end()
|
|
|
|
|
? row_->height() + boost::next(row_)->top_of_text()
|
2003-04-01 10:10:28 +00:00
|
|
|
|
: row_->baseline());
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-02-26 17:04:10 +00:00
|
|
|
|
pain_.fillRectangle(4, yo_, 5, height, LColor::changebar);
|
|
|
|
|
}
|
|
|
|
|
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-02-26 17:04:10 +00:00
|
|
|
|
void RowPainter::paintAppendix()
|
|
|
|
|
{
|
2003-04-09 21:34:31 +00:00
|
|
|
|
if (!pit_->params().appendix())
|
2003-03-13 19:55:39 +00:00
|
|
|
|
return;
|
|
|
|
|
|
2003-02-26 17:04:10 +00:00
|
|
|
|
// FIXME: can be just width_ ?
|
|
|
|
|
int const ww = bv_.workWidth();
|
|
|
|
|
|
2003-03-13 19:55:39 +00:00
|
|
|
|
int y = yo_;
|
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
if (pit_->params().startOfAppendix())
|
2003-03-13 19:55:39 +00:00
|
|
|
|
y += 2 * defaultRowHeight();
|
|
|
|
|
|
2003-04-01 10:10:28 +00:00
|
|
|
|
pain_.line(1, y, 1, yo_ + row_->height(), LColor::appendix);
|
|
|
|
|
pain_.line(ww - 2, y, ww - 2, yo_ + row_->height(), LColor::appendix);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void RowPainter::paintDepthBar()
|
|
|
|
|
{
|
2003-04-09 21:34:31 +00:00
|
|
|
|
Paragraph::depth_type const depth = pit_->getDepth();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
if (depth <= 0)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
Paragraph::depth_type prev_depth = 0;
|
2003-04-01 16:55:48 +00:00
|
|
|
|
if (row_ != text_.rows().begin())
|
|
|
|
|
prev_depth = boost::prior(row_)->par()->getDepth();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
Paragraph::depth_type next_depth = 0;
|
2003-06-18 17:43:49 +00:00
|
|
|
|
|
|
|
|
|
RowList::iterator next_row = boost::next(row_);
|
|
|
|
|
if (next_row != text_.rows().end())
|
|
|
|
|
next_depth = next_row->par()->getDepth();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
for (Paragraph::depth_type i = 1; i <= depth; ++i) {
|
|
|
|
|
int x = (PAPER_MARGIN / 5) * i + xo_;
|
|
|
|
|
// only consider the changebar space if we're drawing outer left
|
|
|
|
|
if (!xo_)
|
|
|
|
|
x += CHANGEBAR_MARGIN;
|
2003-04-01 10:10:28 +00:00
|
|
|
|
int const h = yo_ + row_->height() - 1 - (i - next_depth - 1) * 3;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
pain_.line(x, yo_, x, h, LColor::depthbar);
|
|
|
|
|
|
|
|
|
|
int const w = PAPER_MARGIN / 5;
|
|
|
|
|
|
|
|
|
|
if (i > prev_depth) {
|
|
|
|
|
pain_.fillRectangle(x, yo_, w, 2, LColor::depthbar);
|
|
|
|
|
}
|
|
|
|
|
if (i > next_depth) {
|
|
|
|
|
pain_.fillRectangle(x, h, w, 2, LColor::depthbar);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
int RowPainter::paintLengthMarker(string const & prefix, VSpace const & vsp, int start)
|
|
|
|
|
{
|
|
|
|
|
if (vsp.kind() == VSpace::NONE)
|
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
|
|
int const arrow_size = 4;
|
|
|
|
|
int const size = getLengthMarkerHeight(bv_, vsp);
|
|
|
|
|
int const end = start + size;
|
|
|
|
|
|
|
|
|
|
// the label to display (if any)
|
|
|
|
|
string str;
|
|
|
|
|
// y-values for top arrow
|
|
|
|
|
int ty1, ty2;
|
|
|
|
|
// y-values for bottom arrow
|
|
|
|
|
int by1, by2;
|
|
|
|
|
|
|
|
|
|
str = prefix + " (" + vsp.asLyXCommand() + ")";
|
|
|
|
|
|
|
|
|
|
if (vsp.kind() == VSpace::VFILL) {
|
|
|
|
|
ty1 = ty2 = start;
|
|
|
|
|
by1 = by2 = end;
|
|
|
|
|
} else {
|
|
|
|
|
// adding or removing space
|
|
|
|
|
bool const added = vsp.kind() != VSpace::LENGTH ||
|
2003-03-04 09:27:27 +00:00
|
|
|
|
vsp.length().len().value() > 0.0;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
ty1 = added ? (start + arrow_size) : start;
|
|
|
|
|
ty2 = added ? start : (start + arrow_size);
|
|
|
|
|
by1 = added ? (end - arrow_size) : end;
|
|
|
|
|
by2 = added ? end : (end - arrow_size);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int const leftx = xo_ + leftMargin();
|
|
|
|
|
int const midx = leftx + arrow_size;
|
|
|
|
|
int const rightx = midx + arrow_size;
|
|
|
|
|
|
|
|
|
|
// first the string
|
|
|
|
|
int w = 0;
|
|
|
|
|
int a = 0;
|
|
|
|
|
int d = 0;
|
|
|
|
|
|
|
|
|
|
LyXFont font;
|
|
|
|
|
font.setColor(LColor::added_space).decSize().decSize();
|
|
|
|
|
font_metrics::rectText(str, font, w, a, d);
|
|
|
|
|
|
|
|
|
|
pain_.rectText(leftx + 2 * arrow_size + 5,
|
|
|
|
|
start + ((end - start) / 2) + d,
|
|
|
|
|
str, font);
|
|
|
|
|
|
|
|
|
|
// top arrow
|
|
|
|
|
pain_.line(leftx, ty1, midx, ty2, LColor::added_space);
|
|
|
|
|
pain_.line(midx, ty2, rightx, ty1, LColor::added_space);
|
|
|
|
|
|
|
|
|
|
// bottom arrow
|
|
|
|
|
pain_.line(leftx, by1, midx, by2, LColor::added_space);
|
|
|
|
|
pain_.line(midx, by2, rightx, by1, LColor::added_space);
|
|
|
|
|
|
|
|
|
|
// joining line
|
|
|
|
|
pain_.line(midx, ty2, midx, by2, LColor::added_space);
|
|
|
|
|
|
|
|
|
|
return size;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
int RowPainter::paintPageBreak(string const & label, int y)
|
|
|
|
|
{
|
|
|
|
|
LyXFont pb_font;
|
|
|
|
|
pb_font.setColor(LColor::pagebreak).decSize();
|
|
|
|
|
|
|
|
|
|
int w = 0;
|
|
|
|
|
int a = 0;
|
|
|
|
|
int d = 0;
|
|
|
|
|
font_metrics::rectText(label, pb_font, w, a, d);
|
|
|
|
|
|
|
|
|
|
int const text_start = xo_ + ((width_ - w) / 2);
|
|
|
|
|
int const text_end = text_start + w;
|
|
|
|
|
|
|
|
|
|
pain_.rectText(text_start, y + d, label, pb_font);
|
|
|
|
|
|
|
|
|
|
pain_.line(xo_, y, text_start, y,
|
|
|
|
|
LColor::pagebreak, Painter::line_onoffdash);
|
|
|
|
|
pain_.line(text_end, y, xo_ + width_, y,
|
|
|
|
|
LColor::pagebreak, Painter::line_onoffdash);
|
|
|
|
|
|
|
|
|
|
return 3 * defaultRowHeight();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2003-03-13 19:55:39 +00:00
|
|
|
|
int RowPainter::paintAppendixStart(int y)
|
|
|
|
|
{
|
|
|
|
|
LyXFont pb_font;
|
|
|
|
|
pb_font.setColor(LColor::appendix).decSize();
|
|
|
|
|
|
|
|
|
|
string const label = _("Appendix");
|
|
|
|
|
int w = 0;
|
|
|
|
|
int a = 0;
|
|
|
|
|
int d = 0;
|
|
|
|
|
font_metrics::rectText(label, pb_font, w, a, d);
|
|
|
|
|
|
|
|
|
|
int const text_start = xo_ + ((width_ - w) / 2);
|
|
|
|
|
int const text_end = text_start + w;
|
|
|
|
|
|
|
|
|
|
pain_.rectText(text_start, y + d, label, pb_font);
|
|
|
|
|
|
|
|
|
|
pain_.line(xo_ + 1, y, text_start, y, LColor::appendix);
|
|
|
|
|
pain_.line(text_end, y, xo_ + width_ - 2, y, LColor::appendix);
|
|
|
|
|
|
|
|
|
|
return 3 * defaultRowHeight();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2003-02-26 17:04:10 +00:00
|
|
|
|
void RowPainter::paintFirst()
|
|
|
|
|
{
|
2003-04-09 21:34:31 +00:00
|
|
|
|
ParagraphParameters const & parparams = pit_->params();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-03-13 19:55:39 +00:00
|
|
|
|
int y_top = 0;
|
|
|
|
|
|
2003-02-26 17:04:10 +00:00
|
|
|
|
// start of appendix?
|
|
|
|
|
if (parparams.startOfAppendix()) {
|
2003-03-13 19:55:39 +00:00
|
|
|
|
y_top += paintAppendixStart(yo_ + y_top + 2 * defaultRowHeight());
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// the top margin
|
2003-04-01 16:55:48 +00:00
|
|
|
|
if (row_ == text_.rows().begin() && !text_.isInInset())
|
2003-02-26 17:04:10 +00:00
|
|
|
|
y_top += PAPER_MARGIN;
|
|
|
|
|
|
|
|
|
|
// draw a top pagebreak
|
|
|
|
|
if (parparams.pagebreakTop()) {
|
|
|
|
|
y_top += paintPageBreak(_("Page Break (top)"),
|
|
|
|
|
yo_ + y_top + 2 * defaultRowHeight());
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// draw the additional space if needed:
|
|
|
|
|
y_top += paintLengthMarker(_("Space above"), parparams.spaceTop(),
|
|
|
|
|
yo_ + y_top);
|
|
|
|
|
|
|
|
|
|
Buffer const * buffer = bv_.buffer();
|
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
LyXLayout_ptr const & layout = pit_->layout();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
if (buffer->params.paragraph_separation == BufferParams::PARSEP_SKIP) {
|
2003-05-22 10:47:31 +00:00
|
|
|
|
if (pit_ != text_.ownerParagraphs().begin()) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (layout->latextype == LATEX_PARAGRAPH
|
2003-04-09 21:34:31 +00:00
|
|
|
|
&& !pit_->getDepth()) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
y_top += buffer->params.getDefSkip().inPixels(bv_);
|
|
|
|
|
} else {
|
|
|
|
|
LyXLayout_ptr const & playout =
|
2003-04-09 21:34:31 +00:00
|
|
|
|
boost::prior(pit_)->layout();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (playout->latextype == LATEX_PARAGRAPH
|
2003-04-09 21:34:31 +00:00
|
|
|
|
&& !boost::prior(pit_)->getDepth()) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
// is it right to use defskip here, too? (AS)
|
|
|
|
|
y_top += buffer->params.getDefSkip().inPixels(bv_);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int const ww = bv_.workWidth();
|
|
|
|
|
|
|
|
|
|
// draw a top line
|
|
|
|
|
if (parparams.lineTop()) {
|
|
|
|
|
int const asc = font_metrics::ascent('x', getFont(0));
|
|
|
|
|
|
|
|
|
|
y_top += asc;
|
|
|
|
|
|
2003-07-18 07:47:07 +00:00
|
|
|
|
int const w = (text_.isInInset() ? text_.inset_owner->width() : ww);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
int const xp = static_cast<int>(text_.isInInset() ? xo_ : 0);
|
|
|
|
|
pain_.line(xp, yo_ + y_top, xp + w, yo_ + y_top,
|
|
|
|
|
LColor::topline, Painter::line_solid,
|
|
|
|
|
Painter::line_thick);
|
|
|
|
|
|
|
|
|
|
y_top += asc;
|
|
|
|
|
}
|
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
bool const is_rtl = pit_->isRightToLeftPar(bv_.buffer()->params);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// should we print a label?
|
|
|
|
|
if (layout->labeltype >= LABEL_STATIC
|
|
|
|
|
&& (layout->labeltype != LABEL_STATIC
|
|
|
|
|
|| layout->latextype != LATEX_ENVIRONMENT
|
2003-04-16 08:12:22 +00:00
|
|
|
|
|| isFirstInSequence(pit_, text_.ownerParagraphs()))) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
LyXFont font = getLabelFont();
|
2003-04-09 21:34:31 +00:00
|
|
|
|
if (!pit_->getLabelstring().empty()) {
|
2003-07-18 07:47:07 +00:00
|
|
|
|
int x = x_;
|
2003-04-09 21:34:31 +00:00
|
|
|
|
string const str = pit_->getLabelstring();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// this is special code for the chapter layout. This is
|
|
|
|
|
// printed in an extra row and has a pagebreak at
|
|
|
|
|
// the top.
|
|
|
|
|
if (layout->labeltype == LABEL_COUNTER_CHAPTER) {
|
|
|
|
|
if (buffer->params.secnumdepth >= 0) {
|
|
|
|
|
float spacing_val = 1.0;
|
|
|
|
|
if (!parparams.spacing().isDefault()) {
|
|
|
|
|
spacing_val = parparams.spacing().getValue();
|
|
|
|
|
} else {
|
|
|
|
|
spacing_val = buffer->params.spacing.getValue();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int const maxdesc =
|
|
|
|
|
int(font_metrics::maxDescent(font) * layout->spacing.getValue() * spacing_val)
|
|
|
|
|
+ int(layout->parsep) * defaultRowHeight();
|
|
|
|
|
|
|
|
|
|
if (is_rtl) {
|
|
|
|
|
x = ww - leftMargin() -
|
|
|
|
|
font_metrics::width(str, font);
|
|
|
|
|
}
|
|
|
|
|
|
2003-07-18 07:47:07 +00:00
|
|
|
|
pain_.text(x,
|
2003-04-01 10:10:28 +00:00
|
|
|
|
yo_ + row_->baseline() -
|
|
|
|
|
row_->ascent_of_text() - maxdesc,
|
2003-02-26 17:04:10 +00:00
|
|
|
|
str, font);
|
|
|
|
|
}
|
|
|
|
|
} else {
|
|
|
|
|
if (is_rtl) {
|
|
|
|
|
x = ww - leftMargin()
|
|
|
|
|
+ font_metrics::width(layout->labelsep, font);
|
|
|
|
|
} else {
|
|
|
|
|
x = x_ - font_metrics::width(layout->labelsep, font)
|
|
|
|
|
- font_metrics::width(str, font);
|
|
|
|
|
}
|
|
|
|
|
|
2003-07-18 07:47:07 +00:00
|
|
|
|
pain_.text(x, yo_ + row_->baseline(), str, font);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// the labels at the top of an environment.
|
|
|
|
|
// More or less for bibliography
|
2003-04-16 08:12:22 +00:00
|
|
|
|
} else if (isFirstInSequence(pit_, text_.ownerParagraphs()) &&
|
2003-02-26 17:04:10 +00:00
|
|
|
|
(layout->labeltype == LABEL_TOP_ENVIRONMENT ||
|
|
|
|
|
layout->labeltype == LABEL_BIBLIO ||
|
|
|
|
|
layout->labeltype == LABEL_CENTERED_TOP_ENVIRONMENT)) {
|
|
|
|
|
LyXFont font = getLabelFont();
|
2003-04-09 21:34:31 +00:00
|
|
|
|
if (!pit_->getLabelstring().empty()) {
|
|
|
|
|
string const str = pit_->getLabelstring();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
float spacing_val = 1.0;
|
|
|
|
|
if (!parparams.spacing().isDefault()) {
|
|
|
|
|
spacing_val = parparams.spacing().getValue();
|
|
|
|
|
} else {
|
|
|
|
|
spacing_val = buffer->params.spacing.getValue();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int maxdesc =
|
|
|
|
|
int(font_metrics::maxDescent(font) * layout->spacing.getValue() * spacing_val
|
|
|
|
|
+ (layout->labelbottomsep * defaultRowHeight()));
|
|
|
|
|
|
2003-07-18 07:47:07 +00:00
|
|
|
|
int x = x_;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (layout->labeltype == LABEL_CENTERED_TOP_ENVIRONMENT) {
|
|
|
|
|
x = ((is_rtl ? leftMargin() : x_)
|
2003-04-01 10:10:28 +00:00
|
|
|
|
+ ww - text_.rightMargin(*bv_.buffer(), *row_)) / 2;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
x -= font_metrics::width(str, font) / 2;
|
|
|
|
|
} else if (is_rtl) {
|
|
|
|
|
x = ww - leftMargin() -
|
|
|
|
|
font_metrics::width(str, font);
|
|
|
|
|
}
|
2003-07-18 07:47:07 +00:00
|
|
|
|
pain_.text(x, yo_ + row_->baseline()
|
2003-04-01 10:10:28 +00:00
|
|
|
|
- row_->ascent_of_text() - maxdesc,
|
2003-02-26 17:04:10 +00:00
|
|
|
|
str, font);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void RowPainter::paintLast()
|
|
|
|
|
{
|
2003-04-09 21:34:31 +00:00
|
|
|
|
ParagraphParameters const & parparams = pit_->params();
|
2003-04-01 10:10:28 +00:00
|
|
|
|
int y_bottom = row_->height() - 1;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// the bottom margin
|
2003-04-01 16:55:48 +00:00
|
|
|
|
if (boost::next(row_) == text_.rows().end() && !text_.isInInset())
|
2003-02-26 17:04:10 +00:00
|
|
|
|
y_bottom -= PAPER_MARGIN;
|
|
|
|
|
|
|
|
|
|
int const ww = bv_.workWidth();
|
|
|
|
|
|
|
|
|
|
// draw a bottom pagebreak
|
|
|
|
|
if (parparams.pagebreakBottom()) {
|
|
|
|
|
y_bottom -= paintPageBreak(_("Page Break (bottom)"),
|
|
|
|
|
yo_ + y_bottom - 2 * defaultRowHeight());
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// draw the additional space if needed:
|
|
|
|
|
int const height = getLengthMarkerHeight(bv_, parparams.spaceBottom());
|
|
|
|
|
y_bottom -= paintLengthMarker(_("Space below"), parparams.spaceBottom(),
|
|
|
|
|
yo_ + y_bottom - height);
|
|
|
|
|
|
|
|
|
|
// draw a bottom line
|
|
|
|
|
if (parparams.lineBottom()) {
|
|
|
|
|
int const asc = font_metrics::ascent('x',
|
2003-04-09 21:34:31 +00:00
|
|
|
|
getFont(max(pos_type(0), pit_->size() - 1)));
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
y_bottom -= asc;
|
|
|
|
|
|
2003-07-18 07:47:07 +00:00
|
|
|
|
int const w = text_.isInInset() ? text_.inset_owner->width() : ww;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
int const xp = static_cast<int>(text_.isInInset() ? xo_ : 0);
|
|
|
|
|
int const y = yo_ + y_bottom;
|
|
|
|
|
pain_.line(xp, y, xp + w, y, LColor::topline, Painter::line_solid,
|
|
|
|
|
Painter::line_thick);
|
|
|
|
|
|
|
|
|
|
y_bottom -= asc;
|
|
|
|
|
}
|
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
bool const is_rtl = pit_->isRightToLeftPar(bv_.buffer()->params);
|
2003-04-16 08:12:22 +00:00
|
|
|
|
int const endlabel = getEndLabel(pit_, text_.ownerParagraphs());
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// draw an endlabel
|
|
|
|
|
switch (endlabel) {
|
|
|
|
|
case END_LABEL_BOX:
|
|
|
|
|
case END_LABEL_FILLED_BOX:
|
|
|
|
|
{
|
|
|
|
|
LyXFont const font = getLabelFont();
|
|
|
|
|
int const size = int(0.75 * font_metrics::maxAscent(font));
|
2003-04-01 10:10:28 +00:00
|
|
|
|
int const y = (yo_ + row_->baseline()) - size;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
int x = is_rtl ? LEFT_MARGIN : ww - PAPER_MARGIN - size;
|
|
|
|
|
|
2003-04-01 10:10:28 +00:00
|
|
|
|
if (row_->fill() <= size)
|
|
|
|
|
x += (size - row_->fill() + 1) * (is_rtl ? -1 : 1);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
if (endlabel == END_LABEL_BOX) {
|
|
|
|
|
pain_.rectangle(x, y, size, size, LColor::eolmarker);
|
|
|
|
|
} else {
|
|
|
|
|
pain_.fillRectangle(x, y, size, size, LColor::eolmarker);
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
case END_LABEL_STATIC:
|
|
|
|
|
{
|
|
|
|
|
LyXFont font = getLabelFont();
|
2003-04-09 21:34:31 +00:00
|
|
|
|
string const & str = pit_->layout()->endlabelstring();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
int const x = is_rtl ?
|
2003-07-18 07:47:07 +00:00
|
|
|
|
x_ - font_metrics::width(str, font)
|
2003-04-01 10:10:28 +00:00
|
|
|
|
: ww - text_.rightMargin(*bv_.buffer(), *row_) - row_->fill();
|
|
|
|
|
pain_.text(x, yo_ + row_->baseline(), str, font);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
case END_LABEL_NO_LABEL:
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2003-03-22 17:26:03 +00:00
|
|
|
|
void RowPainter::paintText()
|
2003-02-26 17:04:10 +00:00
|
|
|
|
{
|
2003-04-01 16:55:48 +00:00
|
|
|
|
pos_type const last = lastPrintablePos(text_, row_);
|
2003-04-09 21:34:31 +00:00
|
|
|
|
pos_type body_pos = pit_->beginningOfBody();
|
2003-03-09 12:37:22 +00:00
|
|
|
|
if (body_pos > 0 &&
|
|
|
|
|
(body_pos - 1 > last ||
|
2003-04-09 21:34:31 +00:00
|
|
|
|
!pit_->isLineSeparator(body_pos - 1))) {
|
2003-03-09 12:37:22 +00:00
|
|
|
|
body_pos = 0;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
LyXLayout_ptr const & layout = pit_->layout();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
bool running_strikeout = false;
|
|
|
|
|
bool is_struckout = false;
|
2003-07-18 07:47:07 +00:00
|
|
|
|
int last_strikeout_x = 0;
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-04-01 10:10:28 +00:00
|
|
|
|
pos_type vpos = row_->pos();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
while (vpos <= last) {
|
|
|
|
|
if (x_ > bv_.workWidth())
|
|
|
|
|
break;
|
|
|
|
|
pos_type pos = text_.vis2log(vpos);
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
if (pos >= pit_->size()) {
|
2003-03-13 10:30:28 +00:00
|
|
|
|
++vpos;
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (x_ + singleWidth(pos) < 0) {
|
|
|
|
|
x_ += singleWidth(pos);
|
|
|
|
|
++vpos;
|
|
|
|
|
continue;
|
|
|
|
|
}
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
is_struckout = isDeletedText(*pit_, pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
if (is_struckout && !running_strikeout) {
|
|
|
|
|
running_strikeout = true;
|
|
|
|
|
last_strikeout_x = x_;
|
|
|
|
|
}
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
bool const highly_editable_inset = pit_->isInset(pos)
|
|
|
|
|
&& isHighlyEditableInset(pit_->getInset(pos));
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// if we reach the end of a struck out range, paint it
|
|
|
|
|
// we also don't paint across things like tables
|
|
|
|
|
if (running_strikeout && (highly_editable_inset || !is_struckout)) {
|
2003-04-01 10:10:28 +00:00
|
|
|
|
int const middle = yo_ + row_->top_of_text()
|
|
|
|
|
+ ((row_->baseline() - row_->top_of_text()) / 2);
|
2003-07-18 07:47:07 +00:00
|
|
|
|
pain_.line(last_strikeout_x, middle, x_, middle,
|
2003-02-26 17:04:10 +00:00
|
|
|
|
LColor::strikeout, Painter::line_solid, Painter::line_thin);
|
|
|
|
|
running_strikeout = false;
|
|
|
|
|
}
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-03-09 12:37:22 +00:00
|
|
|
|
if (body_pos > 0 && pos == body_pos - 1) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
int const lwidth = font_metrics::width(layout->labelsep,
|
|
|
|
|
getLabelFont());
|
|
|
|
|
|
|
|
|
|
x_ += label_hfill_ + lwidth
|
2003-03-09 12:37:22 +00:00
|
|
|
|
- singleWidth(body_pos - 1);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
2003-04-09 21:34:31 +00:00
|
|
|
|
if (pit_->isHfill(pos)) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
x_ += 1;
|
|
|
|
|
|
2003-04-01 10:10:28 +00:00
|
|
|
|
int const y0 = yo_ + row_->baseline();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
int const y1 = y0 - defaultRowHeight() / 2;
|
|
|
|
|
|
2003-07-18 07:47:07 +00:00
|
|
|
|
pain_.line(x_, y1, x_, y0,
|
2003-02-26 17:04:10 +00:00
|
|
|
|
LColor::added_space);
|
|
|
|
|
|
2003-04-01 16:55:48 +00:00
|
|
|
|
if (hfillExpansion(text_, row_, pos)) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
int const y2 = (y0 + y1) / 2;
|
|
|
|
|
|
2003-03-09 12:37:22 +00:00
|
|
|
|
if (pos >= body_pos) {
|
2003-07-18 07:47:07 +00:00
|
|
|
|
pain_.line(x_, y2, x_ + hfill_, y2,
|
2003-02-26 17:04:10 +00:00
|
|
|
|
LColor::added_space,
|
|
|
|
|
Painter::line_onoffdash);
|
|
|
|
|
x_ += hfill_;
|
|
|
|
|
} else {
|
2003-07-18 07:47:07 +00:00
|
|
|
|
pain_.line(x_, y2,
|
|
|
|
|
x_ + label_hfill_, y2,
|
2003-02-26 17:04:10 +00:00
|
|
|
|
LColor::added_space,
|
|
|
|
|
Painter::line_onoffdash);
|
|
|
|
|
x_ += label_hfill_;
|
|
|
|
|
}
|
2003-07-18 07:47:07 +00:00
|
|
|
|
pain_.line(x_, y1, x_, y0, LColor::added_space);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
x_ += 2;
|
|
|
|
|
++vpos;
|
2003-04-09 21:34:31 +00:00
|
|
|
|
} else if (pit_->isSeparator(pos)) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
x_ += singleWidth(pos);
|
2003-03-09 12:37:22 +00:00
|
|
|
|
if (pos >= body_pos)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
x_ += separator_;
|
|
|
|
|
++vpos;
|
|
|
|
|
} else {
|
2003-03-22 17:26:03 +00:00
|
|
|
|
paintFromPos(vpos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-02-26 17:04:10 +00:00
|
|
|
|
// if we reach the end of a struck out range, paint it
|
|
|
|
|
if (running_strikeout) {
|
2003-04-01 10:10:28 +00:00
|
|
|
|
int const middle = yo_ + row_->top_of_text()
|
|
|
|
|
+ ((row_->baseline() - row_->top_of_text()) / 2);
|
2003-07-18 07:47:07 +00:00
|
|
|
|
pain_.line(last_strikeout_x, middle, x_, middle,
|
2003-02-26 17:04:10 +00:00
|
|
|
|
LColor::strikeout, Painter::line_solid, Painter::line_thin);
|
|
|
|
|
running_strikeout = false;
|
|
|
|
|
}
|
2003-03-22 17:26:03 +00:00
|
|
|
|
return;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2003-07-14 17:50:00 +00:00
|
|
|
|
void RowPainter::paint()
|
2003-02-26 17:04:10 +00:00
|
|
|
|
{
|
2003-07-18 12:05:50 +00:00
|
|
|
|
width_ = text_.workWidth();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// FIXME: must be a cleaner way here. Aren't these calculations
|
|
|
|
|
// belonging to row metrics ?
|
2003-04-01 10:10:28 +00:00
|
|
|
|
text_.prepareToPrint(row_, x_, separator_, hfill_, label_hfill_);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// FIXME: what is this fixing ?
|
2003-07-18 14:04:49 +00:00
|
|
|
|
if (text_.isInInset() && x_ < 0)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
x_ = 0;
|
|
|
|
|
x_ += xo_;
|
|
|
|
|
|
2003-03-17 01:34:36 +00:00
|
|
|
|
// If we're *not* at the top-level of rows, then the
|
|
|
|
|
// background has already been cleared.
|
|
|
|
|
if (&text_ == bv_.text)
|
|
|
|
|
paintBackground();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// paint the selection background
|
|
|
|
|
if (text_.selection.set()) {
|
|
|
|
|
paintSelection();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// vertical lines for appendix
|
|
|
|
|
paintAppendix();
|
|
|
|
|
|
|
|
|
|
// environment depth brackets
|
|
|
|
|
paintDepthBar();
|
|
|
|
|
|
|
|
|
|
// changebar
|
|
|
|
|
paintChangeBar();
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-04-01 10:10:28 +00:00
|
|
|
|
if (row_->isParStart()) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
paintFirst();
|
|
|
|
|
}
|
|
|
|
|
|
2003-04-01 16:55:48 +00:00
|
|
|
|
if (isParEnd(text_, row_)) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
paintLast();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// paint text
|
2003-03-22 17:26:03 +00:00
|
|
|
|
paintText();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
2003-07-14 17:50:00 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
} // namespace anon
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
int getLengthMarkerHeight(BufferView const & bv, VSpace const & vsp)
|
|
|
|
|
{
|
|
|
|
|
if (vsp.kind() == VSpace::NONE)
|
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
|
|
int const arrow_size = 4;
|
2003-07-18 07:47:07 +00:00
|
|
|
|
int const space_size = vsp.inPixels(bv);
|
2003-07-14 17:50:00 +00:00
|
|
|
|
|
|
|
|
|
LyXFont font;
|
|
|
|
|
font.decSize();
|
|
|
|
|
int const min_size = max(3 * arrow_size,
|
|
|
|
|
font_metrics::maxAscent(font)
|
|
|
|
|
+ font_metrics::maxDescent(font));
|
|
|
|
|
|
|
|
|
|
if (vsp.length().len().value() < 0.0)
|
|
|
|
|
return min_size;
|
|
|
|
|
else
|
|
|
|
|
return max(min_size, space_size);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void paintRows(BufferView const & bv, LyXText const & text,
|
|
|
|
|
RowList::iterator rit, int y_offset, int x_offset, int y)
|
|
|
|
|
{
|
|
|
|
|
RowPainter painter(bv, text, rit, y_offset, x_offset, y);
|
|
|
|
|
painter.paint();
|
|
|
|
|
}
|