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