void widget_RootKeyChangeFocus(Widget source, EventArgs e)
{
RootFocusEventArgs rfea = (RootFocusEventArgs)e;
if (rfea.Focus)
{
EditMenuManager editMenuManager = ViewHost.Context.getModel <EditMenuManager>(EditMenuManager.DefaultName);
if (editMenuManager != null)
{
editMenuManager.setMenuProvider(this);
}
}
}
private void MainForm_Load(object sender, EventArgs e)
{
setTitleText();
GlobalVariables.ProjectModified += new GlobalVariables.ProjectModifiedEventHandler(GlobalVariables_ProjectModified);
EditMenuManager emm = new EditMenuManager();
emm.ConnectMenus(editToolStripMenuItem);
loadRecentFiles();
GlobalVariables.IsProjectModified = false;
}
