private void listCodeFile_SelectedIndexChanged(object sender, EventArgs e)
{
compilerResult = null;
curCodeFile = this.listCodeFile.SelectedItem as string;
if (curCodeFile != null)
{
this.richTextBox_Code.Text = System.IO.File.ReadAllText(curCodeFile);
ReFormat();
}
}