5#ifndef BALL_VIEW_WIDGETS_TEXTEDITORWIDGET_H
6#define BALL_VIEW_WIDGETS_TEXTEDITORWIDGET_H
8#ifndef BALL_VIEW_KERNEL_COMMON_H
12#ifndef BALL_VIEW_WIDGETS_DOCKWIDGET_H
16#include <QPlainTextEdit>
62 void updateLineNumbersWidth(
int newBlockCount);
63 void highlightCurrentLine();
64 void updateLineNumbers(
const QRect &,
int);
TextEditorWidget(QWidget *parent=0)
void resizeEvent(QResizeEvent *event)
void lineNumbersPaintEvent(QPaintEvent *event)
void paintEvent(QPaintEvent *event)
LineNumbers(TextEditorWidget *editor)