minor GUI bug: Project Explorer column element overlap in 'Dark' mode
When setting the GUI to dark mode (Tools / Options / Environment / User Interface / Theme), column elements in the Project Explorer overlap each other.
The effect does not happen in "Light" mode.
A screenshot of such an overlap is attached. In this case, it is especially the "modified options" label that extends into neighbouring columns.
Observed under Windows 10.
When setting the GUI to dark mode (Tools / Options / Environment / User Interface / Theme), column elements in the Project Explorer overlap each other.
The effect does not happen in "Light" mode.
A screenshot of such an overlap is attached. In this case, it is especially the "modified options" label that extends into neighbouring columns.
Observed under Windows 10.