Add API for refreshing UI without needing an analysis update
G
Glenn Smith committed
8c8888c3f9a377d4e3306ec067b8c3d5fbed7ddd
Parent: f9b8762
Committed by Xusheng <xusheng@vector35.com>
on 3/21/2025, 3:44:09 PM