//-/////////////////////////////////////////////////////////////////////// //-/////////////////////////////////////////////////////////////////////// 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); }