From 387a0a5fd91cdee86958efb752f07609d8b290c8 Mon Sep 17 00:00:00 2001
From: Jean-Baptiste Mardelle <jb@kdenlive.org>
Date: Tue, 12 Feb 2013 13:55:15 +0100
Subject: [PATCH] Make monitor ruler slightly bigger so it's easier to click
 for seeking

---
 src/smallruler.cpp        | 4 ++--
 src/widgets/monitor_ui.ui | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/smallruler.cpp b/src/smallruler.cpp
index cc5f1999..b476c038 100644
--- a/src/smallruler.cpp
+++ b/src/smallruler.cpp
@@ -47,7 +47,7 @@ SmallRuler::SmallRuler(Monitor *monitor, Render *render, QWidget *parent) :
     m_zoneColor.setAlpha(180);
 
     setMouseTracking(true);
-    setMinimumHeight(8);
+    setMinimumHeight(QFontInfo(font()).pixelSize());
     adjustScale(m_maxval);
 }
 
@@ -286,7 +286,7 @@ void SmallRuler::paintEvent(QPaintEvent *e)
     int cursorPos = m_cursorFramePosition * m_scale;
     // draw pointer
     QPolygon pa(3);
-    pa.setPoints(3, cursorPos - 6, 7, cursorPos + 6, 7, cursorPos/*+0*/, 0);
+    pa.setPoints(3, cursorPos - 6, height() - 1, cursorPos + 6, height() - 1, cursorPos/*+0*/, height() - 8);
     p.setBrush(m_cursorColor);
     p.setPen(Qt::NoPen);
     p.drawPolygon(pa);
diff --git a/src/widgets/monitor_ui.ui b/src/widgets/monitor_ui.ui
index da42b948..0ace84b3 100644
--- a/src/widgets/monitor_ui.ui
+++ b/src/widgets/monitor_ui.ui
@@ -34,7 +34,7 @@
      <property name="maximumSize">
       <size>
        <width>16777215</width>
-       <height>10</height>
+       <height>12</height>
       </size>
      </property>
      <property name="lineWidth">
-- 
2.39.2