private void ShowReadLinePanel(Client client, string prompt, string defaultValue, string[] options)
 {
     this._readLinePanelVisible = true;
     if (this._readLinePanel == null)
     {
         ReadLinePanel panel = new ReadLinePanel {
             Dock = DockStyle.Bottom
         };
         this._readLinePanel = panel;
     }
     this._readLinePanel.EntryMade = delegate (string text) {
         if (this.QueryRunning)
         {
             this.lblStatus.Text = "Executing";
         }
         this.HideReadLinePanel();
         this._query.ReadLineCompleted(client, text);
     };
     if (this._readLinePanel.Parent != this)
     {
         base.SuspendLayout();
         base.Controls.Add(this._readLinePanel);
         this._readLinePanel.SendToBack();
         this.statusStrip.SendToBack();
         base.ResumeLayout();
     }
     this.lblStatus.Text = "Awaiting user input";
     this._readLinePanel.Go(prompt, defaultValue, options);
     this.ScrollResults(VerticalScrollAmount.Document, true, true, false);
 }
 protected override void Dispose(bool disposing)
 {
     if (disposing && (this.components != null))
     {
         this.components.Dispose();
         this.KillIEComExceptionTimer();
         if (this._dataBrowser != null)
         {
             this._dataBrowser.ObjectForScripting = null;
         }
         this._pluginWinManager.Reset(false);
         this._query.Dispose();
         this._query = null;
         this._schemaTree.AfterSelect -= new TreeViewEventHandler(this._schemaTree_AfterSelect);
         if (this._docMan != null)
         {
             this._docMan.Dispose();
         }
         this._docMan = null;
         if (this._readLinePanel != null)
         {
             this._readLinePanel.Dispose();
             this._readLinePanel = null;
         }
         this._dataBrowser.Dispose();
         this._lambdaBrowser.Dispose();
         this._ilBrowser.Dispose();
         this._dataPanel.Dispose();
         this._lambdaPanel.Dispose();
         this._ilPanel.Dispose();
         this._refreshTimer.Dispose();
         this._clockTimer.Dispose();
         this._autoSaveTimer.Dispose();
         this._executionTrackingTimer.Dispose();
         this._pluginWinManager.Dispose();
     }
     base.Dispose(disposing);
 }