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
|
|
|
|
|
*
|
2003-08-23 00:17:00 +00:00
|
|
|
|
* Full author contact details are available in file CREDITS.
|
2003-02-26 17:04:10 +00:00
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <config.h>
|
|
|
|
|
|
2003-09-06 23:36:02 +00:00
|
|
|
|
#include "rowpainter.h"
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
#include "buffer.h"
|
2003-10-22 16:30:57 +00:00
|
|
|
|
#include "debug.h"
|
2003-09-09 11:24:33 +00:00
|
|
|
|
#include "bufferparams.h"
|
2003-09-06 23:36:02 +00:00
|
|
|
|
#include "BufferView.h"
|
|
|
|
|
#include "encoding.h"
|
2003-02-26 17:04:10 +00:00
|
|
|
|
#include "gettext.h"
|
|
|
|
|
#include "language.h"
|
2003-09-16 10:30:59 +00:00
|
|
|
|
#include "LColor.h"
|
2003-09-06 23:36:02 +00:00
|
|
|
|
#include "lyxrc.h"
|
2003-09-06 12:36:58 +00:00
|
|
|
|
#include "lyxrow.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-09-16 12:12:33 +00:00
|
|
|
|
#include "paragraph.h"
|
2003-09-06 23:36:02 +00:00
|
|
|
|
#include "paragraph_funcs.h"
|
|
|
|
|
#include "ParagraphParameters.h"
|
2003-09-09 17:00:19 +00:00
|
|
|
|
#include "vspace.h"
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-09-06 23:36:02 +00:00
|
|
|
|
#include "frontends/font_metrics.h"
|
|
|
|
|
#include "frontends/Painter.h"
|
|
|
|
|
|
|
|
|
|
#include "insets/insettext.h"
|
|
|
|
|
|
|
|
|
|
#include "support/textutils.h"
|
2003-06-30 23:56:22 +00:00
|
|
|
|
|
|
|
|
|
|
2003-02-26 17:04:10 +00:00
|
|
|
|
using lyx::pos_type;
|
2003-10-06 15:43:21 +00:00
|
|
|
|
using std::max;
|
|
|
|
|
using std::string;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
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,
|
2003-08-14 12:06:11 +00:00
|
|
|
|
ParagraphList::iterator pit,
|
2003-07-14 17:50:00 +00:00
|
|
|
|
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-28 12:20:42 +00:00
|
|
|
|
void paintForeignMark(double 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 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;
|
|
|
|
|
|
|
|
|
|
/// 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
|
2003-10-23 08:15:57 +00:00
|
|
|
|
RowList::iterator const rit_;
|
|
|
|
|
Row & row_;
|
2003-07-14 17:50:00 +00:00
|
|
|
|
|
|
|
|
|
/// Row's paragraph
|
|
|
|
|
mutable ParagraphList::iterator pit_;
|
|
|
|
|
|
|
|
|
|
// Looks ugly - is
|
2003-07-28 12:20:42 +00:00
|
|
|
|
double xo_;
|
2003-07-14 17:50:00 +00:00
|
|
|
|
int yo_;
|
2003-07-28 12:20:42 +00:00
|
|
|
|
double x_;
|
2003-07-14 17:50:00 +00:00
|
|
|
|
int y_;
|
|
|
|
|
int width_;
|
2003-07-28 12:20:42 +00:00
|
|
|
|
double separator_;
|
|
|
|
|
double hfill_;
|
|
|
|
|
double label_hfill_;
|
2003-07-14 17:50:00 +00:00
|
|
|
|
};
|
|
|
|
|
|
2003-07-28 12:20:42 +00:00
|
|
|
|
|
2003-07-14 17:50:00 +00:00
|
|
|
|
RowPainter::RowPainter(BufferView const & bv, LyXText const & text,
|
2003-08-14 12:06:11 +00:00
|
|
|
|
ParagraphList::iterator pit, RowList::iterator rit,
|
2003-07-14 17:50:00 +00:00
|
|
|
|
int y_offset, int x_offset, int y)
|
2003-10-23 08:15:57 +00:00
|
|
|
|
: bv_(bv), pain_(bv_.painter()), text_(text), rit_(rit), row_(*rit),
|
2003-10-27 12:41:26 +00:00
|
|
|
|
pit_(pit), xo_(x_offset), yo_(y_offset),
|
|
|
|
|
x_(row_.x()), y_(y),
|
|
|
|
|
width_(text_.workWidth()),
|
|
|
|
|
separator_(row_.fill_separator()),
|
|
|
|
|
hfill_(row_.fill_hfill()),
|
|
|
|
|
label_hfill_(row_.fill_label_hfill())
|
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-07-27 21:59:06 +00:00
|
|
|
|
return text_.getFont(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-08-22 07:49:57 +00:00
|
|
|
|
LyXFont const & font = text_.getFont(pit_, pos);
|
|
|
|
|
return text_.singleWidth(pit_, pos, c, font);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
LyXFont const RowPainter::getLabelFont() const
|
|
|
|
|
{
|
2003-07-27 21:59:06 +00:00
|
|
|
|
return text_.getLabelFont(pit_);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
int RowPainter::leftMargin() const
|
|
|
|
|
{
|
2003-10-23 08:15:57 +00:00
|
|
|
|
return text_.leftMargin(pit_, 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-07-25 21:20:24 +00:00
|
|
|
|
InsetOld * inset = const_cast<InsetOld*>(pit_->getInset(pos));
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-09-09 17:25:35 +00:00
|
|
|
|
BOOST_ASSERT(inset);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-05-30 06:48:24 +00:00
|
|
|
|
PainterInfo pi(perv(bv_));
|
|
|
|
|
pi.base.font = getFont(pos);
|
2003-10-23 08:15:57 +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)
|
|
|
|
|
{
|
2003-10-23 13:28:49 +00:00
|
|
|
|
pos_type pos = text_.bidi.vis2log(vpos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
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)) {
|
2003-10-23 08:15:57 +00:00
|
|
|
|
int const width2 = singleWidth(i, c);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
// dalet / resh
|
|
|
|
|
dx = (c == '<EFBFBD>' || c == '<EFBFBD>')
|
|
|
|
|
? width2 - width
|
|
|
|
|
: (width2 - width) / 2;
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Draw nikud
|
2003-10-23 08:15:57 +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)
|
|
|
|
|
{
|
2003-10-23 13:28:49 +00:00
|
|
|
|
pos_type pos = text_.bidi.vis2log(vpos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
string str;
|
|
|
|
|
|
|
|
|
|
// first char
|
2003-04-09 21:34:31 +00:00
|
|
|
|
char c = pit_->getChar(pos);
|
2003-10-27 12:41:26 +00:00
|
|
|
|
c = pit_->transformChar(c, 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;
|
|
|
|
|
|
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)) {
|
2003-10-23 08:15:57 +00:00
|
|
|
|
int const width2 = singleWidth(i, c);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
dx = (width2 - width) / 2;
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
// Draw nikud
|
2003-10-23 08:15:57 +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)
|
|
|
|
|
{
|
2003-10-23 13:28:49 +00:00
|
|
|
|
pos_type pos = text_.bidi.vis2log(vpos);
|
2003-10-27 11:44:10 +00:00
|
|
|
|
pos_type const end = row_.endpos();
|
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];
|
2003-10-27 12:41:26 +00:00
|
|
|
|
str[0] = pit_->transformChar(c, pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-10-23 08:15:57 +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
|
2003-10-27 11:44:10 +00:00
|
|
|
|
while (vpos < end && (pos = text_.bidi.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;
|
2003-10-23 08:15:57 +00:00
|
|
|
|
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (hebrew && Encodings::IsComposeChar_hebrew(c))
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
if (orig_font != getFont(pos))
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
if (arabic)
|
2003-10-27 12:41:26 +00:00
|
|
|
|
c = pit_->transformChar(c, pos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
str += c;
|
|
|
|
|
++vpos;
|
|
|
|
|
}
|
|
|
|
|
|
2003-10-27 12:41:26 +00:00
|
|
|
|
if (prev_struckout)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
orig_font.setColor(LColor::strikeout);
|
2003-10-27 12:41:26 +00:00
|
|
|
|
else if (prev_newtext)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
orig_font.setColor(LColor::newtext);
|
|
|
|
|
|
|
|
|
|
// Draw text and set the new x position
|
2003-10-23 08:15:57 +00:00
|
|
|
|
//lyxerr << "paint row: yo_ " << yo_ << " baseline: " << row_.baseline()
|
2003-07-22 15:12:04 +00:00
|
|
|
|
// << "\n";
|
2003-10-23 08:15:57 +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-28 12:20:42 +00:00
|
|
|
|
void RowPainter::paintForeignMark(double 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;
|
2003-09-09 09:47:59 +00:00
|
|
|
|
if (orig_font.language() == bv_.buffer()->params().language)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
return;
|
|
|
|
|
|
2003-10-23 08:15:57 +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
|
|
|
|
{
|
2003-10-23 13:28:49 +00:00
|
|
|
|
pos_type const pos = text_.bidi.vis2log(vpos);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
LyXFont const & orig_font = getFont(pos);
|
|
|
|
|
|
2003-07-28 12:20:42 +00:00
|
|
|
|
double 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-09-16 12:12:33 +00:00
|
|
|
|
if (c == Paragraph::META_INSET) {
|
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-07-28 12:20:42 +00:00
|
|
|
|
int const x = int(xo_);
|
2003-03-17 01:34:36 +00:00
|
|
|
|
int const y = yo_ < 0 ? 0 : yo_;
|
2003-10-23 08:15:57 +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-09-09 09:47:59 +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-10-24 09:45:07 +00:00
|
|
|
|
ParagraphList::iterator startpit = text_.getPar(text_.selection.start);
|
|
|
|
|
ParagraphList::iterator endpit = text_.getPar(text_.selection.end);
|
|
|
|
|
RowList::iterator startrow = startpit->getRow(text_.selection.start.pos());
|
|
|
|
|
RowList::iterator endrow = endpit->getRow(text_.selection.end.pos());
|
2003-10-27 12:41:26 +00:00
|
|
|
|
int const h = row_.height();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-10-23 13:28:49 +00:00
|
|
|
|
if (text_.bidi.same_direction()) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
int x;
|
|
|
|
|
int y = yo_;
|
|
|
|
|
int w;
|
|
|
|
|
|
2003-10-23 08:15:57 +00:00
|
|
|
|
if (startrow == rit_ && endrow == rit_) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (startx < endx) {
|
2003-07-28 12:20:42 +00:00
|
|
|
|
x = int(xo_) + startx;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
w = endx - startx;
|
|
|
|
|
} else {
|
2003-07-28 12:20:42 +00:00
|
|
|
|
x = int(xo_) + endx;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
w = startx - endx;
|
|
|
|
|
}
|
2003-10-27 12:41:26 +00:00
|
|
|
|
pain_.fillRectangle(x, y, w, h, LColor::selection);
|
2003-10-23 08:15:57 +00:00
|
|
|
|
} else if (startrow == rit_) {
|
2003-07-28 12:20:42 +00:00
|
|
|
|
int const x = is_rtl ? int(xo_) : int(xo_ + startx);
|
|
|
|
|
int const w = is_rtl ? startx : (width_ - startx);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
pain_.fillRectangle(x, y, w, h, LColor::selection);
|
2003-10-23 08:15:57 +00:00
|
|
|
|
} else if (endrow == rit_) {
|
2003-07-28 12:20:42 +00:00
|
|
|
|
int const x = is_rtl ? int(xo_ + endx) : int(xo_);
|
|
|
|
|
int const w = is_rtl ? (width_ - endx) : endx;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
pain_.fillRectangle(x, y, w, h, LColor::selection);
|
|
|
|
|
} else if (y_ > starty && y_ < endy) {
|
2003-07-28 12:20:42 +00:00
|
|
|
|
pain_.fillRectangle(int(xo_), y, width_, h, LColor::selection);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
return;
|
2003-10-27 12:41:26 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (startrow != rit_ && endrow != rit_) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (y_ > starty && y_ < endy) {
|
|
|
|
|
int w = width_;
|
2003-07-28 12:20:42 +00:00
|
|
|
|
pain_.fillRectangle(int(xo_), yo_, w, h, LColor::selection);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
2003-10-23 08:15:57 +00:00
|
|
|
|
if ((startrow != rit_ && !is_rtl) || (endrow != rit_ && is_rtl))
|
2003-07-28 12:20:42 +00:00
|
|
|
|
pain_.fillRectangle(int(xo_), yo_,
|
2003-10-27 12:41:26 +00:00
|
|
|
|
int(x_), h, 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-10-27 11:44:10 +00:00
|
|
|
|
pos_type const end = row_.endpos();
|
2003-07-28 12:20:42 +00:00
|
|
|
|
double tmpx = x_;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-10-27 11:44:10 +00:00
|
|
|
|
for (pos_type vpos = row_.pos(); vpos < end; ++vpos) {
|
2003-10-23 13:28:49 +00:00
|
|
|
|
pos_type pos = text_.bidi.vis2log(vpos);
|
2003-07-28 12:20:42 +00:00
|
|
|
|
double 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-10-23 08:15:57 +00:00
|
|
|
|
if (hfillExpansion(*pit_, 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-10-23 08:15:57 +00:00
|
|
|
|
if ((startrow != rit_ || text_.selection.start.pos() <= pos) &&
|
|
|
|
|
(endrow != rit_ || 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_,
|
2003-10-27 12:41:26 +00:00
|
|
|
|
int(tmpx - old_tmpx + 1), h, LColor::selection);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2003-10-23 08:15:57 +00:00
|
|
|
|
if ((startrow != rit_ && is_rtl) || (endrow != rit_ && !is_rtl)) {
|
2003-07-28 12:20:42 +00:00
|
|
|
|
pain_.fillRectangle(int(xo_ + tmpx),
|
2003-10-27 12:41:26 +00:00
|
|
|
|
yo_, int(bv_.workWidth() - tmpx), h, LColor::selection);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void RowPainter::paintChangeBar()
|
|
|
|
|
{
|
2003-10-23 08:15:57 +00:00
|
|
|
|
pos_type const start = row_.pos();
|
2003-10-27 11:44:10 +00:00
|
|
|
|
pos_type const end = row_.endpos();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-10-27 11:44:10 +00:00
|
|
|
|
if (start == end || !pit_->isChanged(start, end - 1))
|
2003-02-26 17:04:10 +00:00
|
|
|
|
return;
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-10-23 08:15:57 +00:00
|
|
|
|
int const height = text_.isLastRow(pit_, row_)
|
|
|
|
|
? row_.baseline()
|
|
|
|
|
: row_.height() + boost::next(rit_)->top_of_text();
|
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-10-23 08:15:57 +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-10-23 08:15:57 +00:00
|
|
|
|
if (!text_.isFirstRow(pit_, row_)) {
|
2003-08-14 12:06:11 +00:00
|
|
|
|
ParagraphList::iterator pit2 = pit_;
|
2003-10-23 08:15:57 +00:00
|
|
|
|
if (row_.pos() == 0)
|
2003-08-14 12:06:11 +00:00
|
|
|
|
--pit2;
|
|
|
|
|
prev_depth = pit2->getDepth();
|
|
|
|
|
}
|
2003-06-18 17:43:49 +00:00
|
|
|
|
|
2003-08-14 12:06:11 +00:00
|
|
|
|
Paragraph::depth_type next_depth = 0;
|
2003-10-23 08:15:57 +00:00
|
|
|
|
if (!text_.isLastRow(pit_, row_)) {
|
2003-08-14 12:06:11 +00:00
|
|
|
|
ParagraphList::iterator pit2 = pit_;
|
2003-10-23 08:15:57 +00:00
|
|
|
|
if (row_.endpos() >= pit2->size())
|
2003-08-14 12:06:11 +00:00
|
|
|
|
++pit2;
|
|
|
|
|
next_depth = pit2->getDepth();
|
|
|
|
|
}
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
for (Paragraph::depth_type i = 1; i <= depth; ++i) {
|
2003-07-28 12:20:42 +00:00
|
|
|
|
int const w = PAPER_MARGIN / 5;
|
|
|
|
|
int x = int(w * i + xo_);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
// only consider the changebar space if we're drawing outer left
|
2003-10-27 12:41:26 +00:00
|
|
|
|
if (xo_ == 0)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
x += CHANGEBAR_MARGIN;
|
2003-10-23 08:15:57 +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);
|
|
|
|
|
|
2003-07-28 12:20:42 +00:00
|
|
|
|
if (i > prev_depth)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
pain_.fillRectangle(x, yo_, w, 2, LColor::depthbar);
|
2003-07-28 12:20:42 +00:00
|
|
|
|
if (i > next_depth)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
pain_.fillRectangle(x, h, w, 2, LColor::depthbar);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2003-10-27 12:41:26 +00:00
|
|
|
|
int RowPainter::paintLengthMarker(string const & prefix, VSpace const & vsp,
|
|
|
|
|
int start)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
{
|
|
|
|
|
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);
|
|
|
|
|
}
|
|
|
|
|
|
2003-07-28 12:20:42 +00:00
|
|
|
|
int const leftx = int(xo_) + leftMargin();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
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;
|
2003-09-16 09:01:15 +00:00
|
|
|
|
font.setColor(LColor::added_space);
|
|
|
|
|
font.decSize();
|
|
|
|
|
font.decSize();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
font_metrics::rectText(str, font, w, a, d);
|
|
|
|
|
|
|
|
|
|
pain_.rectText(leftx + 2 * arrow_size + 5,
|
2003-09-15 10:08:01 +00:00
|
|
|
|
start + ((end - start) / 2) + d,
|
|
|
|
|
str, font,
|
|
|
|
|
LColor::none, LColor::none);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// 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;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2003-03-13 19:55:39 +00:00
|
|
|
|
int RowPainter::paintAppendixStart(int y)
|
|
|
|
|
{
|
|
|
|
|
LyXFont pb_font;
|
2003-09-16 09:01:15 +00:00
|
|
|
|
pb_font.setColor(LColor::appendix);
|
|
|
|
|
pb_font.decSize();
|
2003-03-13 19:55:39 +00:00
|
|
|
|
|
|
|
|
|
string const label = _("Appendix");
|
|
|
|
|
int w = 0;
|
|
|
|
|
int a = 0;
|
|
|
|
|
int d = 0;
|
|
|
|
|
font_metrics::rectText(label, pb_font, w, a, d);
|
|
|
|
|
|
2003-07-28 12:20:42 +00:00
|
|
|
|
int const text_start = int(xo_ + (width_ - w) / 2);
|
2003-03-13 19:55:39 +00:00
|
|
|
|
int const text_end = text_start + w;
|
|
|
|
|
|
2003-09-15 10:08:01 +00:00
|
|
|
|
pain_.rectText(text_start, y + d, label, pb_font, LColor::none, LColor::none);
|
2003-03-13 19:55:39 +00:00
|
|
|
|
|
2003-07-28 12:20:42 +00:00
|
|
|
|
pain_.line(int(xo_ + 1), y, text_start, y, LColor::appendix);
|
|
|
|
|
pain_.line(text_end, y, int(xo_ + width_ - 2), y, LColor::appendix);
|
2003-03-13 19:55:39 +00:00
|
|
|
|
|
|
|
|
|
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?
|
2003-07-28 12:20:42 +00:00
|
|
|
|
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-10-23 08:15:57 +00:00
|
|
|
|
if (text_.isFirstRow(pit_, row_) && !text_.isInInset())
|
2003-02-26 17:04:10 +00:00
|
|
|
|
y_top += PAPER_MARGIN;
|
|
|
|
|
|
|
|
|
|
// draw the additional space if needed:
|
|
|
|
|
y_top += paintLengthMarker(_("Space above"), parparams.spaceTop(),
|
|
|
|
|
yo_ + y_top);
|
|
|
|
|
|
2003-08-28 07:41:31 +00:00
|
|
|
|
Buffer const & buffer = *bv_.buffer();
|
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
|
|
|
|
|
2003-09-09 09:47:59 +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-09-09 09:47:59 +00:00
|
|
|
|
y_top += buffer.params().getDefSkip().inPixels(bv_);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
} 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)
|
2003-09-09 09:47:59 +00:00
|
|
|
|
y_top += buffer.params().getDefSkip().inPixels(bv_);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int const ww = bv_.workWidth();
|
|
|
|
|
|
2003-09-09 09:47:59 +00:00
|
|
|
|
bool const is_rtl = pit_->isRightToLeftPar(bv_.buffer()->params());
|
2003-10-22 16:30:57 +00:00
|
|
|
|
bool const is_seq = isFirstInSequence(pit_, text_.ownerParagraphs());
|
|
|
|
|
//lyxerr << "paintFirst: " << pit_->id() << " is_seq: " << is_seq << std::endl;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// should we print a label?
|
|
|
|
|
if (layout->labeltype >= LABEL_STATIC
|
|
|
|
|
&& (layout->labeltype != LABEL_STATIC
|
2003-10-22 16:30:57 +00:00
|
|
|
|
|| layout->latextype != LATEX_ENVIRONMENT
|
|
|
|
|
|| is_seq)) {
|
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-28 12:20:42 +00:00
|
|
|
|
double 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.
|
2003-09-12 17:13:22 +00:00
|
|
|
|
if (layout->counter == "chapter") {
|
2003-09-09 09:47:59 +00:00
|
|
|
|
if (buffer.params().secnumdepth >= 0) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
float spacing_val = 1.0;
|
|
|
|
|
if (!parparams.spacing().isDefault()) {
|
|
|
|
|
spacing_val = parparams.spacing().getValue();
|
|
|
|
|
} else {
|
2003-09-09 17:00:19 +00:00
|
|
|
|
spacing_val = buffer.params().spacing().getValue();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
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-28 12:20:42 +00:00
|
|
|
|
pain_.text(int(x),
|
2003-10-23 08:15:57 +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-10-23 08:15:57 +00:00
|
|
|
|
pain_.text(int(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-10-22 16:30:57 +00:00
|
|
|
|
} else if (is_seq &&
|
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 {
|
2003-09-09 17:00:19 +00:00
|
|
|
|
spacing_val = buffer.params().spacing().getValue();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int maxdesc =
|
|
|
|
|
int(font_metrics::maxDescent(font) * layout->spacing.getValue() * spacing_val
|
|
|
|
|
+ (layout->labelbottomsep * defaultRowHeight()));
|
|
|
|
|
|
2003-07-28 12:20:42 +00:00
|
|
|
|
double x = x_;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (layout->labeltype == LABEL_CENTERED_TOP_ENVIRONMENT) {
|
|
|
|
|
x = ((is_rtl ? leftMargin() : x_)
|
2003-10-23 08:15:57 +00:00
|
|
|
|
+ ww - text_.rightMargin(*pit_, *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-28 12:20:42 +00:00
|
|
|
|
pain_.text(int(x),
|
2003-10-23 08:15:57 +00:00
|
|
|
|
yo_ + row_.baseline() - 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-10-23 08:15:57 +00:00
|
|
|
|
int y_bottom = row_.height() - 1;
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// the bottom margin
|
2003-10-23 08:15:57 +00:00
|
|
|
|
if (text_.isLastRow(pit_, row_) && !text_.isInInset())
|
2003-02-26 17:04:10 +00:00
|
|
|
|
y_bottom -= PAPER_MARGIN;
|
|
|
|
|
|
|
|
|
|
int const ww = bv_.workWidth();
|
|
|
|
|
|
|
|
|
|
// draw the additional space if needed:
|
|
|
|
|
int const height = getLengthMarkerHeight(bv_, parparams.spaceBottom());
|
|
|
|
|
y_bottom -= paintLengthMarker(_("Space below"), parparams.spaceBottom(),
|
|
|
|
|
yo_ + y_bottom - height);
|
|
|
|
|
|
2003-09-09 09:47:59 +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-10-23 08:15:57 +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-10-23 08:15:57 +00:00
|
|
|
|
if (row_.fill() <= size)
|
|
|
|
|
x += (size - row_.fill() + 1) * (is_rtl ? -1 : 1);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-07-28 12:20:42 +00:00
|
|
|
|
if (endlabel == END_LABEL_BOX)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
pain_.rectangle(x, y, size, size, LColor::eolmarker);
|
2003-07-28 12:20:42 +00:00
|
|
|
|
else
|
2003-02-26 17:04:10 +00:00
|
|
|
|
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-07-28 12:20:42 +00:00
|
|
|
|
double const x = is_rtl ?
|
2003-07-18 07:47:07 +00:00
|
|
|
|
x_ - font_metrics::width(str, font)
|
2003-10-23 08:15:57 +00:00
|
|
|
|
: ww - text_.rightMargin(*pit_, *bv_.buffer(), row_) - row_.fill();
|
|
|
|
|
pain_.text(int(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-10-27 11:44:10 +00:00
|
|
|
|
pos_type const end = row_.endpos();
|
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 &&
|
2003-10-27 11:44:10 +00:00
|
|
|
|
(body_pos > end || !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-10-27 12:41:26 +00:00
|
|
|
|
for (pos_type vpos = row_.pos(); vpos <= end; ) {
|
2003-02-26 17:04:10 +00:00
|
|
|
|
if (x_ > bv_.workWidth())
|
|
|
|
|
break;
|
2003-10-27 12:41:26 +00:00
|
|
|
|
|
2003-10-23 13:28:49 +00:00
|
|
|
|
pos_type pos = text_.bidi.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;
|
2003-07-28 12:20:42 +00:00
|
|
|
|
last_strikeout_x = int(x_);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
}
|
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-10-27 12:41:26 +00:00
|
|
|
|
int const middle = yo_ + (row_.baseline() + row_.top_of_text()) / 2;
|
2003-07-28 12:20:42 +00:00
|
|
|
|
pain_.line(last_strikeout_x, middle, int(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());
|
|
|
|
|
|
2003-07-22 11:54:39 +00:00
|
|
|
|
x_ += label_hfill_ + lwidth - 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-10-23 08:15:57 +00:00
|
|
|
|
int const y0 = yo_ + row_.baseline();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
int const y1 = y0 - defaultRowHeight() / 2;
|
|
|
|
|
|
2003-07-28 12:20:42 +00:00
|
|
|
|
pain_.line(int(x_), y1, int(x_), y0, LColor::added_space);
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
2003-10-23 08:15:57 +00:00
|
|
|
|
if (hfillExpansion(*pit_, 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-28 12:20:42 +00:00
|
|
|
|
pain_.line(int(x_), y2, int(x_ + hfill_), y2,
|
2003-02-26 17:04:10 +00:00
|
|
|
|
LColor::added_space,
|
|
|
|
|
Painter::line_onoffdash);
|
|
|
|
|
x_ += hfill_;
|
|
|
|
|
} else {
|
2003-07-28 12:20:42 +00:00
|
|
|
|
pain_.line(int(x_), y2, int(x_ + label_hfill_), y2,
|
2003-02-26 17:04:10 +00:00
|
|
|
|
LColor::added_space,
|
|
|
|
|
Painter::line_onoffdash);
|
|
|
|
|
x_ += label_hfill_;
|
|
|
|
|
}
|
2003-07-28 12:20:42 +00:00
|
|
|
|
pain_.line(int(x_), y1, int(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-10-27 12:41:26 +00:00
|
|
|
|
int const middle = yo_ + (row_.baseline() + row_.top_of_text()) / 2;
|
2003-07-28 12:20:42 +00:00
|
|
|
|
pain_.line(last_strikeout_x, middle, int(x_), middle,
|
2003-02-26 17:04:10 +00:00
|
|
|
|
LColor::strikeout, Painter::line_solid, Painter::line_thin);
|
|
|
|
|
running_strikeout = false;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2003-07-14 17:50:00 +00:00
|
|
|
|
void RowPainter::paint()
|
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
|
|
|
|
// background has already been cleared.
|
|
|
|
|
if (&text_ == bv_.text)
|
|
|
|
|
paintBackground();
|
2003-02-26 17:04:10 +00:00
|
|
|
|
|
|
|
|
|
// paint the selection background
|
2003-07-28 12:20:42 +00:00
|
|
|
|
if (text_.selection.set())
|
2003-02-26 17:04:10 +00:00
|
|
|
|
paintSelection();
|
|
|
|
|
|
|
|
|
|
// vertical lines for appendix
|
|
|
|
|
paintAppendix();
|
|
|
|
|
|
|
|
|
|
// environment depth brackets
|
|
|
|
|
paintDepthBar();
|
|
|
|
|
|
|
|
|
|
// changebar
|
|
|
|
|
paintChangeBar();
|
2003-03-04 09:27:27 +00:00
|
|
|
|
|
2003-10-23 08:15:57 +00:00
|
|
|
|
if (row_.pos() == 0)
|
2003-02-26 17:04:10 +00:00
|
|
|
|
paintFirst();
|
|
|
|
|
|
2003-10-23 08:15:57 +00:00
|
|
|
|
if (row_.endpos() >= pit_->size())
|
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
|
|
|
|
|
|
|
|
|
|
2003-08-14 13:16:05 +00:00
|
|
|
|
int paintRows(BufferView const & bv, LyXText const & text,
|
2003-08-18 09:52:17 +00:00
|
|
|
|
ParagraphList::iterator pit, RowList::iterator rit,
|
|
|
|
|
int xo, int y, int yf, int yo)
|
2003-07-14 17:50:00 +00:00
|
|
|
|
{
|
2003-08-28 07:26:43 +00:00
|
|
|
|
//lyxerr << " paintRows: rit: " << &*rit << endl;
|
2003-08-18 09:52:17 +00:00
|
|
|
|
int const yy = yf - y;
|
|
|
|
|
int const y2 = bv.painter().paperHeight();
|
2003-08-28 07:41:31 +00:00
|
|
|
|
|
2003-08-15 08:03:54 +00:00
|
|
|
|
ParagraphList::iterator end = text.ownerParagraphs().end();
|
|
|
|
|
bool active = false;
|
|
|
|
|
|
|
|
|
|
for ( ; pit != end; ++pit) {
|
|
|
|
|
RowList::iterator row = pit->rows.begin();
|
|
|
|
|
RowList::iterator rend = pit->rows.end();
|
|
|
|
|
|
|
|
|
|
for ( ; row != rend; ++row) {
|
|
|
|
|
if (row == rit)
|
|
|
|
|
active = true;
|
|
|
|
|
if (active) {
|
2003-08-27 14:55:20 +00:00
|
|
|
|
RowPainter painter(bv, text, pit, row, y + yo, xo, y + bv.top_y());
|
2003-08-15 14:54:19 +00:00
|
|
|
|
painter.paint();
|
2003-08-15 08:03:54 +00:00
|
|
|
|
y += row->height();
|
|
|
|
|
if (yy + y >= y2)
|
|
|
|
|
return y;
|
|
|
|
|
} else {
|
|
|
|
|
//lyxerr << " paintRows: row: " << &*row << " ignored" << endl;
|
|
|
|
|
}
|
|
|
|
|
}
|
2003-07-28 18:40:05 +00:00
|
|
|
|
}
|
2003-08-15 08:03:54 +00:00
|
|
|
|
|
2003-07-28 20:04:43 +00:00
|
|
|
|
return y;
|
2003-07-28 18:40:05 +00:00
|
|
|
|
}
|
|
|
|
|
|
2003-08-19 16:46:47 +00:00
|
|
|
|
} // namespace anon
|
|
|
|
|
|
|
|
|
|
|
2003-08-27 14:55:20 +00:00
|
|
|
|
int paintText(BufferView & bv)
|
2003-08-19 16:46:47 +00:00
|
|
|
|
{
|
2003-08-27 14:55:20 +00:00
|
|
|
|
int const topy = bv.top_y();
|
2003-08-19 16:46:47 +00:00
|
|
|
|
ParagraphList::iterator pit;
|
2003-08-27 14:55:20 +00:00
|
|
|
|
RowList::iterator rit = bv.text->getRowNearY(topy, pit);
|
2003-10-16 16:19:56 +00:00
|
|
|
|
int const y = pit->y + rit->y_offset() - topy;
|
2003-08-27 14:55:20 +00:00
|
|
|
|
return paintRows(bv, *bv.text, pit, rit, 0, y, y, 0);
|
2003-08-19 16:46:47 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
void paintTextInset(BufferView & bv, LyXText & text, int x, int baseline)
|
|
|
|
|
{
|
|
|
|
|
RowList::iterator rit = text.firstRow();
|
|
|
|
|
RowList::iterator end = text.endRow();
|
|
|
|
|
ParagraphList::iterator pit = text.ownerParagraphs().begin();
|
|
|
|
|
|
|
|
|
|
int y_offset = baseline - rit->ascent_of_text();
|
|
|
|
|
int y = y_offset;
|
|
|
|
|
while (rit != end && y + rit->height() <= 0) {
|
|
|
|
|
y += rit->height();
|
|
|
|
|
text.nextRow(pit, rit);
|
|
|
|
|
}
|
2003-08-27 14:55:20 +00:00
|
|
|
|
if (y_offset < 0)
|
2003-08-19 16:46:47 +00:00
|
|
|
|
paintRows(bv, text, pit, rit, x, 0, y, y);
|
2003-08-27 14:55:20 +00:00
|
|
|
|
else
|
2003-08-19 16:46:47 +00:00
|
|
|
|
paintRows(bv, text, pit, rit, x, 0, y_offset, y_offset);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
int getLengthMarkerHeight(BufferView const & bv, VSpace const & vsp)
|
|
|
|
|
{
|
|
|
|
|
if (vsp.kind() == VSpace::NONE)
|
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
|
|
int const arrow_size = 4;
|
|
|
|
|
int const space_size = vsp.inPixels(bv);
|
|
|
|
|
|
|
|
|
|
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);
|
|
|
|
|
}
|