public bool Equals(MainFormOptions options)
{
if (location != options.location)
{
return(false);
}
if (size != options.size)
{
return(false);
}
if (maximized != options.maximized)
{
return(false);
}
if (m_toolStripView != options.m_toolStripView)
{
return(false);
}
if (m_statusStripView != options.m_statusStripView)
{
return(false);
}
return(true);
}
public void CopyTo(ref MainFormOptions options)
{
options.location = location;
options.size = size;
options.maximized = maximized;
options.m_toolStripView = m_toolStripView;
options.m_statusStripView = m_statusStripView;
}
public MainFormOptions(MainFormOptions options)
{
location = options.location;
size = options.size;
maximized = options.maximized;
m_toolStripView = options.m_toolStripView;
m_statusStripView = options.m_statusStripView;
}
public Options(Options options)
{
resultsOptions = new ResultsOptions(options.resultsOptions);
mainFormOptions = new MainFormOptions(options.mainFormOptions);
hotKeyOptions = new HotKeyOptions(options.hotKeyOptions);
coreOptionsFileName = (string)options.coreOptionsFileName.Clone();
Language = options.Language;
onePath = options.onePath;
checkingForUpdates = options.checkingForUpdates;
useImageDataBase = options.useImageDataBase;
checkResultsAtLoading = options.checkResultsAtLoading;
checkMistakesAtLoading = options.checkMistakesAtLoading;
loadProfileOnLoading = options.loadProfileOnLoading;
saveProfileOnClosing = options.saveProfileOnClosing;
}
