private void MainForm_FormClosing(object sender, FormClosingEventArgs e)
{
FormPersister persister = new FormPersister(m_Registry);
persister.SaveSize(this);
m_TocRefreshTimer.Enabled = false;
}
/// <summary>
/// Called after this form has finished loading.
/// </summary>
private void MainForm_Load(object sender, EventArgs e)
{
FormPersister persister = new FormPersister(m_Registry);
persister.LoadSize(this);
m_HtmlEditor.DocumentCompleted += new System.Windows.Forms.WebBrowserDocumentCompletedEventHandler(this.Browser_DocumentCompleted);
m_BindingParams.IconFile = GetDefaultThumbnailImage();
}