Freecol : changer la grandeur de la police

ubub · 21-12-2021 14:02:34

Bonjour,
Je voudrais changer la taille de la police dans Freecol (le jeu) et je n'y arrive pas...
Enfin, ca reste sans effet....
J'ai changé la taille dans le fichier adéquat(?) comme indiqué là:

3.6. CUSTOMIZATION 47
3.6 Customization
The FreeCol user interface can be customized to a certain degree. In the
directory where FreeCol is installed, you will find a sub-directory called data,
which contains configuration files and multimedia assets
The sub-directory data/base/ contains assets that are used for the user
interface in general, independent of the rules used for a particular game.
The sub-directory data/base/resources/fonts contains several fonts that
are distributed with FreeCol, including the file ShadowedBlack.ttf, which
contains the black letter font used to display headlines and the titles of panels.
The file data/base/resources.properties allows you to configure how the
assets are used.
The line
NormalFont=urn:font:Serif-PLAIN-13
for example, selects the font called “Serif” with font style “plain” and font
size 13. Instead of “Serif”, you could use any other font that is known to
the Java Virtual Machine of your system.

http://www.freecol.org/documentation/fr … anual.html

du coup, pour moi ça ressemble à ça, maintenant:

# Fonts

# Decorative font to use for panel headers.

font.header=resources/fonts/ShadowedBlack.ttf

# Font to use for normal text.

font.normal=urn:font:Serif-PLAIN-18

# Deliberately simple font.

font.simple=urn:font:Dialog-PLAIN-18

J'ai mis 18 pour être sûr de voir une différence s'y a....
Un truc que j'ai mal fait ?
Merci,

--gilles-- · 21-12-2021 14:56:52

Bonjour ubub

Je lis :

you could use any other font that is known to the Java Virtual Machine of your system.

Ce qui tendrait à indiquer qu'il est à la fois nécessaire d'avoir la Java Virtual Machine et que la police choisie soit reconnue par la Java Virtual Machine.

Mais moi Java ! Quel paquet procure la Java Virtual Machine ? Mystère pour moi !

Which Debian package supplies Java Virtual Machine?

Une recherche sur Internet peut être ?

ubub · 21-12-2021 15:12:48

Bonjour,
..oui,mais...Pour changer la police, faut qu'elle soit reconnue par la java virtual machine, ca semble logique, pour ça que j'ai gardé la même...
La Java virtual machine je pense qu'elle est déjà faite/dans le paquet freecol, qui est écrit en Java me semble-t-il et qui a des dépendances avec moult paquets *java
Après si la virtual machine java est capable de comprendre Serif-PLAIN-12 , je crois que c'était la valeur, je vois pas pourquoi elle pourrait pas interpréter 18 au lieu de 12
Je pense pas qu'il faille "rajouter" de paquet, tout y est déjà inclut je pense

--gilles-- · 21-12-2021 16:24:13

Il faudrait peut être afficher le fichier que tu as modifié, en entier, histoire de voir si cela apporte des informations supplémentaires.

On lit aussi ceci dans la documentation :

FreeCol also provides several application-specific command line options:

--usage Display the help screen.
--version Display the version number.
--default-locale LOCALE Specify a locale.
--freecol-data DIR Specify the directory that contains FreeCol’s data files. In general, you will only need to use this if you have installed a modified copy of FreeCol’s data files.
--advantages ADVANTAGES Set the European nation advantages type, which must be one of Selected (each nation may choose an advantage), Fixed (the standard advantage types are fixed) or None (Europeans do not have national advantages). The names of the advantage types will be translated to the specified locale, but if you specify the ADVANTAGES wrongly an error message is printed which lists the available choices.
--clientOptions FILE Override the client options file (normally options.xml in the freecol directory).
--difficulty DIFFICULTY Set the default difficulty level.
--europeans EUROPEANS Set the default number of enabled European colonial nations (normally the classic four: Dutch, English, French, Spanish).
--font FONTSPEC Override the default font with a Java font specifier (e.g. Arial-BOLD-12).

ubub · 21-12-2021 16:33:50

cat /usr/share/games/freecol/base/resources.properties

# Fonts

# Decorative font to use for panel headers.

font.header=resources/fonts/ShadowedBlack.ttf

# Font to use for normal text.

font.normal=urn:font:Serif-PLAIN-18

# Deliberately simple font.

font.simple=urn:font:Dialog-PLAIN-18

# Signature for Declaration of Independence

animatedfont.signature=resources/fonts/signature.faf

# Sounds (one is needed for SoundTest)

sound.intro.general=resources/sound/intro.ogg

# Cursors

image.icon.cursor.go=resources/images/ui/go.png

# Borders

image.menuborder.n=resources/images/ui/menuborder-n.png

image.menuborder.w=resources/images/ui/menuborder-w.png

image.menuborder.e=resources/images/ui/menuborder-e.png

image.menuborder.s=resources/images/ui/menuborder-s.png

apres ca continue.. avec les différents aspects traités

# Colors

color.background.MiniMap=urn:color:0x000000

color.border.MiniMap=urn:color:0xffffff

# used in FreeColLookAndFeel

color.primary1.LookAndFeel=urn:color:0x7a6d52

color.backgroundSelect.LookAndFeel=urn:color:0xfff4c3

color.primary3.LookAndFeel=urn:color:0xcbb688

color.secondary1.LookAndFeel=urn:color:0x0a0a0a

color.disabled.LookAndFeel=urn:color:0xa6905f

color.background.LookAndFeel=urn:color:0xd8c291

color.disabledMenu.LookAndFeel=urn:color:0x3f3f3f

# used in Utility

color.link.LookAndFeel=urn:color:0x3628d1

color.border.LookAndFeel=urn:color:0x7a6d52

color.warning.LookAndFeel=urn:color:0xb12a41

le fichier semble fait avec police/son/fond d'écran/couleur ...
j'y vois rien de plus qui renseigne ...
J'avais essayé de regarder dans le jeu et ses options, j'étais arrivé à rien non plus

--gilles-- · 21-12-2021 17:23:23

C'est bizarre leur manière de procéder pour les polices : un coup, c'est le chemin vers le fichier qui est décrit, un autre coup, c'est décrit à base d'urn.

Est-ce qu'il y a bien des polices dans data/base/resources/fonts ?

Est-ce que tu as lu et compris le paragraphe 3.1.1 Command line options et essayé de lancer le jeu en ligne de commande avec les options --freecol-data DIR et --font FONTSPEC en ayant créé auparavant le répertoire ( variable DIR ) et le fichier qui vont bien ?

Il y a un forum spécialisé ici pour ce jeu : https://sourceforge.net/p/freecol/discussion/719661/

J'en reste là, je ne peux pas aider plus.

ubub · 21-12-2021 17:34:10

hello, c'est gentil d'essayer d'aider ...
Je vais aller voir leur discussion...
Dans le fichier base/resource/font y'a une police. Celle dédiée au jeu...
J'ai pas essayé en ligne de commande...

Debian-facile

#1 21-12-2021 14:02:34

Freecol : changer la grandeur de la police

#2 21-12-2021 14:56:52

Re : Freecol : changer la grandeur de la police

#3 21-12-2021 15:12:48

Re : Freecol : changer la grandeur de la police

#4 21-12-2021 16:24:13

Re : Freecol : changer la grandeur de la police

#5 21-12-2021 16:33:50

Re : Freecol : changer la grandeur de la police

#6 21-12-2021 17:23:23

Re : Freecol : changer la grandeur de la police

#7 21-12-2021 17:34:10

Re : Freecol : changer la grandeur de la police

Pied de page des forums