2022-06-03 03:25:23 +08:00
|
|
|
#ifndef JKQTPSTYLEPLAINTEXTEDIT_H
|
|
|
|
#define JKQTPSTYLEPLAINTEXTEDIT_H
|
|
|
|
|
|
|
|
#include <QPlainTextEdit>
|
|
|
|
|
|
|
|
class JKQTPStylePlainTextEdit : public QPlainTextEdit
|
|
|
|
{
|
|
|
|
Q_OBJECT
|
|
|
|
public:
|
|
|
|
JKQTPStylePlainTextEdit(QWidget *parent = nullptr);
|
|
|
|
virtual ~JKQTPStylePlainTextEdit();
|
|
|
|
protected:
|
|
|
|
void contextMenuEvent(QContextMenuEvent *event) override;
|
2023-07-22 20:26:02 +08:00
|
|
|
protected Q_SLOTS:
|
2022-06-03 03:25:23 +08:00
|
|
|
void changeCurrentLineValueTo(const QString &targetText);
|
|
|
|
void addTransparencyToCurrentLineValue(const QString &targetText);
|
|
|
|
void addMathFontSpecifier(const QString &newMath);
|
|
|
|
private:
|
|
|
|
QTextCursor curContextMenu;
|
|
|
|
};
|
|
|
|
|
|
|
|
#endif // JKQTPSTYLEPLAINTEXTEDIT_H
|