Vuo
2.0.3
editor
VuoCodeGutter.hh
Go to the documentation of this file.
1
10
#pragma once
11
12
class
VuoCodeEditor
;
13
17
class
VuoCodeGutter
:
public
QWidget
18
{
19
Q_OBJECT
20
21
public
:
22
VuoCodeGutter
(
VuoCodeEditor
*editor);
23
24
void
updateLineNumberFont
();
25
26
private
slots:
27
void
textChanged();
28
29
private
:
30
void
paintEvent(QPaintEvent *event)
override
;
31
void
handleSliderMoved(
int
value);
32
void
resizeEvent(QResizeEvent *event)
override
;
33
34
VuoCodeEditor
*codeEditor;
35
int
scrollPosition;
36
QFont lineNumberFont;
37
static
qreal leftMargin;
38
static
qreal rightMargin;
39
};
Generated on Tue Apr 28 2020 16:53:59 for Vuo by
1.8.17