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
|
/***************************************************************************
* copyright : (C) 2009-2019 by Pascal Brachet *
* *
* 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. *
* *
***************************************************************************/
#ifndef __jslinenumberwidget_h
#define __jslinenumberwidget_h
#include <QtGui>
#include <QWidget>
#include <QFont>
#include <QPaintEvent>
#include "jseditor.h"
class JSLineNumberWidget: public QWidget
{
Q_OBJECT
public:
JSLineNumberWidget(JSEditor*, QWidget* parent);
virtual ~JSLineNumberWidget();
public slots:
void doRepaint() { repaint(); }
void setFont(QFont efont);
protected:
virtual void paintEvent( QPaintEvent* );
virtual void mousePressEvent(QMouseEvent *e);
private:
JSEditor* m_editor;
QFont numfont;
};
#endif // __linenumberwidget_h
|
