2017-01-05 04:05:08 +01:00
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include "BaseWizardPage.h"
|
|
|
|
|
2018-02-18 12:39:35 +01:00
|
|
|
class JavaSettingsWidget;
|
2017-01-05 04:05:08 +01:00
|
|
|
|
2023-08-02 18:35:35 +02:00
|
|
|
class JavaWizardPage : public BaseWizardPage {
|
2018-06-28 23:18:45 +02:00
|
|
|
Q_OBJECT
|
2023-08-02 18:35:35 +02:00
|
|
|
public:
|
|
|
|
explicit JavaWizardPage(QWidget* parent = Q_NULLPTR);
|
2017-01-05 04:05:08 +01:00
|
|
|
|
2023-08-02 18:35:35 +02:00
|
|
|
virtual ~JavaWizardPage(){};
|
2017-01-05 04:05:08 +01:00
|
|
|
|
|
|
|
bool wantsRefreshButton() override;
|
|
|
|
void refresh() override;
|
|
|
|
void initializePage() override;
|
|
|
|
bool validatePage() override;
|
|
|
|
|
2023-08-02 18:35:35 +02:00
|
|
|
protected: /* methods */
|
2017-01-05 04:05:08 +01:00
|
|
|
void setupUi();
|
|
|
|
void retranslate() override;
|
|
|
|
|
2023-08-02 18:35:35 +02:00
|
|
|
private: /* data */
|
|
|
|
JavaSettingsWidget* m_java_widget = nullptr;
|
2017-01-05 04:05:08 +01:00
|
|
|
};
|