From 3bcde31caba79b7276d749aa81ef5f5bfc7589c6 Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Wed, 22 Jan 2025 23:07:50 +0100
Subject: [PATCH] Slightly increase ruler height

---
 gtk2_ardour/editor.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gtk2_ardour/editor.cc b/gtk2_ardour/editor.cc
index fd569b96ea..f67b1dd1af 100644
--- a/gtk2_ardour/editor.cc
+++ b/gtk2_ardour/editor.cc
@@ -412,7 +412,7 @@ Editor::Editor ()
 	build_draw_midi_menus();
 	build_edit_point_menu();
 
-	timebar_height = std::max (12., ceil (15. * UIConfiguration::instance().get_ui_scale()));
+	timebar_height = std::max (13., ceil (17. * UIConfiguration::instance().get_ui_scale()));
 
 	TimeAxisView::setup_sizes ();
 	ArdourMarker::setup_sizes (timebar_height);