Я нашел простое решение, которое работает очень хорошо для меня. Я установил xzoom из репозиториев по умолчанию.
Использование очень простое и именно то, что я хотел:
start xzoom. поместите окно, где оно вас не беспокоит. «перетащите» курсор мыши из окна в окно, которое вы хотите увеличить.
Дополнительное примечание: я на Ubuntu 14.04, и перед обнаружением xzoom я попробовал подходы, предложенные в принятом решении. Мои опыты:
start xzoom. Виртуальное увеличительное стекло не находится в репозиториях, а загруженная версия мне не нравится libgdk_pixbuf-2.0.so.0 (сначала она не нашла мой установленный libgdk_pixbuf-2.0.so; исправление LD_LIBRARY_PATH оказалось, что это не 64-битный исполняемый файл ...).