// Constructor
internal ProgramConfiguration()
{
// We have no destructor
GC.SuppressFinalize(this);
defaultthingflags = new List <string>();
pasteoptions = new PasteOptions();
}
// Copy Constructor
public PasteOptions(PasteOptions p)
{
this.changetags = p.changetags;
this.removeactions = p.removeactions;
}
// Copy Constructor
public PasteOptions(PasteOptions p)
{
this.changetags = p.changetags;
this.removeactions = p.removeactions;
this.adjustheights = p.adjustheights;
}
