CursorHeader: Do not clip away the selection.

[pulseview.git] / pv / view / cursorheader.h

diff --git a/pv/view/cursorheader.h b/pv/view/cursorheader.h
index ff1759d47eb324b32e2ebfdb3948bc5674763d66..d3124be95baa53eeba4bb9be0951f7142f00c012 100644 (file)
--- a/pv/view/cursorheader.h
+++ b/pv/view/cursorheader.h
@@ -39,6 +39,12 @@ class CursorHeader : public MarginWidget
 
        static const int Padding;
 
 
        static const int Padding;
 

+       /**
+        * The vertical offset, relative to the bottom line of the widget,
+        * where the arrows of the cursor labels end.
+        */
+       static const int BaselineOffset;
+

 public:
        CursorHeader(View &parent);
 
 public:
        CursorHeader(View &parent);