This is an attempt to write a Chrome extension for Gmail that can capture the user selection for further processing.
document.addEventListener('selectionchange')
only works for the email body but does not work
for the embed Gmail PDF reader.
By inspecting the Gmail PDF reader, I tried a different way to retrieve user selection.
The current PDF reader in Gmail is in the following structure:
<html>