From a0545f58b3e90d3c09fa376900eafd6f8fb531cb Mon Sep 17 00:00:00 2001 From: Carl Hetherington Date: Sun, 2 Aug 2020 22:05:09 +0200 Subject: [PATCH] Tweak link button width on GTK3. --- src/wx/video_panel.cc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/wx/video_panel.cc b/src/wx/video_panel.cc index a2aa6f234..7a892bb74 100644 --- a/src/wx/video_panel.cc +++ b/src/wx/video_panel.cc @@ -85,9 +85,11 @@ VideoPanel::VideoPanel (ContentPanel* p) #ifdef __WXGTK3__ int const crop_width = 128; + int const link_width = 32; int const link_height = 64; #else int const crop_width = 56; + int const link_width = 22; int const link_height = 28; #endif @@ -102,7 +104,7 @@ VideoPanel::VideoPanel (ContentPanel* p) boost::bind (&VideoPanel::left_crop_changed, this) ); - _left_right_link = new wxToggleButton (this, wxID_ANY, wxT(""), wxDefaultPosition, wxSize(22, link_height)); + _left_right_link = new wxToggleButton (this, wxID_ANY, wxT(""), wxDefaultPosition, wxSize(link_width, link_height)); _left_right_link->SetBitmap (wxBitmap(bitmap_path("link"), wxBITMAP_TYPE_PNG)); _right_crop_label = create_label (this, _("Right"), true); @@ -127,7 +129,7 @@ VideoPanel::VideoPanel (ContentPanel* p) boost::bind (&VideoPanel::top_crop_changed, this) ); - _top_bottom_link = new wxToggleButton (this, wxID_ANY, wxT(""), wxDefaultPosition, wxSize(22, link_height)); + _top_bottom_link = new wxToggleButton (this, wxID_ANY, wxT(""), wxDefaultPosition, wxSize(link_width, link_height)); _top_bottom_link->SetBitmap (wxBitmap(bitmap_path("link"), wxBITMAP_TYPE_PNG)); _bottom_crop_label = create_label (this, _("Bottom"), true); -- 2.30.2