From a795eca35c65cb10d690e1b6341fd6777167c66c Mon Sep 17 00:00:00 2001 From: Carl Hetherington Date: Mon, 25 May 2020 23:57:52 +0200 Subject: [PATCH 1/1] More fun with GTK3 and its enormous SpinButtons. --- src/wx/custom_scale_dialog.cc | 10 ++++++++-- 1 file 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("")); -- 2.30.2