]> git.lyx.org Git - lyx.git/blobdiff - src/rowpainter.cpp
listerrors.lyx : Update a link.
[lyx.git] / src / rowpainter.cpp
index 47ab84d3a2b5e7130eb47cebc276b3ebc8dae163..c5cc772fe8ecbdf5a4ef29a7298ce3b12844b34c 100644 (file)
@@ -63,17 +63,26 @@ RowPainter::RowPainter(PainterInfo & pi,
          pm_(text_metrics_.parMetrics(pit)),
          bidi_(bidi), change_(pi_.change_),
          xo_(x), yo_(y), width_(text_metrics_.width()),
-         line_thickness_(1.0), line_offset_(2)
+         solid_line_thickness_(1.0), solid_line_offset_(1),
+         dotted_line_thickness_(1.0), dotted_line_offset_(2)
 {
        bidi_.computeTables(par_, pi_.base.bv->buffer(), row_);
 
+       if (lyxrc.zoom >= 200) {
+               // derive the line thickness from zoom factor
+               // the zoom is given in percent
+               // (increase thickness at 250%, 450% etc.)
+               solid_line_thickness_ = (float)(int((lyxrc.zoom + 50) / 200.0));
+               // adjust line_offset_ too
+               solid_line_offset_ = 1 + int(0.5 * solid_line_thickness_);
+       }
        if (lyxrc.zoom >= 100) {
                // derive the line thickness from zoom factor
                // the zoom is given in percent
                // (increase thickness at 150%, 250% etc.)
-               line_thickness_ = (float)(int((lyxrc.zoom + 50) / 100.0));
+               dotted_line_thickness_ = (float)(int((lyxrc.zoom + 50) / 100.0));
                // adjust line_offset_ too
-               line_offset_ = int(2 * line_thickness_) + 1;
+               dotted_line_offset_ = int(0.5 * dotted_line_thickness_) + 1;
        }
 
        x_ = row_.x + xo_;
@@ -116,11 +125,8 @@ void RowPainter::paintInset(Inset const * inset, pos_type const pos)
        // requires a full repaint
        bool pi_full_repaint = pi_.full_repaint;
 
-       // FIXME: We should always use font, see documentation of
-       // noFontChange() in Inset.h.
-       pi_.base.font = inset->noFontChange() ?
-               pi_.base.bv->buffer().params().getFont().fontInfo() :
-               font.fontInfo();
+       pi_.base.font = inset->inheritFont() ? font.fontInfo() :
+               pi_.base.bv->buffer().params().getFont().fontInfo();
        pi_.ltr_pos = (bidi_.level(pos) % 2 == 0);
        pi_.change_ = change_.changed() ? change_ : par_.lookupChange(pos);
 
@@ -261,9 +267,9 @@ void RowPainter::paintChars(pos_type & vpos, FontInfo const & font,
                // Maybe a more general fix would be draw character by character
                // for some predefined fonts on some platform. In arabic and
                // Hebrew we already do paint this way.
-               if (prev_char == 'f')
+               if (prev_char == 'f' || lyxrc.force_paint_single_char)
                        break;
-               
+
                pos = bidi_.vis2log(vpos);
                if (pos < font_span.first || pos > font_span.last)
                        break;
@@ -362,9 +368,9 @@ void RowPainter::paintForeignMark(double orig_x, Language const * lang,
        if (lang == pi_.base.bv->buffer().params().language)
                return;
 
-       int const y = yo_ + 1 + desc + int(line_thickness_/2);
+       int const y = yo_ + solid_line_offset_ + desc + int(solid_line_thickness_/2);
        pi_.pain.line(int(orig_x), y, int(x_), y, Color_language,
-               Painter::line_solid, line_thickness_);
+               Painter::line_solid, solid_line_thickness_);
 }
 
 
@@ -372,9 +378,11 @@ void RowPainter::paintMisspelledMark(double orig_x, bool changed)
 {
        // if changed the misspelled marker gets placed slightly lower than normal
        // to avoid drawing at the same vertical offset
-       int const y = yo_ + (changed ? int(line_thickness_ + 1.0) : 0) + line_offset_;
-       pi_.pain.line(int(orig_x), y, int(x_), y, Color_error,
-               Painter::line_onoffdash, line_thickness_);
+       float const y = yo_ + solid_line_offset_ + solid_line_thickness_
+               + (changed ? solid_line_thickness_ + 1 : 0)
+               + dotted_line_offset_;
+       pi_.pain.line(int(orig_x), int(y), int(x_), int(y), Color_error,
+               Painter::line_onoffdash, dotted_line_thickness_);
 }
 
 
@@ -539,15 +547,13 @@ int RowPainter::paintAppendixStart(int y)
 
 void RowPainter::paintFirst()
 {
-       ParagraphParameters const & pparams = par_.params();
-       Buffer const & buffer = pi_.base.bv->buffer();
-       BufferParams const & bparams = buffer.params();
+       BufferParams const & bparams = pi_.base.bv->buffer().params();
        Layout const & layout = par_.layout();
 
        int y_top = 0;
 
        // start of appendix?
-       if (pparams.startOfAppendix())
+       if (par_.params().startOfAppendix())
                y_top += paintAppendixStart(yo_ - row_.ascent() + 2 * defaultRowHeight());
 
        if (bparams.paragraph_separation == BufferParams::ParagraphSkipSeparation
@@ -565,97 +571,114 @@ void RowPainter::paintFirst()
                }
        }
 
-       bool const is_rtl = text_.isRTL(par_);
        bool const is_seq = text_.isFirstInSequence(pit_);
        //lyxerr << "paintFirst: " << par_.id() << " is_seq: " << is_seq << endl;
 
-       // should we print a label?
        if (layout.labeltype >= LABEL_STATIC
-           && (layout.labeltype != LABEL_STATIC
-                     || layout.latextype != LATEX_ENVIRONMENT
-                     || is_seq)) {
+               && (layout.labeltype != LABEL_STATIC
+                       || layout.latextype != LATEX_ENVIRONMENT
+                       || is_seq)) {
+               paintLabel();
+       } else if (is_seq
+               && (layout.labeltype == LABEL_TOP_ENVIRONMENT
+                       || layout.labeltype == LABEL_BIBLIO
+                       || layout.labeltype == LABEL_CENTERED_TOP_ENVIRONMENT)) {
+               // the labels at the top of an environment.
+               // More or less for bibliography
+               paintTopLevelLabel();
+       }
+}
 
-               FontInfo const font = labelFont();
-               FontMetrics const & fm = theFontMetrics(font);
 
-               docstring const str = par_.labelString();
-               if (!str.empty()) {
-                       double x = x_;
-
-                       // this is special code for the chapter layout. This is
-                       // printed in an extra row and has a pagebreak at
-                       // the top.
-                       if (layout.counter == "chapter") {
-                               double spacing_val = 1.0;
-                               if (!pparams.spacing().isDefault()) {
-                                       spacing_val = pparams.spacing().getValue();
-                               } else {
-                                       spacing_val = bparams.spacing().getValue();
-                               }
-
-                               int const labeladdon = int(fm.maxHeight() * layout.spacing.getValue() * spacing_val);
-
-                               int const maxdesc = int(fm.maxDescent() * layout.spacing.getValue() * spacing_val)
-                                       + int(layout.parsep) * defaultRowHeight();
-
-                               if (is_rtl) {
-                                       x = width_ - leftMargin() -
-                                               fm.width(str);
-                               }
-
-                               pi_.pain.text(int(x), yo_ - maxdesc - labeladdon, str, font);
-                       } else {
-                               if (is_rtl) {
-                                       x = width_ - leftMargin()
-                                               + fm.width(layout.labelsep);
-                               } else {
-                                       x = x_ - fm.width(layout.labelsep)
-                                               - fm.width(str);
-                               }
-
-                               pi_.pain.text(int(x), yo_, str, font);
-                       }
+void RowPainter::paintLabel()
+{
+       docstring const str = par_.labelString();
+       if (str.empty())
+               return;
+
+       BufferParams const & bparams = pi_.base.bv->buffer().params();
+       bool const is_rtl = text_.isRTL(par_);
+       Layout const & layout = par_.layout();
+       ParagraphParameters const & pparams = par_.params();
+       FontInfo const font = labelFont();
+       FontMetrics const & fm = theFontMetrics(font);
+
+       double x = x_;
+
+       // this is special code for the chapter layout. This is
+       // printed in an extra row and has a pagebreak at
+       // the top.
+       if (layout.counter == "chapter") {
+               double spacing_val = 1.0;
+               if (!pparams.spacing().isDefault()) {
+                       spacing_val = pparams.spacing().getValue();
+               } else {
+                       spacing_val = bparams.spacing().getValue();
                }
 
-       // the labels at the top of an environment.
-       // More or less for bibliography
-       } else if (is_seq &&
-               (layout.labeltype == LABEL_TOP_ENVIRONMENT ||
-               layout.labeltype == LABEL_BIBLIO ||
-               layout.labeltype == LABEL_CENTERED_TOP_ENVIRONMENT)) {
-               FontInfo const font = labelFont();
-               docstring const str = par_.labelString();
-               if (!str.empty()) {
-                       double spacing_val = 1.0;
-                       if (!pparams.spacing().isDefault())
-                               spacing_val = pparams.spacing().getValue();
-                       else
-                               spacing_val = bparams.spacing().getValue();
-
-                       FontMetrics const & fm = theFontMetrics(font);
-
-                       int const labeladdon = int(fm.maxHeight()
-                               * layout.spacing.getValue() * spacing_val);
-
-                       int maxdesc =
-                               int(fm.maxDescent() * layout.spacing.getValue() * spacing_val
-                               + (layout.labelbottomsep * defaultRowHeight()));
-
-                       double x = x_;
-                       if (layout.labeltype == LABEL_CENTERED_TOP_ENVIRONMENT) {
-                               if (is_rtl)
-                                       x = leftMargin();
-                               x += (width_ - text_metrics_.rightMargin(pm_) - leftMargin()) / 2;
-                               x -= fm.width(str) / 2;
-                       } else if (is_rtl) {
-                               x = width_ - leftMargin() -     fm.width(str);
-                       }
-                       pi_.pain.text(int(x), yo_ - maxdesc - labeladdon, str, font);
+               int const labeladdon = int(fm.maxHeight() * layout.spacing.getValue() * spacing_val);
+
+               int const maxdesc = int(fm.maxDescent() * layout.spacing.getValue() * spacing_val)
+                       + int(layout.parsep) * defaultRowHeight();
+
+               if (is_rtl) {
+                       x = width_ - leftMargin() -
+                               fm.width(str);
                }
+
+               pi_.pain.text(int(x), yo_ - maxdesc - labeladdon, str, font);
+       } else {
+               if (is_rtl) {
+                       x = width_ - leftMargin()
+                               + fm.width(layout.labelsep);
+               } else {
+                       x = x_ - fm.width(layout.labelsep)
+                               - fm.width(str);
+               }
+
+               pi_.pain.text(int(x), yo_, str, font);
        }
 }
 
 
+void RowPainter::paintTopLevelLabel()
+{
+       BufferParams const & bparams = pi_.base.bv->buffer().params();
+       bool const is_rtl = text_.isRTL(par_);
+       ParagraphParameters const & pparams = par_.params();
+       Layout const & layout = par_.layout();
+       FontInfo const font = labelFont();
+       docstring const str = par_.labelString();
+       if (str.empty())
+               return;
+
+       double spacing_val = 1.0;
+       if (!pparams.spacing().isDefault())
+               spacing_val = pparams.spacing().getValue();
+       else
+               spacing_val = bparams.spacing().getValue();
+
+       FontMetrics const & fm = theFontMetrics(font);
+
+       int const labeladdon = int(fm.maxHeight()
+               * layout.spacing.getValue() * spacing_val);
+
+       int maxdesc =
+               int(fm.maxDescent() * layout.spacing.getValue() * spacing_val
+               + (layout.labelbottomsep * defaultRowHeight()));
+
+       double x = x_;
+       if (layout.labeltype == LABEL_CENTERED_TOP_ENVIRONMENT) {
+               if (is_rtl)
+                       x = leftMargin();
+               x += (width_ - text_metrics_.rightMargin(pm_) - leftMargin()) / 2;
+               x -= fm.width(str) / 2;
+       } else if (is_rtl) {
+               x = width_ - leftMargin() -     fm.width(str);
+       }
+       pi_.pain.text(int(x), yo_ - maxdesc - labeladdon, str, font);
+}
+
 /** Check if the current paragraph is the last paragraph in a
     proof environment */
 static int getEndLabel(pit_type p, Text const & text)
@@ -885,10 +908,10 @@ void RowPainter::paintText()
                        // Calculate 1/3 height of the buffer's default font
                        FontMetrics const & fm
                                = theFontMetrics(pi_.base.bv->buffer().params().getFont());
-                       int const y_bar = change_running.deleted() ?
-                               yo_ - fm.maxAscent() / 3 : yo_ + line_offset_;
-                       pi_.pain.line(change_last_x, y_bar, int(x_), y_bar,
-                               change_running.color(), Painter::line_solid, line_thickness_);
+                       float const y_bar = change_running.deleted() ?
+                               yo_ - fm.maxAscent() / 3 : yo_ + 2 * solid_line_offset_ + solid_line_thickness_;
+                       pi_.pain.line(change_last_x, int(y_bar), int(x_), int(y_bar),
+                               change_running.color(), Painter::line_solid, solid_line_thickness_);
 
                        // Change might continue with a different author or type
                        if (change.changed() && !highly_editable_inset) {
@@ -945,10 +968,10 @@ void RowPainter::paintText()
        if (change_running.changed()) {
                FontMetrics const & fm
                        = theFontMetrics(pi_.base.bv->buffer().params().getFont());
-               int const y_bar = change_running.deleted() ?
-                               yo_ - fm.maxAscent() / 3 : yo_ + line_offset_;
-               pi_.pain.line(change_last_x, y_bar, int(x_), y_bar,
-                       change_running.color(), Painter::line_solid, line_thickness_);
+               float const y_bar = change_running.deleted() ?
+                               yo_ - fm.maxAscent() / 3 : yo_ + 2 * solid_line_offset_ + solid_line_thickness_;
+               pi_.pain.line(change_last_x, int(y_bar), int(x_), int(y_bar),
+                       change_running.color(), Painter::line_solid, solid_line_thickness_);
                change_running.setUnchanged();
        }
 }