2018-04-08 09:07:43 +02:00
|
|
|
|
#include "EditorGutter.h"
|
|
|
|
|
|
#include "CodeEditor.h"
|
2022-04-10 10:29:40 +02:00
|
|
|
|
#include "GutterPainter.h"
|
2018-04-08 09:07:43 +02:00
|
|
|
|
|
|
|
|
|
|
EditorGutter::EditorGutter(CodeEditor *editor)
|
|
|
|
|
|
: QWidget(editor)
|
|
|
|
|
|
, codeEditor(editor)
|
2022-04-10 09:32:02 +02:00
|
|
|
|
{}
|
2018-04-08 09:07:43 +02:00
|
|
|
|
|
|
|
|
|
|
QSize EditorGutter::sizeHint() const
|
|
|
|
|
|
{
|
|
|
|
|
|
return QSize(codeEditor->gutterAreaWidth(), 0);
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void EditorGutter::paintEvent(QPaintEvent *event)
|
|
|
|
|
|
{
|
2022-04-10 10:29:40 +02:00
|
|
|
|
GutterPainter gutterpainter(codeEditor, event);
|
|
|
|
|
|
gutterpainter.Paint();
|
2018-04-08 09:07:43 +02:00
|
|
|
|
}
|