private void Main_Load(object sender, EventArgs e)
{
//Parameters hidden file open:
loadParameters();
//Show workspace launcher at the beginning:
if (workspace == null)
{
WorkspaceLauncher workspaceLauncher = new WorkspaceLauncher(this);
workspaceLauncher.Show();
}
else
{
// Try the location folder from the param file
try
{
loadWorkspace();
//If default workspace option choosed set parametrs in hidden param file
if (workspace.defaultOption)
{
// Remove the hidden attribute of the file
if (File.Exists(parametersFileName))
{
FileInfo myFile = new FileInfo(parametersFileName);
myFile.Attributes &= ~FileAttributes.Hidden;
}
File.WriteAllText(parametersFileName, workspace.locationFolder);
FileInfo myFile1 = new FileInfo(parametersFileName);
// Set the hidden attribute of the file
myFile1.Attributes = FileAttributes.Hidden;
}
}
catch (Exception exc)
{
DialogResult r = MessageBox.Show(this, "You will need to use another workspace\n" + exc.ToString(), "Problem open workspace", MessageBoxButtons.OKCancel);
if (r == DialogResult.OK)
{
// If fail, reset workspace
WorkspaceLauncher workspaceLauncher = new WorkspaceLauncher(this);
workspaceLauncher.Show();
}
}
}
this.objectToObjectTracks = new Dictionary<Object, ObjectAnnotation>();
}
private void switchWorkspaceToolStripMenuItem_Click(object sender, EventArgs e)
{
WorkspaceLauncher workspaceLauncher = new WorkspaceLauncher(this);
workspaceLauncher.Show();
}