mirror of
https://github.com/gwenhael-le-moine/x48.git
synced 2025-01-12 20:01:13 +01:00
No longer require font helvetica.
That font is not always available by default and not essential to the program.
This commit is contained in:
parent
f36b064b01
commit
a8a84df08d
2 changed files with 2 additions and 2 deletions
|
@ -33,7 +33,7 @@
|
||||||
*smallLabelFont: -*-fixed-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
|
*smallLabelFont: -*-fixed-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
|
||||||
*mediumLabelFont: -*-fixed-bold-r-normal-*-15-*-*-*-*-*-iso8859-1
|
*mediumLabelFont: -*-fixed-bold-r-normal-*-15-*-*-*-*-*-iso8859-1
|
||||||
*largeLabelFont: -*-fixed-medium-r-normal-*-20-*-*-*-*-*-iso8859-1
|
*largeLabelFont: -*-fixed-medium-r-normal-*-20-*-*-*-*-*-iso8859-1
|
||||||
*connectionFont: -*-helvetica-medium-r-normal-*-12-*-*-*-*-*-iso8859-1
|
*connectionFont: -*-fixed-medium-r-normal-*-12-*-*-*-*-*-iso8859-1
|
||||||
|
|
||||||
!
|
!
|
||||||
! informative stuff
|
! informative stuff
|
||||||
|
|
|
@ -7,7 +7,7 @@
|
||||||
"*smallLabelFont: -*-fixed-bold-r-normal-*-14-*-*-*-*-*-iso8859-1",
|
"*smallLabelFont: -*-fixed-bold-r-normal-*-14-*-*-*-*-*-iso8859-1",
|
||||||
"*mediumLabelFont: -*-fixed-bold-r-normal-*-15-*-*-*-*-*-iso8859-1",
|
"*mediumLabelFont: -*-fixed-bold-r-normal-*-15-*-*-*-*-*-iso8859-1",
|
||||||
"*largeLabelFont: -*-fixed-medium-r-normal-*-20-*-*-*-*-*-iso8859-1",
|
"*largeLabelFont: -*-fixed-medium-r-normal-*-20-*-*-*-*-*-iso8859-1",
|
||||||
"*connectionFont: -*-helvetica-medium-r-normal-*-12-*-*-*-*-*-iso8859-1",
|
"*connectionFont: -*-fixed-medium-r-normal-*-12-*-*-*-*-*-iso8859-1",
|
||||||
"*verbose: False",
|
"*verbose: False",
|
||||||
"*quiet: False",
|
"*quiet: False",
|
||||||
"*printVersion: False",
|
"*printVersion: False",
|
||||||
|
|
Loading…
Reference in a new issue