Searched refs:windowIdString (Results 1 – 1 of 1) sorted by relevance
48 const windowIdString = windowId.getValue().toString(16); constant49 const windowTitle = this.windowTokenToTitle.get(windowIdString);53 ? `0x${windowIdString} (${windowTitle})`54 : `0x${windowIdString}`,