Infinite state-space truncator which generates a probability within a window
Public Member Functions | Protected Member Functions | List of all members
stamina::gui::addons::LineNumberArea Class Reference
Inheritance diagram for stamina::gui::addons::LineNumberArea:

Public Member Functions

 LineNumberArea (CodeEditor *editor)
QSize sizeHint () const override

Protected Member Functions

void paintEvent (QPaintEvent *event) override

The documentation for this class was generated from the following files: