//-///////////////////////////////////////////////////////////////////////
//-///////////////////////////////////////////////////////////////////////
private void LoadLayoutForScript(string scriptFileName)
{
Config config = Misc.LoadXmlOrCreateDefault <Config>(GetConfigFileName(scriptFileName));
// Set main form placement
if (config.WindowPlacement != null)
{
config.WindowPlacement.Set(this);
}
// Load dock layout
{
string layoutFileName = GetLayoutFileName(scriptFileName);
// Annoyingly, a new layout can't be reloaded unless the
// old one is destroyed, so let's hope that loading the
// layout in works. This checks that the file exists first,
// but that's all.
if (File.Exists(layoutFileName))
{
while (_dockPanel.Contents.Count > 0)
{
var w = _dockPanel.Contents[0];
w.DockHandler.Close();
Misc.Dispose(w);
}
_dockPanel.LoadFromXml(layoutFileName, this.HandleDeserializeDockContent);
}
PostLoadPanels();
}
}
//-///////////////////////////////////////////////////////////////////////
//-///////////////////////////////////////////////////////////////////////
private void LoadStateForScript(string scriptFileName)
{
Config config = Misc.LoadXmlOrCreateDefault <Config>(GetConfigFileName(scriptFileName));
// Load graphics panel settings
{
if (config.GraphicsTransformElements != null && config.GraphicsTransformElements.Length >= 6)
{
_graphicsPanel.GraphicsTransform = new Matrix(
config.GraphicsTransformElements[0], config.GraphicsTransformElements[1],
config.GraphicsTransformElements[2], config.GraphicsTransformElements[3],
config.GraphicsTransformElements[4], config.GraphicsTransformElements[5]);
}
_graphicsPanel.GraphicsYIsUp = config.GraphicsYIsUp;
_graphicsPanel.GraphicsShowGrid = config.GraphicsShowGrid;
}
}
public Main()
{
_state = Misc.LoadXmlOrCreateDefault <State>(stateFileName);
}
