1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129
|
/***************************************************************************
* copyright : (C) 2003-2007 by Pascal Brachet *
* http://www.xm1math.net/texmaker/ *
* *
* This program 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. *
* *
***************************************************************************/
#include "logeditor.h"
#include "configmanager.h"
LogEditor::LogEditor(QWidget *parent) : QTextEdit(parent)
{
//setToolTip(tr("Click to jump to the line"));
highlighter = new LogHighlighter(document());
ConfigManagerInterface *config = ConfigManager::getInstance();
QVariant fontFamily = config->getOption("LogView/FontFamily");
if (fontFamily.isValid()) setFontFamily(fontFamily.toString());
bool ok;
int fontSize = config->getOption("LogView/FontSize").toInt(&ok);
if (ok && fontSize > 0) setFontPointSize(fontSize);
}
LogEditor::~LogEditor()
{
}
void LogEditor::wheelEvent(QWheelEvent *event)
{
ConfigManagerInterface *config = ConfigManager::getInstance();
if (!config->getOption("Editor/Mouse Wheel Zoom").toBool()) {
event->setModifiers(event->modifiers() & ~Qt::ControlModifier);
}
QTextEdit::wheelEvent(event);
}
void LogEditor::insertLine(const QString &l)
{
if (l.endsWith("\n")) append(l);
else append(l + "\n");
}
void LogEditor::setCursorPosition(int para, int index)
{
QTextCursor cur = textCursor();
int i = 0;
QTextBlock p = document()->begin();
while (p.isValid()) {
if (para == i) break;
i++;
p = p.next();
}
int pos = p.position();
cur.movePosition(QTextCursor::End);
setTextCursor(cur);
cur.setPosition(pos + index, QTextCursor::MoveAnchor);
setTextCursor(cur);
ensureCursorVisible();
}
void LogEditor::mouseDoubleClickEvent(QMouseEvent */*e*/)
{
emit clickOnLogLine(textCursor().blockNumber());
/*QTextEdit::mousePressEvent(e);
QString content=textCursor().block().text();
int Start, End;
bool ok;
QString s;
QString line="";
//// l. ///
s = content;
Start=End=0;
Start=s.indexOf(QRegExp("l.[0-9]"), End);
if (Start!=-1) {
Start=Start+2;
s=s.mid(Start,s.length());
End=s.indexOf(QRegExp("[ a-zA-Z.\\-]"),0);
if (End!=-1)
line=s.mid(0,End);
else
line=s.mid(0,s.length());
};
//// line ///
s = content;
Start=End=0;
Start=s.indexOf(QRegExp("line [0-9]"), End);
if (Start!=-1) {
Start=Start+5;
s=s.mid(Start,s.length());
End=s.indexOf(QRegExp("[ a-zA-Z.\\-]"),0);
if (End!=-1)
line=s.mid(0,End);
else
line=s.mid(0,s.length());
};
//// lines ///
s = content;
Start=End=0;
Start=s.indexOf(QRegExp("lines [0-9]"), End);
if (Start!=-1) {
Start=Start+6;
s=s.mid(Start,s.length());
End=s.indexOf(QRegExp("[ a-zA-Z.\\-]"),0);
if (End!=-1)
line=s.mid(0,End);
else
line=s.mid(0,s.length());
};
int l=line.toInt(&ok,10)-1;
if (ok) {
emit clickonline(l);
}
*/
}
void LogEditor::paintEvent(QPaintEvent *event)
{
QRect rect = cursorRect();
rect.setX(0);
rect.setWidth(viewport()->width());
QPainter painter(viewport());
const QBrush brush(QColor("#ececec"));
painter.fillRect(rect, brush);
painter.end();
QTextEdit::paintEvent(event);
}
|