swish_stuff/My fonts setup at main · xpxaxsxi/swish_stuff · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
! Binding for the logical font-names.  You can bind any name to any
! font here.

display.system_fonts:	[ normal    := font(helvetica, roman,   12), \
			  bold      := font(helvetica, bold,    12), \
			  italic    := font(helvetica, oblique, 12), \
			  small     := font(helvetica, roman,   11), \
			  large     := font(helvetica, roman,   15), \
			  boldlarge := font(helvetica, bold,    15), \
			  huge      := font(helvetica, roman,   19), \
			  boldhuge  := font(helvetica, bold,    18), \
			  fixed     := font(screen,    roman,   12), \
			  tt        := font(screen,    roman,   12), \
			  boldtt    := font(screen,    bold,    12), \
			  symbol    := font(symbol,    roman,   11)  \
			]
!In Windows 10 in swipl-win.exe a Courier New 10pt is a same size as the PceEmacs Courier New 12pt
helvetica_fonts: 'Verdana'
screen_fonts: 'Courier New'