logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

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

ubub
Membre
Distrib. : Debian
(G)UI : xfce
Inscription : 14-05-2019

Freecol : changer la grandeur de la police

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,

En ligne

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

--gilles--
Membre
Lieu : Orléans - La Source
Distrib. : Debian 12
Noyau : Linux 6.1.0-18-amd64
(G)UI : Gnome - mutter 43.8-0+deb12u1
Inscription : 15-02-2016

Re : Freecol : changer la grandeur de la police

Bonjour ubub smile

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 ?


Si tout le monde pense pareil, c'est qu'aucune personne ne pense beaucoup.
 Intel® Core™2 Duo E8500  × 2
4,0 Gio DDR3 - 1333 MHz
Et si vous cherchiez votre solution dans le wiki => https://debian-facile.org/accueil palestine.png

Hors ligne

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

ubub
Membre
Distrib. : Debian
(G)UI : xfce
Inscription : 14-05-2019

Re : Freecol : changer la grandeur de la police

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

En ligne

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

--gilles--
Membre
Lieu : Orléans - La Source
Distrib. : Debian 12
Noyau : Linux 6.1.0-18-amd64
(G)UI : Gnome - mutter 43.8-0+deb12u1
Inscription : 15-02-2016

Re : Freecol : changer la grandeur de la police

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).


Si tout le monde pense pareil, c'est qu'aucune personne ne pense beaucoup.
 Intel® Core™2 Duo E8500  × 2
4,0 Gio DDR3 - 1333 MHz
Et si vous cherchiez votre solution dans le wiki => https://debian-facile.org/accueil palestine.png

Hors ligne

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

ubub
Membre
Distrib. : Debian
(G)UI : xfce
Inscription : 14-05-2019

Re : Freecol : changer la grandeur de la police

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

En ligne

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

--gilles--
Membre
Lieu : Orléans - La Source
Distrib. : Debian 12
Noyau : Linux 6.1.0-18-amd64
(G)UI : Gnome - mutter 43.8-0+deb12u1
Inscription : 15-02-2016

Re : Freecol : changer la grandeur de la police

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.

Si tout le monde pense pareil, c'est qu'aucune personne ne pense beaucoup.
 Intel® Core™2 Duo E8500  × 2
4,0 Gio DDR3 - 1333 MHz
Et si vous cherchiez votre solution dans le wiki => https://debian-facile.org/accueil palestine.png

Hors ligne

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

ubub
Membre
Distrib. : Debian
(G)UI : xfce
Inscription : 14-05-2019

Re : Freecol : changer la grandeur de la police

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...

En ligne

Pied de page des forums