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