c# - 拡張子が .txt のファイルの作成 (C#)

Question

私は自分のプログラムで .txt ファイルを作成しようとしていて、その中にリッチテキスト ボックスの内容を保存しています (または単に既存のファイルを編集していますが、これは既に機能しています)。問題は、ファイルを保存しようとすると、ファイルが作成されますが、.txt 拡張子がないことです。次の2つを含むいくつかのことを試しましたが、どちらも拡張子なしのファイルを作成します。どうすればこれを修正できますか?

            SaveFileDialog op = new SaveFileDialog();
            op.Title = "Save";
            op.Filter = "Text Document(*.txt)|*txt";
            //op.DefaultExt = "txt";
            //op.AddExtension = true;

            if (op.ShowDialog() == DialogResult.OK)
            {
                using (Stream s = File.Open(op.FileName, FileMode.CreateNew))
                using (StreamWriter sw = new StreamWriter(s))
                {
                    sw.Write(richTextBox1.Text);
                }
            }

と：

   SaveFileDialog op = new SaveFileDialog();
   op.Title = "Save";
   op.Filter = "Text Document(*.txt)|*txt";
   if (op.ShowDialog() == DialogResult.OK)
   {
       richTextBox1.SaveFile(op.FileName, RichTextBoxStreamType.PlainText);
       filename = op.FileName;
       this.Text = op.FileName;
   }

Answer 1

ここで拡張子の前にドットを追加する必要があります：

op.Filter = "Text Document(*.txt)|*txt";

だからそれはこれになります：

op.Filter = "Text Document(*.txt)|*.txt";

Answer 2

ドットがありません：

op.Filter = "Text Document(*.txt)|*.txt";