{
private:
static const int LabelHitPadding;
+ static const int LabelHighlightRadius;
protected:
Signal(QString name);
*/
void set_v_offset(int v_offset);
+ /**
+ * Returns true if the signal has been selected by the user.
+ */
+ bool selected() const;
+
+ /**
+ * Selects or deselects the signal.
+ */
+ void select(bool select = true);
+
/**
* Paints the signal with a QPainter
* @param p the QPainter to paint into.
QColor _colour;
int _v_offset;
+ bool _selected;
+
QSizeF _text_size;
};