diff options
| author | Carl Hetherington <cth@carlh.net> | 2020-05-25 23:57:52 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2020-05-25 23:57:52 +0200 |
| commit | a795eca35c65cb10d690e1b6341fd6777167c66c (patch) | |
| tree | 19e22940bfd26c7964ffcfeb0c581bf627257fa9 | |
| parent | dce22d59d3e8302eacf97bf6421e3e35daff57bf (diff) | |
More fun with GTK3 and its enormous SpinButtons.
| -rw-r--r-- | src/wx/custom_scale_dialog.cc | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/wx/custom_scale_dialog.cc b/src/wx/custom_scale_dialog.cc index 5725d2378..3452d5765 100644 --- a/src/wx/custom_scale_dialog.cc +++ b/src/wx/custom_scale_dialog.cc @@ -46,13 +46,19 @@ CustomScaleDialog::CustomScaleDialog (wxWindow* parent, dcp::Size initial, dcp:: _size_from_ratio = new wxStaticText (this, wxID_ANY, wxT("")); add (_size_from_ratio, 1, wxALIGN_CENTER_VERTICAL); +#ifdef __WXGTK3__ + int const spin_width = 118; +#else + int const spin_width = 64; +#endif + _size = new wxRadioButton (this, wxID_ANY, _("Set size")); add (_size); s = new wxBoxSizer (wxHORIZONTAL); - _width = new wxSpinCtrl (this, wxID_ANY, wxEmptyString, wxDefaultPosition, wxSize(64, -1), wxSP_ARROW_KEYS, 1, film_container.width); + _width = new wxSpinCtrl (this, wxID_ANY, wxEmptyString, wxDefaultPosition, wxSize(spin_width, -1), wxSP_ARROW_KEYS, 1, film_container.width); s->Add (_width, 1, wxRIGHT, 4); add_label_to_sizer (s, this, wxT("x"), false); - _height = new wxSpinCtrl (this, wxID_ANY, wxEmptyString, wxDefaultPosition, wxSize(64, -1), wxSP_ARROW_KEYS, 1, film_container.height); + _height = new wxSpinCtrl (this, wxID_ANY, wxEmptyString, wxDefaultPosition, wxSize(spin_width, -1), wxSP_ARROW_KEYS, 1, film_container.height); s->Add (_height, 1, wxRIGHT, 4); add (s); _ratio_from_size = new wxStaticText (this, wxID_ANY, wxT("")); |