]> git.lyx.org Git - lyx.git/blobdiff - src/rowpainter.cpp
Thanks, Andre.
[lyx.git] / src / rowpainter.cpp
index 7d391a68ae58e9a6c7ea6aadc601d42a94ec299c..ef81e683aed532eb86d148b4bfcad49feb79c652 100644 (file)
@@ -22,7 +22,6 @@
 #include "BufferView.h"
 #include "Changes.h"
 #include "Encoding.h"
-#include "support/gettext.h"
 #include "Language.h"
 #include "Layout.h"
 #include "LyXRC.h"
@@ -30,7 +29,6 @@
 #include "MetricsInfo.h"
 #include "Paragraph.h"
 #include "ParagraphMetrics.h"
-#include "paragraph_funcs.h"
 #include "ParagraphParameters.h"
 #include "TextMetrics.h"
 #include "VSpace.h"
@@ -41,6 +39,7 @@
 #include "insets/InsetText.h"
 
 #include "support/debug.h"
+#include "support/gettext.h"
 #include "support/textutils.h"
 
 #include "support/lassert.h"
@@ -60,7 +59,7 @@ RowPainter::RowPainter(PainterInfo & pi,
          pars_(text.paragraphs()),
          row_(row), pit_(pit), par_(text.paragraphs()[pit]),
          pm_(text_metrics_.parMetrics(pit)),
-         bidi_(bidi), erased_(pi_.erased_),
+         bidi_(bidi), change_(pi_.change_),
          xo_(x), yo_(y), width_(text_metrics_.width())
 {
        bidi_.computeTables(par_, pi_.base.bv->buffer(), row_);
@@ -76,7 +75,7 @@ RowPainter::RowPainter(PainterInfo & pi,
 
 FontInfo RowPainter::labelFont() const
 {
-       return text_.labelFont(pi_.base.bv->buffer(), par_);
+       return text_.labelFont(par_);
 }
 
 
@@ -106,11 +105,14 @@ void RowPainter::paintInset(Inset const * inset, pos_type const pos)
                pi_.base.bv->buffer().params().getFont().fontInfo() :
                font.fontInfo();
        pi_.ltr_pos = (bidi_.level(pos) % 2 == 0);
-       pi_.erased_ = erased_ || par_.isDeleted(pos);
-       pi_.base.bv->coordCache().insets().add(inset, int(x_), yo_);
+       pi_.change_ = change_.changed() ? change_ : par_.lookupChange(pos);
+
+       int const x1 = int(x_);
+       pi_.base.bv->coordCache().insets().add(inset, x1, yo_);
        // insets are painted completely. Recursive
-       inset->drawSelection(pi_, int(x_), yo_);
-       inset->draw(pi_, int(x_), yo_);
+       inset->drawBackground(pi_, x1, yo_);
+       inset->drawSelection(pi_, x1, yo_);
+       inset->draw(pi_, x1, yo_);
 
        Dimension const & dim = pm_.insetDimension(inset);
 
@@ -122,28 +124,6 @@ void RowPainter::paintInset(Inset const * inset, pos_type const pos)
        pi_.full_repaint = pi_full_repaint;
 
 #ifdef DEBUG_METRICS
-       int const x1 = int(x_ - dim.width());
-       Dimension dim2;
-       LASSERT(max_witdh_ > 0, /**/);
-       int right_margin = text_metrics_.rightMargin(pm_);
-       int const w = max_witdh_ - leftMargin() - right_margin;
-       MetricsInfo mi(pi_.base.bv, font.fontInfo(), w);
-       inset->metrics(mi, dim2);
-       if (dim.wid != dim2.wid)
-               lyxerr << "Error: inset " << to_ascii(inset->getInsetName())
-                      << " draw width " << dim.width()
-                      << "> metrics width " << dim2.wid << "." << endl;
-       if (dim->asc != dim2.asc)
-               lyxerr << "Error: inset " << to_ascii(inset->getInsetName())
-                      << " draw ascent " << dim.ascent()
-                      << "> metrics ascent " << dim2.asc << "." << endl;
-       if (dim2.descent() != dim.des)
-               lyxerr << "Error: inset " << to_ascii(inset->getInsetName())
-                      << " draw ascent " << dim.descent()
-                      << "> metrics descent " << dim2.des << "." << endl;
-       LASSERT(dim2.wid == dim.wid, /**/);
-       LASSERT(dim2.asc == dim.asc, /**/);
-       LASSERT(dim2.des == dim.des, /**/);
        int const x2 = x1 + dim.wid;
        int const y1 = yo_ + dim.des;
        int const y2 = yo_ - dim.asc;
@@ -242,10 +222,11 @@ void RowPainter::paintChars(pos_type & vpos, FontInfo const & font,
        FontSpan const font_span = par_.fontSpan(pos);
        // Track-change status.
        Change const & change_running = par_.lookupChange(pos);
-               
+
        // selected text?
        bool const selection = pos >= row_.sel_beg && pos < row_.sel_end;
 
+       char_type prev_char = ' ';
        // collect as much similar chars as we can
        for (++vpos ; vpos < end ; ++vpos) {
                pos = bidi_.vis2log(vpos);
@@ -264,6 +245,11 @@ void RowPainter::paintChars(pos_type & vpos, FontInfo const & font,
 
                char_type c = par_.getChar(pos);
 
+               if (c == '\t' || prev_char == '\t') {
+                       prev_char = c;
+                       break;
+               }
+
                if (!isPrintableNonspace(c))
                        break;
 
@@ -308,6 +294,9 @@ void RowPainter::paintChars(pos_type & vpos, FontInfo const & font,
 
        docstring s(&str[0], str.size());
 
+       if (s[0] == '\t')
+               s.replace(0,1,from_ascii("    "));
+
        if (!selection && !change_running.changed()) {
                x_ += pi_.pain.text(int(x_), yo_, s, font);
                return;
@@ -315,9 +304,9 @@ void RowPainter::paintChars(pos_type & vpos, FontInfo const & font,
        
        FontInfo copy = font;
        if (change_running.changed())
-               copy.setColor(change_running.color());
+               copy.setPaintColor(change_running.color());
        else if (selection)
-               copy.setColor(Color_selectiontext);
+               copy.setPaintColor(Color_selectiontext);
 
        x_ += pi_.pain.text(int(x_), yo_, s, copy);
 }
@@ -338,6 +327,13 @@ void RowPainter::paintForeignMark(double orig_x, Language const * lang,
 }
 
 
+void RowPainter::paintMisspelledMark(double orig_x, int desc)
+{
+       int const y = yo_ + desc;
+       pi_.pain.wavyHorizontalLine(int(orig_x), y, int(x_) - int(orig_x), Color_red);
+}
+
+
 void RowPainter::paintFromPos(pos_type & vpos)
 {
        pos_type const pos = bidi_.vis2log(vpos);
@@ -365,6 +361,9 @@ void RowPainter::paintFromPos(pos_type & vpos)
        }
 
        paintForeignMark(orig_x, orig_font.language());
+
+       if (lyxrc.spellcheck_continuously && orig_font.isMisspelled())
+               paintMisspelledMark(orig_x, 3);
 }
 
 
@@ -393,7 +392,7 @@ void RowPainter::paintChangeBar()
 void RowPainter::paintAppendix()
 {
        // only draw the appendix frame once (for the main text)
-       if (!par_.params().appendix() || !text_.isMainText(pi_.base.bv->buffer()))
+       if (!par_.params().appendix() || !text_.isMainText())
                return;
 
        int y = yo_ - row_.ascent();
@@ -433,7 +432,7 @@ void RowPainter::paintDepthBar()
                int const w = nestMargin() / 5;
                int x = int(xo_) + w * i;
                // only consider the changebar space if we're drawing outermost text
-               if (text_.isMainText(pi_.base.bv->buffer()))
+               if (text_.isMainText())
                        x += changebarMargin();
 
                int const starty = yo_ - row_.ascent();
@@ -503,8 +502,8 @@ void RowPainter::paintFirst()
                }
        }
 
-       bool const is_rtl = text_.isRTL(buffer, par_);
-       bool const is_seq = isFirstInSequence(pit_, text_.paragraphs());
+       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?
@@ -594,31 +593,62 @@ void RowPainter::paintFirst()
 }
 
 
+/** Check if the current paragraph is the last paragraph in a
+    proof environment */
+static int getEndLabel(pit_type p, Text const & text)
+{
+       ParagraphList const & pars = text.paragraphs();
+       pit_type pit = p;
+       depth_type par_depth = pars[p].getDepth();
+       while (pit != pit_type(pars.size())) {
+               Layout const & layout = pars[pit].layout();
+               int const endlabeltype = layout.endlabeltype;
+
+               if (endlabeltype != END_LABEL_NO_LABEL) {
+                       if (p + 1 == pit_type(pars.size()))
+                               return endlabeltype;
+
+                       depth_type const next_depth =
+                               pars[p + 1].getDepth();
+                       if (par_depth > next_depth ||
+                           (par_depth == next_depth && layout != pars[p + 1].layout()))
+                               return endlabeltype;
+                       break;
+               }
+               if (par_depth == 0)
+                       break;
+               pit = text.outerHook(pit);
+               if (pit != pit_type(pars.size()))
+                       par_depth = pars[pit].getDepth();
+       }
+       return END_LABEL_NO_LABEL;
+}
+
+
 void RowPainter::paintLast()
 {
-       bool const is_rtl = text_.isRTL(pi_.base.bv->buffer(), par_);
-       int const endlabel = getEndLabel(pit_, text_.paragraphs());
+       bool const is_rtl = text_.isRTL(par_);
+       int const endlabel = getEndLabel(pit_, text_);
 
        // paint imaginary end-of-paragraph character
 
        Change const & change = par_.lookupChange(par_.size());
        if (change.changed()) {
-               FontMetrics const & fm = 
+               FontMetrics const & fm =
                        theFontMetrics(pi_.base.bv->buffer().params().getFont());
                int const length = fm.maxAscent() / 2;
-               ColorCode col = change.color();
+               Color col = change.color();
 
                pi_.pain.line(int(x_) + 1, yo_ + 2, int(x_) + 1, yo_ + 2 - length, col,
                           Painter::line_solid, Painter::line_thick);
-               
+
                if (change.deleted()) {
-                       pi_.pain.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1 + length, 
+                       pi_.pain.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1 + length,
                                yo_ + 2, col, Painter::line_solid, Painter::line_thick);
                } else {
-                       pi_.pain.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1, 
+                       pi_.pain.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1,
                                yo_ + 2, col, Painter::line_solid, Painter::line_thick);
                }
-
        }
 
        // draw an endlabel
@@ -650,14 +680,20 @@ void RowPainter::paintLast()
                FontInfo const font = labelFont();
                FontMetrics const & fm = theFontMetrics(font);
                docstring const & str = par_.layout().endlabelstring();
-               double const x = is_rtl ?
-                       x_ - fm.width(str)
-                       : - text_metrics_.rightMargin(pm_) - row_.width();
+               double const x = is_rtl ? x_ - fm.width(str) : x_;
                pi_.pain.text(int(x), yo_, str, font);
                break;
        }
 
        case END_LABEL_NO_LABEL:
+               if (lyxrc.paragraph_markers && size_type(pit_ + 1) < pars_.size()) {
+                       docstring const s = docstring(1, char_type(0x00B6));
+                       FontInfo f = FontInfo();
+                       FontMetrics const & fm = theFontMetrics(f);
+                       f.setColor(Color_paragraphmarker);
+                       pi_.pain.text(int(x_), yo_, s, f);
+                       x_ += fm.width(s);
+               }
                break;
        }
 }
@@ -665,16 +701,25 @@ void RowPainter::paintLast()
 
 void RowPainter::paintOnlyInsets()
 {
+       CoordCache const & cache = pi_.base.bv->coordCache();
        pos_type const end = row_.endpos();
        for (pos_type pos = row_.pos(); pos != end; ++pos) {
                // If outer row has changed, nested insets are repaint completely.
                Inset const * inset = par_.getInset(pos);
                if (!inset)
                        continue;
-               if (x_ > pi_.base.bv->workWidth())
+               if (x_ > pi_.base.bv->workWidth() 
+                   || !cache.getInsets().has(inset))
                        continue;
-               x_ = pi_.base.bv->coordCache().getInsets().x(inset);
+               x_ = cache.getInsets().x(inset);
+
+               bool const pi_selected = pi_.selected;
+               Cursor const & cur = pi_.base.bv->cursor();
+               if (cur.selection() && cur.text() == &text_ 
+                         && cur.anchor().text() == &text_)
+                       pi_.selected = row_.sel_beg <= pos && row_.sel_end > pos; 
                paintInset(inset, pos);
+               pi_.selected = pi_selected;
        }
 }
 
@@ -698,7 +743,7 @@ void RowPainter::paintText()
 
        Change change_running;
        int change_last_x = 0;
-       
+
        // check for possible inline completion
        DocIterator const & inlineCompletionPos = pi_.base.bv->inlineCompletionPos();
        pos_type inlineCompletionVPos = -1;
@@ -763,26 +808,26 @@ void RowPainter::paintText()
 
                Inset const * inset = par_.getInset(pos);
                bool const highly_editable_inset = inset
-                       && inset->editable() == Inset::HIGHLY_EDITABLE;
+                       && inset->editable();
 
                // If we reach the end of a change or if the author changes, paint it.
                // We also don't paint across things like tables
-               if (change_running.changed() && (highly_editable_inset 
+               if (change_running.changed() && (highly_editable_inset
                        || !change.changed() || !change_running.isSimilarTo(change))) {
                        // 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() ? 
+                       int const y_bar = change_running.deleted() ?
                                yo_ - fm.maxAscent() / 3 : yo_ + fm.maxAscent() / 6;
                        pi_.pain.line(change_last_x, y_bar, int(x_), y_bar,
-                               change_running.color(), Painter::line_solid, 
+                               change_running.color(), Painter::line_solid,
                                Painter::line_thin);
-                       
+
                        // Change might continue with a different author or type
                        if (change.changed() && !highly_editable_inset) {
                                change_running = change;
                                change_last_x = int(x_);
-                       } else 
+                       } else
                                change_running.setUnchanged();
                }
 
@@ -809,7 +854,14 @@ void RowPainter::paintText()
                } else if (inset) {
                        // If outer row has changed, nested insets are repaint completely.
                        pi_.base.bv->coordCache().insets().add(inset, int(x_), yo_);
+                       
+                       bool const pi_selected = pi_.selected;
+                       Cursor const & cur = pi_.base.bv->cursor();
+                       if (cur.selection() && cur.text() == &text_ 
+                                 && cur.anchor().text() == &text_)
+                               pi_.selected = row_.sel_beg <= pos && row_.sel_end > pos; 
                        paintInset(inset, pos);
+                       pi_.selected = pi_selected;
                        ++vpos;
 
                } else {
@@ -826,7 +878,7 @@ void RowPainter::paintText()
        if (change_running.changed()) {
                FontMetrics const & fm
                        = theFontMetrics(pi_.base.bv->buffer().params().getFont());
-               int const y_bar = change_running.deleted() ? 
+               int const y_bar = change_running.deleted() ?
                                yo_ - fm.maxAscent() / 3 : yo_ + fm.maxAscent() / 6;
                pi_.pain.line(change_last_x, y_bar, int(x_), y_bar,
                        change_running.color(), Painter::line_solid, Painter::line_thin);