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