Closed ahmadawais closed 4 years ago
P.S. here are the theme colors if you want to use a different one.
USAGE | HEX CODES |
---|---|
Background | #2D2B55 |
Background Dark | #1E1E3F |
Foreground | #A599E9 |
Hover Background | #4D21FC |
Contrast | #FAD000 |
Contrast Lite | #FFEE80 |
Contrast Lite II | #FAEFA5 |
Highlight | #FF7200 |
Comment | #B362FF |
Constants | #FF628C |
Keywords | #FF9D00 |
Other | #9EFFFF |
Strings | #A5FF90 |
Templates | #3AD900 |
Definitions | #FB94FF |
Invalid | #EC3A37F5 |
Diff Added | #00FF009A |
Diff Removed | #FF000D81 |
A couple of developers have asked to add a border to the editor hover widgets. I don't plan to do that in the main theme but you can do it by adding custom user settings.
E.g. Add
#A599E9
to the borders by adding the followingworkbench.colorCustomizations
setting i.e. a user setting.Have fun. Use your code for good. Peace! ✌️