/// <summary>
 /// Called when the doc has changed outside the controller. All changes that have been
 /// made manually are discarded, and the values of the changed document are shown on the view.
 /// </summary>
 public void Refresh()
 {
     // the doc has
     _tempdoc = new ParameterSetElement(_doc);
     Initialize();
 }
 public ParameterSetElementController(ParameterSetElement doc)
 {
     _doc     = doc;
     _tempdoc = new ParameterSetElement(doc);
 }