`IsDevToolsViewShowing` seems a good name to me, it's updated now.