[Feat]: Code modification #5666
Answered
by
jsjoeio
chenhuanguang
asked this question in
Q&A
-
Beta Was this translation helpful? Give feedback.
Answered by
jsjoeio
Oct 18, 2022
Replies: 1 comment 2 replies
-
Hmm..so you can right click and select "Hide 'Extensions'". If you want to delete it from source, you'd have to create a patch, modify in |
Beta Was this translation helpful? Give feedback.
2 replies
Answer selected by
chenhuanguang
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hmm..so you can right click and select "Hide 'Extensions'".
If you want to delete it from source, you'd have to create a patch, modify in
lib/vscode
, build from source and you'd have a new executable of code-server. Let me know if that makes sense!