'Monokai' theme name collides with built-in theme name.

[aeschli]

When we switched to having themes beeing configured in the settings, we wanted to avoid a non-human readable theme ids in the user settings. Instead, we opted for the label instead. Obviously, that can lead to conflicts. That is not so much a problem when both themes come from an extension as once can uninstall the conflicting extension again. But for conflicts with one of the built-in theme the fix is for the 3rd-party theme to change the name. The following themes from this repo collide with the built-in themes:

• Monokai
• Abyss It would be great if you could give these theme a unique name, such as 'Monokai (Gerane)'. A unique name is also beneficial to recognize it in VSCode extensions view and in the marketplaces or when users want to recommend it.

[plag]

@aeschli like this color theme too. Just fix your issue:

1. close vscode
2. open $HOME/.vscode/extensions/gerane.theme-monokai-0.0.2/package.json
3. replace "label": "Monokai", with "label": "Monokai2", or whatever you want
4. open vscode and select new theme name

theme not updating frequently, looks like this is good fix.