Closed Mailaender closed 1 year ago
This resolves problems with Eclipse themes in dark mode on Windows 10. Followup on #300.
This resolves problems with Eclipse themes in dark mode on Windows 10. Followup on #300.