Replies: 2 comments 1 reply
-
I have now removed the Atom, Gedit, Brave and Sound plugins in the latest beta. I will keep the Firefox plugin for now, since it allows selecting themes. Gnome stuff will stay as well |
Beta Was this translation helpful? Give feedback.
0 replies
-
@l0drex what do you think about removing the vscode plugin? there's a longstanding bug where your settings.json is completely overwrote if theres a comment or trailing comma at the end |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
I am thinking about removing some plugins, since I don't think many people use them. This includes:
This is mostly because I don't know if and for how long they work, and I don't want to confuse anyone with a broken app. Please let me know what you think!
3 votes ·
Beta Was this translation helpful? Give feedback.
All reactions