To reproduce:
- Open a resource, the Wikipedia tool (to any article) and the highlighting tool.
- Select some text in the resource.
- Now select some text in Wikipedia.
- Apply highlighting to the currently selected text by clicking in the Highlighting tool.
Result: The previously selected text in the resource will be highlighted.
Expected result: The most recently selected text in the Wikipedia tool will be highlighted.
In addition, it's impossible to erase highlighting from Wikipedia using the Erase button or CTRL+SHIFT+K. You have to open the notes document and delete the highlighting from there.
Finally, you can't use keyboard shortcuts to highlight text in the Wikipedia tool.