navigator is a global browser API, you do not need to import anything. It is just like “document” for example.
- https://www.w3.org/TR/clipboard-apis/
- https://developers.google.com/web/updates/2018/03/clipboardapi
I just testet it on Android, it didn’t work. Just worked on Chrome desktop and i guess all other modern desktop browsers. It seems this technology is very new, nevertheless it could be integrated as browser interface into the plugin. I’m going to open a PR when I have a chance.