STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
LineNumberArea.h
1#ifndef STAMINA_LINE_NUMBER_AREA_H
2#define STAMINA_LINE_NUMBER_AREA_H
3
4#include <QWidget>
5#include <ktextedit.h>
6
7#include "CodeEditor.h"
8
9namespace stamina {
10 namespace gui {
11 namespace addons {
12 class LineNumberArea : public QWidget {
13 Q_OBJECT
14 public:
15 LineNumberArea(CodeEditor * editor);
16 QSize sizeHint() const override {
17 return QSize(editor->lineNumberAreaWidth(), 0);
18 }
19 protected:
20 void paintEvent(QPaintEvent * event) override;
21 private:
22 CodeEditor * editor;
23 };
24 }
25 }
26}
27#endif // STAMINA_LINE_NUMBER_AREA_H
Definition: CodeEditor.h:19
Definition: LineNumberArea.h:12
Definition: ExplicitTruncatedModelBuilder.cpp:40