j
k
j a
j l
On Thu May 25 15:33:05 2023 +0000, Jacek Caban wrote:
Yes, but calls like `HideUI()` may change that.
OK, I've marked it as a false positive in Coverity. Thanks.
Back to the thread
Back to the list