perf: avoid setTransparency when the transparency is already in effect - #14967

perf: avoid setTransparency when the transparency is already in effect#14967

Kha merged 1 commit into

masterleanprover/lean4:masterfrom

meta-transparency-noopleanprover/lean4:meta-transparency-noopCopy head branch name to clipboard