I am learning Spanish. And I read texts in Spanish on my computer (normally PDFs) where I want to translate words I don't understand with a click of my mouse.
It takes way too much time to copy the unknown word into the clipboard, switch contexts, paste it in a translator and switch back.
What tool can I use to translate Spanish into English or German that offers an acceptable vocabulary?