2021-11-02 13:12:36 +08:00
|
|
|
#ifndef EXECUTORPROBLEMSETWIDGET_H
|
|
|
|
#define EXECUTORPROBLEMSETWIDGET_H
|
|
|
|
|
|
|
|
#include <QWidget>
|
|
|
|
#include "settingswidget.h"
|
|
|
|
|
|
|
|
namespace Ui {
|
|
|
|
class ExecutorProblemSetWidget;
|
|
|
|
}
|
|
|
|
|
|
|
|
class ExecutorProblemSetWidget : public SettingsWidget
|
|
|
|
{
|
|
|
|
Q_OBJECT
|
|
|
|
|
|
|
|
public:
|
|
|
|
explicit ExecutorProblemSetWidget(const QString& name, const QString& group, QWidget *parent = nullptr);
|
|
|
|
~ExecutorProblemSetWidget();
|
|
|
|
|
|
|
|
private:
|
|
|
|
Ui::ExecutorProblemSetWidget *ui;
|
|
|
|
protected:
|
|
|
|
void doLoad() override;
|
|
|
|
void doSave() override;
|
2021-12-15 19:12:16 +08:00
|
|
|
private slots:
|
|
|
|
void on_chkOnlyMonospaced_stateChanged(int arg1);
|
2021-11-02 13:12:36 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
#endif // EXECUTORPROBLEMSETWIDGET_H
|