Я использую TeXworks 0.4.5 r1280 в Windows 7 и TeXworks 0.5 r952 в Ubuntu 12.04. Мне нравится шрифт в Ubuntu гораздо больше, чем в Windows. С ним легче читать и работать. В Ubuntu этот шрифт называется "Serif" в настройках TeXworks:
В Windows его не существует:
Где я могу найти этот шрифт в каком-либо формате, который я смогу установить и использовать в Windows 7? Это может быть шрифт, встроенный в TeXworks, или это общесистемный шрифт?
Обновление: по предложению Ignacio я использовал карту символов и обнаружил, что это шрифт DejaVu Serif, который можно найти в /usr/share/fonts/truetype/ttf-dejavu/DejaVuSerif.ttf
. Я скопировал этот файл на компьютер с Windows, открыл его с помощью средства просмотра шрифтов Windows и установил его. После перезапуска TeXworks он появился в списке шрифтов как DejaVu Serif
. Чтобы улучшить внешний вид шрифта, я настроил значение разрешения экрана в соответствии с моим монитором (настройка находится на вкладке «Предварительный просмотр» в диалоговом окне «Настройки»):