////////////////////////////////////////////////////////////////////////// private void DisplayScript(Script Scr) { if (Scr != null) { GridVars.SelectedObject = Scr.VarProvider; ScrViewer.LoadScript(_Client, Scr); Watch.Refresh(Scr); GridWatch.Refresh(); } else { GridVars.SelectedObject = null; ScrViewer.LoadScript(_Client, null); Watch.Refresh(Scr); GridWatch.Refresh(); } RefreshScriptInfo(ScrViewer.Script); }
////////////////////////////////////////////////////////////////////////// private void OnToggleBreak(object sender, EventArgs e) { if (ScrViewer.CanSetBreakpoint()) { int Line = ScrViewer.SelectedIndices[0] + 1; if (ScrViewer.Script.BreakpointAtLine(Line)) { _Client.Server.RemoveBreakpoint(ScrViewer.Script.Filename, Line); } else { _Client.Server.AddBreakpoint(ScrViewer.Script.Filename, Line); } ScrViewer.RefreshBreakpoints(); } else { SystemSounds.Exclamation.Play(); } }
private void StartButton_Click(object sender, RoutedEventArgs e) { ScrViewer.ScrollToTop(); }
private void EndButton_Click(object sender, RoutedEventArgs e) { ScrViewer.ScrollToEnd(); }
////////////////////////////////////////////////////////////////////////// internal void HighlightScriptLine() { ScrViewer.HighlightLine(); ScrViewer.Focus(); }
////////////////////////////////////////////////////////////////////////// public void Tick() { RefreshScriptInfo(ScrViewer.Script); ScrViewer.RefreshLine(); }