mcrl2::gui::qt::LineNumberArea¶
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.
Parameters:
- 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
Parameters:
- event A paint event
