From 19b6e04b660e8c8c9264119022caea60134625d2 Mon Sep 17 00:00:00 2001 From: Carl Hetherington Date: Mon, 26 Oct 2020 11:44:42 +0000 Subject: [PATCH] GTK3 tweaks for the playback controls. --- src/wx/controls.cc | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/wx/controls.cc b/src/wx/controls.cc index 473ad8cb3..782bcf1a8 100644 --- a/src/wx/controls.cc +++ b/src/wx/controls.cc @@ -104,10 +104,17 @@ Controls::Controls (wxWindow* parent, shared_ptr viewer, bool editor _v_sizer->Add (h_sizer, 0, wxEXPAND | wxALL, 6); +#ifdef __WXGTK3__ + _frame_number->SetMinSize (wxSize (100, -1)); + _rewind_button->SetMinSize (wxSize (48, -1)); + _back_button->SetMinSize (wxSize (48, -1)); + _forward_button->SetMinSize (wxSize (48, -1)); +#else _frame_number->SetMinSize (wxSize (84, -1)); _rewind_button->SetMinSize (wxSize (32, -1)); _back_button->SetMinSize (wxSize (32, -1)); _forward_button->SetMinSize (wxSize (32, -1)); +#endif if (_eye) { _eye->Bind (wxEVT_CHOICE, boost::bind (&Controls::eye_changed, this)); -- 2.30.2