Closed rock3r closed 2 months ago
The color key we were using was correct, but it is missing a fallback for when it's undefined. Such is the case with old UI themes (e.g., Darcula). So, the proper fix is to use JBColor.border(), which has a hardcoded fallback color.
Fixes #355, supersedes #356
The color key we were using was correct, but it is missing a fallback for when it's undefined. Such is the case with old UI themes (e.g., Darcula). So, the proper fix is to use JBColor.border(), which has a hardcoded fallback color.
Fixes #355, supersedes #356