//-/////////////////////////////////////////////////////////////////////// //-/////////////////////////////////////////////////////////////////////// private void PostLoadPanels() { // Find interesting panels. FindDockContent(out _textPanel); FindDockContent(out _tweaksPanel); FindDockContent(out _graphicsPanel); // if (_textPanel == null) { _textPanel = new TextPanel(); _textPanel.Show(_dockPanel, DockState.Document); } // if (_tweaksPanel == null) { _tweaksPanel = new TweaksPanel(); _tweaksPanel.Show(_dockPanel, DockState.Document); } // if (_graphicsPanel == null) { _graphicsPanel = new GraphicsPanel(); _graphicsPanel.Show(_dockPanel, DockState.Document); } _graphicsPanel.GraphicsControl.DelegatedPaint += this.OnGraphicsPanelPaint; }
//-/////////////////////////////////////////////////////////////////////// //-/////////////////////////////////////////////////////////////////////// public MainForm(Main main) { InitializeComponent(); _main = main; _main.RecentFileListChanged += this.HandleRebuildRecentFilesList; HandleRebuildRecentFilesList(null, null); _graphicsPanel = null; _textPanel = null; _tweaksPanel = null; PostLoadPanels(); _fileChangeWatcher = null; StopScript(); if (_main.LastFile != null) { RunScript(_main.LastFile, true, false); } }
public WriteStream(TextPanel textPanel = null) { _textPanel = textPanel; }