Include file:

#include "mcrl2/gui/codeeditor.h
class mcrl2::gui::qt::LineNumberArea

The LineNumberArea class defines the area with line numbers in the code editor.

Private attributes

CodeEditor *mcrl2::gui::qt::LineNumberArea::codeEditor

Public member functions

LineNumberArea(CodeEditor *editor)

LineNumberArea Constructor.


  • editor The code editor this line number area belongs to
QSize sizeHint() const override

sizeHint Returns the recommended size of the widget

Returns: The recommended size of the widget

Protected member functions

void paintEvent(QPaintEvent *event) override

paintEvent Handles paint events


  • event A paint event