+void Trace::select(bool select)
+{
+ // Trace can only be selected if the mouse cursor is in the header area;
+ // as is_draggable() checks the same thing, we re-use it here
+ if (is_draggable() && select)
+ selected_ = true;
+ else
+ selected_ = false;
+}
+