name_changed();
}
+const std::list< std::shared_ptr<pv::view::View> > Session::views() const
+{
+ return views_;
+}
+
std::shared_ptr<pv::view::View> Session::main_view() const
{
return main_view_;
}
views_.push_back(view);
+
+ update_signals();
}
void Session::deregister_view(std::shared_ptr<pv::view::View> view)
if (iter != prev_sigs.end()) {
// Copy the signal from the old set to the new
signal = *iter;
+ view->add_signal(signal);
} else {
// Find the signalbase for this channel if possible
signalbase.reset();