展開したてのte220115で
新しいフォルダーの中に001.txtと002.txtを作成して
002.txtを選択してF5更新してから001.txtだけ選択してDeleteキーで削除
001.txtが削除され002.txtが残るはずが001.txtが残っています
ファイルを選択してF5更新しなければ思った通りに削除されます