| 1234567891011121314151617181920212223 |
- #ifndef WGTLINENUMBERAREA_H
- #define WGTLINENUMBERAREA_H
- #include <QWidget>
- #include "wgtcodeeditor.h"
- class WgtLineNumberArea : public QWidget
- {
- Q_OBJECT
- public:
- WgtLineNumberArea(WgtCodeEditor *editor);
- QSize sizeHint() const Q_DECL_OVERRIDE;
- protected:
- void paintEvent(QPaintEvent *event) Q_DECL_OVERRIDE;
- private:
- WgtCodeEditor *codeEditor;
- };
- #endif // WGTLINENUMBERAREA_H
|