diff options
| author | Carl Hetherington <cth@carlh.net> | 2020-06-17 22:18:33 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2020-07-26 00:59:11 +0200 |
| commit | 94aadbd62c259a73d7511522dd167d519c68c5f9 (patch) | |
| tree | 19de47515d54dd39076c234c1d8309b9f8a6e329 /src/wx/player_config_dialog.cc | |
| parent | 73ebb92e9df01ba7afb97121b6e2cef6ca13a18e (diff) | |
Add new macOS preferences icons.
Diffstat (limited to 'src/wx/player_config_dialog.cc')
| -rw-r--r-- | src/wx/player_config_dialog.cc | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/src/wx/player_config_dialog.cc b/src/wx/player_config_dialog.cc index c270abd85..00a74c659 100644 --- a/src/wx/player_config_dialog.cc +++ b/src/wx/player_config_dialog.cc @@ -270,17 +270,29 @@ private: /** @class PlayerAdvancedPage * @brief Advanced page of the preferences dialog for the player. */ -class PlayerAdvancedPage : public StockPage +class PlayerAdvancedPage : public Page { public: PlayerAdvancedPage (wxSize panel_size, int border) - : StockPage (Kind_Advanced, panel_size, border) + : Page (panel_size, border) , _log_general (0) , _log_warning (0) , _log_error (0) , _log_timing (0) {} + wxString GetName () const + { + return _("Advanced"); + } + +#ifdef DCPOMATIC_OSX + wxBitmap GetLargeIcon () const + { + return wxBitmap ("advanced", wxBITMAP_TYPE_PNG_RESOURCE); + } +#endif + private: void add_top_aligned_label_to_sizer (wxSizer* table, wxWindow* parent, wxString text) { |
