void SaveInstructionCodeOk(Window callingWindow)
{
string fileName = ((FileWindow)callingWindow).Results[0];
FileManager.SaveText(
EditorData.GetStringForInstructions(),
fileName);
}