Вроде у них не получается грабить текст с экрана, отображаемый Acrobate Reader'ом напрямую. Stardict требует какой-то плагин. Есть программка Aqua Deskperience, вот она таскает текст отовсюду, но она не переводчик, но её можно настроить сразу передавать запрос на сторонний сайт для вызова перевода. Версия trial, но… кто ищет, тот всегда найдёт.