![When using `cdr/code-server`, skip missing extensions when running `Download settings` · Issue #1207 · shanalikhan/code-settings-sync · GitHub When using `cdr/code-server`, skip missing extensions when running `Download settings` · Issue #1207 · shanalikhan/code-settings-sync · GitHub](https://user-images.githubusercontent.com/3588798/82403731-27c65c00-9a25-11ea-9161-0d343880a6b8.png)
When using `cdr/code-server`, skip missing extensions when running `Download settings` · Issue #1207 · shanalikhan/code-settings-sync · GitHub
![Updated to latest code-server (code-server: v3.9.1), but extensions are not recognized · Issue #2848 · coder/code-server · GitHub Updated to latest code-server (code-server: v3.9.1), but extensions are not recognized · Issue #2848 · coder/code-server · GitHub](https://user-images.githubusercontent.com/6249613/110501935-8c839d80-80af-11eb-9550-805004b44e88.png)
Updated to latest code-server (code-server: v3.9.1), but extensions are not recognized · Issue #2848 · coder/code-server · GitHub
![Microsoft Edge DevTools extension for Visual Studio Code - Microsoft Edge Development | Microsoft Learn Microsoft Edge DevTools extension for Visual Studio Code - Microsoft Edge Development | Microsoft Learn](https://learn.microsoft.com/en-us/microsoft-edge/visual-studio-code/microsoft-edge-devtools-extension-images/devtools-extension-v211.png)