// Scrittura su richTextBox

        private delegate void WriteToLineDelegate(int lineNumber, string text);
        private void WriteToLine(int lineNumber, string text)
        {
            int pos = richTextBox1.GetFirstCharIndexFromLine(lineNumber);
            richTextBox1.Select(pos + 5, richTextBox1.Lines[lineNumber].Length - 5);
            richTextBox1.SelectedText = text;

        }

        // Inizializzazione richTextBox

        private void InizializzaRichTextbox()
        {
            System.Text.StringBuilder builder = new System.Text.StringBuilder();
            for (int i = 0; i < numperif.Count; i++)
                builder.AppendLine("P" + (i + 1) + "      ");
            richTextBox1.text = builder.ToString(); 
        }