From 5816ca31b8693b86a19f7e7eda5b33eba4bc0939 Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Tue, 14 Sep 2021 18:50:01 -0600 Subject: [PATCH] triggerbox: add some padding around button elements (mostly just testing) --- gtk2_ardour/trigger_ui.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gtk2_ardour/trigger_ui.cc b/gtk2_ardour/trigger_ui.cc index aa3e2208d8..7772d0720d 100644 --- a/gtk2_ardour/trigger_ui.cc +++ b/gtk2_ardour/trigger_ui.cc @@ -106,9 +106,9 @@ TriggerUI::TriggerUI (Item* parent, Trigger& t) const double scale = UIConfiguration::instance().get_ui_scale(); const Distance spacing = 12. * scale; - attach (follow_action_button, { 0, 0 }, { 2, 1 }, PackExpand, PackExpand); - attach (follow_left, { 0, 1 }, { 1, 2 }, PackExpand, PackExpand); - attach (follow_right, { 1, 1 }, { 2, 2 }, PackExpand, PackExpand); + attach (follow_action_button, { 0, 0 }, { 2, 1 }, PackExpand, PackExpand, { 10 }); + attach (follow_left, { 0, 1 }, { 1, 2 }, PackExpand, PackExpand, { 10 }); + attach (follow_right, { 1, 1 }, { 2, 2 }, PackExpand, PackExpand, { 10 }); trigger_changed (); }