private void mnFileManager_Click(object sender, EventArgs e)
{
if (this.Port != null)
{
Globals.Terminal.Locked = true;
this.Port.Sync(true);
this.Port.Clean();
PyFileManager d = new PyFileManager();
d.Port = this.Port;
d.ShowDialog();
d.Dispose();
this.Port.Clean();
this.Port.Sync(false);
Globals.Terminal.Locked = false;
}
}
private void mnFileManager_Click(object sender, EventArgs e)
{
if (this.Port != null)
{
Globals.Terminal.Locked = true;
this.Port.Sync(true);
this.Port.Clean();
PyFileManager d = new PyFileManager();
d.Port = this.Port;
d.ShowDialog();
if (d.Pyfile != null)
{
IDocument doc = this.OpenFromFile(d.Pyfile, EditorForm.EditorFileFormats);
if (doc != null)
{
(doc as DockContent).Show(this.dockPanel1);
}
}
d.Dispose();
this.Port.Clean();
this.Port.Sync(false);
Globals.Terminal.Locked = false;
}
}