Create "Light+ (default light) (for TLA+)" and "Dark+ (default dark) (for TLA+)" color themes

TeamTilapia / vscode-tilapia

VS Code extension adding support for Leslie Lamport's TLA+ language

Other

14 stars 1 forks source link

Create "Light+ (default light) (for TLA+)" and "Dark+ (default dark) (for TLA+)" color themes #12

Open pmer opened 6 years ago

pmer commented 6 years ago

We now have a color theme called "Dark (Molokai) (for TLA+)". Let's remove it after adding TLA+ colorizing to the default light and dark themes for VS Code.