private void SetView(int view)
{
this.toolStripMenuItemViewWeb.Checked = (view == 1);
this.toolStripButtonViewWeb.Checked = (view == 1);
this.webBrowser.Visible = (view == 1);
this.toolStripMenuItemViewText.Checked = (view == 2);
this.toolStripButtonViewText.Checked = (view == 2);
this.textBoxHTML.Visible = (view == 2);
this.toolStripMenuItemViewDiagram.Checked = (view == 3);
this.toolStripButtonViewDiagram.Checked = (view == 3);
this.panelDiagram.Visible = (view == 3);
this.toolStripMenuItemModeSelect.Enabled = (view == 3);
this.toolStripMenuItemModeMove.Enabled = (view == 3);
this.toolStripMenuItemModeLink.Enabled = (view == 3);
this.toolStripButtonModeSelect.Enabled = (view == 3);
this.toolStripButtonModeMove.Enabled = (view == 3);
this.toolStripButtonModeLink.Enabled = (view == 3);
}