Use XMLNode::set_property API in VideoMonitor class

diff --git a/gtk2_ardour/video_monitor.cc b/gtk2_ardour/video_monitor.cc
index a23e2b251604568df7bcf3e25390c20cd0ad4d01..56dad67dc87d4bb4c128a168a1410a691e0d793c 100644 (file)
--- a/gtk2_ardour/video_monitor.cc
+++ b/gtk2_ardour/video_monitor.cc
@@ -430,8 +430,8 @@ VideoMonitor::save_session ()
 
        for(XJSettings::const_iterator it = xjadeo_settings.begin(); it != xjadeo_settings.end(); ++it) {
          XMLNode* child = node->add_child (X_("XJSetting"));
-               child->add_property (X_("k"), it->first);
-               child->add_property (X_("v"), it->second);
+               child->set_property (X_("k"), it->first);
+               child->set_property (X_("v"), it->second);
        }
 }