This repository has been archived on 2023-10-09. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Ton Roosendaal 96dffe952b Bug fix #34974 ...

The open region indicator (with +) didn't do alpha blending properly, so it wasn't
visible for any theme color.

2013-04-17 13:40:00 +00:00

51 KiB

Raw Blame History

View Raw