Searched refs:windowTitle (Results 1 – 1 of 1) sorted by relevance
49 const windowTitle = this.windowTokenToTitle.get(windowIdString); constant52 windowTitle53 ? `0x${windowIdString} (${windowTitle})`