From 390ffb2253bae00a32a2c6c596293a76a2ee9b28 Mon Sep 17 00:00:00 2001 From: jean-emmanuel Date: Sat, 20 Jan 2024 16:07:10 +0100 Subject: [PATCH] ui: add some padding in tooltips --- gtk2_ardour/clearlooks.rc.in | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gtk2_ardour/clearlooks.rc.in b/gtk2_ardour/clearlooks.rc.in index 9eb5167650..c38f5b30a2 100644 --- a/gtk2_ardour/clearlooks.rc.in +++ b/gtk2_ardour/clearlooks.rc.in @@ -1058,6 +1058,8 @@ style "tooltip" = "medium_text" fg[NORMAL] = @fg_tooltip bg[NORMAL] = @bg_tooltip bg[SELECTED] = @bg_tooltip + xthickness = 4 + ythickness = 4 } style "default_toggle_button"