+ /**
+ * Updates the device list in the sampling bar, and updates the
+ * selection.
+ * @param selected_device The device to select, or NULL if the
+ * first device in the device list should be selected.
+ */
+ void update_device_list(
+ boost::shared_ptr<pv::device::DevInst> selected_device =
+ boost::shared_ptr<pv::device::DevInst>());