public:
PortMatrixColumnLabels (PortMatrix *, PortMatrixBody *);
- void button_press (double, double, int, uint32_t);
+ void button_press (double, double, GdkEventButton *);
double component_to_parent_x (double x) const;
double parent_to_component_x (double x) const;
double _longest_bundle_name;
double _longest_channel_name;
- double _highest_text;
+ double _text_height;
+ double _descender_height;
uint32_t _overhang;
};