Question is: how can I extract that kind of information, and what signal should I connect to react when the the other panel is activated?
To be notified when a Widget recieves focus, you'll want to connect to the signal Gtk::Widget::signal_focus_in_event(). To the best of
my knowledge, it is emitted whenever the Widget *recieves* the focus. Eric