File indexing completed on 2024-05-12 17:11:40

 /***************************************************************************
  *   Copyright (C) 2016 by Renaud Guezennec                                *
  *   http://www.rolisteam.org/contact                                      *
  *                                                                         *
  *   rolisteam is free software; you can redistribute it and/or modify     *
  *   it under the terms of the GNU General Public License as published by  *
  *   the Free Software Foundation; either version 2 of the License, or     *
  *   (at your option) any later version.                                   *
  *                                                                         *
  *   This program is distributed in the hope that it will be useful,       *
  *   but WITHOUT ANY WARRANTY; without even the implied warranty of        *
  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *
  *   GNU General Public License for more details.                          *
  *                                                                         *
  *   You should have received a copy of the GNU General Public License     *
  *   along with this program; if not, write to the                         *
  *   Free Software Foundation, Inc.,                                       *
  *   59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.             *
  ***************************************************************************/
 #include "codeeditor.h"
 
 #include <QtWidgets>
 
 #include <QFontDatabase>
 
 CodeEditor::CodeEditor(QWidget* parent) : QPlainTextEdit(parent)
 {
     const QFont fixedFont= QFontDatabase::systemFont(QFontDatabase::FixedFont);
     setFont(fixedFont);
     QFontMetrics metrics(fixedFont);
     // setTabStopWidth(metrics.boundingRect("    ").width());
     lineNumberArea= new LineNumberArea(this);
 
     connect(this, SIGNAL(blockCountChanged(int)), this, SLOT(updateLineNumberAreaWidth(int)));
     connect(this, SIGNAL(updateRequest(QRect, int)), this, SLOT(updateLineNumberArea(QRect, int)));
     connect(this, SIGNAL(cursorPositionChanged()), this, SLOT(highlightCurrentLine()));
 
     updateLineNumberAreaWidth(0);
     highlightCurrentLine();
 }
 
 int CodeEditor::lineNumberAreaWidth()
 {
     int digits= 1;
     int max= qMax(1, blockCount());
     while(max >= 10)
     {
         max/= 10;
         ++digits;
     }
 
     int space= 3 + fontMetrics().boundingRect('9').width() * digits;
 
     return space;
 }
 
 void CodeEditor::updateLineNumberAreaWidth(int /* newBlockCount */)
 {
     setViewportMargins(lineNumberAreaWidth(), 0, 0, 0);
 }
 
 void CodeEditor::updateLineNumberArea(const QRect& rect, int dy)
 {
     if(dy)
         lineNumberArea->scroll(0, dy);
     else
         lineNumberArea->update(0, rect.y(), lineNumberArea->width(), rect.height());
 
     if(rect.contains(viewport()->rect()))
         updateLineNumberAreaWidth(0);
 }
 
 void CodeEditor::resizeEvent(QResizeEvent* e)
 {
     QPlainTextEdit::resizeEvent(e);
 
     QRect cr= contentsRect();
     lineNumberArea->setGeometry(QRect(cr.left(), cr.top(), lineNumberAreaWidth(), cr.height()));
 }
 
 void CodeEditor::highlightCurrentLine()
 {
     QList<QTextEdit::ExtraSelection> extraSelections;
 
     if(!isReadOnly())
     {
         QTextEdit::ExtraSelection selection;
 
         QColor lineColor= QColor(Qt::yellow).lighter(160);
 
         selection.format.setBackground(lineColor);
         selection.format.setProperty(QTextFormat::FullWidthSelection, true);
         selection.cursor= textCursor();
         selection.cursor.clearSelection();
         extraSelections.append(selection);
     }
 
     setExtraSelections(extraSelections);
 }
 
 void CodeEditor::lineNumberAreaPaintEvent(QPaintEvent* event)
 {
     QPainter painter(lineNumberArea);
     painter.fillRect(event->rect(), Qt::lightGray);
 
     QTextBlock block= firstVisibleBlock();
     int blockNumber= block.blockNumber();
     int top= (int)blockBoundingGeometry(block).translated(contentOffset()).top();
     int bottom= top + (int)blockBoundingRect(block).height();
 
     while(block.isValid() && top <= event->rect().bottom())
     {
         if(block.isVisible() && bottom >= event->rect().top())
         {
             QString number= QString::number(blockNumber + 1);
             painter.setPen(Qt::black);
             painter.drawText(0, top, lineNumberArea->width(), fontMetrics().height(), Qt::AlignRight, number);
         }
 
         block= block.next();
         top= bottom;
         bottom= top + (int)blockBoundingRect(block).height();
         ++blockNumber;
     }
 }