color bug work-around in the check button
Description
Description
Details
Details
- Committed
borel Dec 28 2022, 15:53 - Pushed
borel Dec 28 2022, 15:53 - Parents
- rOACCT22b3594e39b5: working but not bug-free
- Branches
- Unknown
- Tags
color bug work-around in the check button
color bug work-around in the check button
Authored by borel on Dec 28 2022, 15:53.
Tags
None
Subscribers
None