public string SaveAsFile()
{
SaveFileDialog saveFileDialog = new SaveFileDialog();
saveFileDialog.InitialDirectory = Environment.GetFolderPath(Environment.SpecialFolder.Personal);
saveFileDialog.Filter = "Fichiers karel (*.kl)|*.kl|Tous les fichiers (*.*)|*.*";
if (saveFileDialog.ShowDialog(this) == DialogResult.OK)
{
karelFileEnv.KlFullFileName = saveFileDialog.FileName;
karelFileEnv.Update(karelFileEnv.KlFullFileName);
File.WriteAllText(karelFileEnv.KlFullFileName, txtFichier.Text);
}
return(karelFileEnv.KlFullFileName);
}
