mcrl2::gui::qt::NumberedTextEdit

Include file:

#include "mcrl2/gui/numberedtextedit.h
class mcrl2::gui::qt::NumberedTextEdit

Private attributes

QWidget *m_numberArea

Public member functions

void lineNumberAreaPaintEvent(QPaintEvent *event)
int lineNumberAreaWidth()
NumberedTextEdit(QWidget *parent = 0)

public-slot

updateLineNumberAreaWidth

Protected member functions

void resizeEvent(QResizeEvent *e)
void scrollContentsBy(int dx, int dy)