private void RefreshCodeView(SourceRef sourceCodeRef) { if (sourceCodeRef == m_PrevRef) { return; } m_PrevRef = sourceCodeRef; if (sourceCodeRef == null) { txtCodeView.Text = "!! NULL !!"; } else { SourceCode sc = m_Script.GetSourceCode(sourceCodeRef.SourceIdx); //txtCodeView.Text = sc.Lines[sourceCodeRef.FromLine + 1] + "\n" + // sourceCodeRef.ToString(); txtCodeView.Text = sc.GetCodeSnippet(sourceCodeRef) + "\r\n\r\n" + sourceCodeRef.ToString(); } }