diff options
| author | Loic Guegan <manzerbredes@mailbox.org> | 2023-01-31 10:52:55 +0100 |
|---|---|---|
| committer | Loic Guegan <manzerbredes@mailbox.org> | 2023-01-31 10:52:55 +0100 |
| commit | 35caa1aa4c7b1e4be7ec1191bd8eddce7b879eb4 (patch) | |
| tree | 57b09affa4a2a379bf2d8bd529c6caa1b93a10bc /src/gui.h | |
| parent | 1618113e61cce568e1efb091a8a600345fcf84ed (diff) | |
Improve LiveEngineDialog
Diffstat (limited to 'src/gui.h')
| -rw-r--r-- | src/gui.h | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -103,7 +103,7 @@ class DialogLiveEngine : public wxDialog wxStaticText* current_engine; wxButton* engine_stop_button; wxStaticText* multipv_label; - wxStaticText* multipv; + wxSpinCtrl* multipv; wxStaticText* threads_label; wxStaticText* threads; wxStaticText* m_staticText13; @@ -112,7 +112,7 @@ class DialogLiveEngine : public wxDialog public: - DialogLiveEngine( wxWindow* parent, wxWindowID id = ID_LIVE_ENGINE_DIALOG, const wxString& title = wxEmptyString, const wxPoint& pos = wxDefaultPosition, const wxSize& size = wxSize( 464,468 ), long style = wxDEFAULT_DIALOG_STYLE ); + DialogLiveEngine( wxWindow* parent, wxWindowID id = ID_LIVE_ENGINE_DIALOG, const wxString& title = wxEmptyString, const wxPoint& pos = wxDefaultPosition, const wxSize& size = wxSize( -1,-1 ), long style = wxDEFAULT_DIALOG_STYLE ); ~DialogLiveEngine(); |
