From c77b254fbf6a9f95229b56db43dee6505513840d Mon Sep 17 00:00:00 2001
From: "andrei.ezerskii" <andrei.ezerskii@jetbrains.com>
Date: Tue, 13 Feb 2024 14:59:32 +0100
Subject: [PATCH] fix gif animation for vscode.md

---
 topics/vscode.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/topics/vscode.md b/topics/vscode.md
index bb7f91a8..4e152540 100644
--- a/topics/vscode.md
+++ b/topics/vscode.md
@@ -95,7 +95,7 @@ the [**Path prefix**](#vs-code-configure-extension) setting.
 
 On this tab, you can click problem items and navigate to code fragments where %instance% detected them.
 
-<img src="vscode-problems-tab.png" dark-src="vscode-problems-tab_dark.png" width="706" alt="The PROBLEMS in VS Code" animated="true" border-effect="line"/>
+<img src="vscode-problems-tab.animated.gif" dark-src="vscode-problems-tab_dark.animated.gif" width="706" alt="The PROBLEMS in VS Code" animated="true" border-effect="line"/>
 
 ## Troubleshooting
 {id="vs-code-troubleshooting"}