Размытые шрифты в Google Chrome/Chromium в Linux после перехода на новый 27-дюймовый монитор QHD

Файлы PDF должны быть доступны для поиска; любому просмотрщику PDF придется сначала просмотреть трейлер, а оттуда перейти к смещениям из таблицы внешних ссылок.

Поскольку поиск по каналам невозможен, zathuraиспользует запутывающий трюк, копируя все входные данные во временный файл, а затем используя этот временный файл, как обычно. Такой «хитрый» трюк порождает ложные надежды и заставляет людей предполагать, что pdf-файлы доступны для потоковой передачи.

Но в любом случае, zathuraдействительно ждет EOF перед отображением документа, вам не нужно ничего делать для этого:

(sleep 10; cat file.pdf) | zathura -
# will really show the content of file.pdf after 10 seconds

Проблема в том, что zathuraнет возможности открыть окно только в том случае, если файл в порядке, и выйти с ошибкой, если это не так --он просто останется там, как будто все в порядке:

$ dd if=file.pdf bs=50000 count=1 status=none | zathura -
error: could not open document  # its window still hanging around showing nothing

$ echo $?
0  # really?

Таким образом, даже если вы сами перенаправляете вывод во временный файл и запускаете только zathura, если все в порядке, нет гарантии, что пользователь не увидит черное окно, если zathuraне работает. t нравится вывод по той или иной причине.


Кстати,

man -X man

отобразит справочную страницу в окне X11 с gxditview, даже если она выглядит прямо из 70-х;-)

И, конечно же, вы всегда можете использовать:

... | xargs xterm -e man

, который, помимо многих других улучшений, позволит вам использовать регулярные выражения при поиске и правильном выделении текста.

1
18.04.2021, 19:46
1 ответ

Я ковырялся и вот что нашел:

  1. Проблема не воспроизводится в Xnest.
  2. После игры с DPI и выбора достаточно низкого значения проблема исчезает, однако все остальное начинает выглядеть неестественно, поэтому я не могу изменить системное -широкое значение DPI.
  3. Я пытался найти способы применить DPI к одному приложению, но ничего не вышло.

Я понял, что это как-то связано с тем, что Google Chrome считает, что у меня дисплей с высоким разрешением, хотя это не так.

К счастью, я нашел вариант --force-device-scale-factor=1, который сразу решил проблему.

1
28.04.2021, 22:52

Теги

Похожие вопросы