Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 29/01/2016, à 11:53

Ayral

Changement police Firefox

Je suis sous Firefox version 40. Depuis la mise à jour de hier ou avant hier, la police utilisée sur les onglets, la barre d'adresse, la barre de recherche et d'ailleurs aussi la fenêtre à propos, a changé. C'est normal, Docteur ? C'est pas que ça me gêne, mais je voudrais savoir si c'est normal et changeable.

1454064714.png


Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

Hors ligne

#2 Le 29/01/2016, à 13:56

GrumD

Re : Changement police Firefox

Salut Ayral !

Ce n'est pas normal que ta police ait changé toute seule, mais ce n'est pas très grave et réversible.
Regarde dans les paramètres de Firefox : Préférences => Contenu => Police et couleur. Par défaut, c'est sur "serif" en taille 16 (si tu n'utilises pas les polices Windows).

En espérant que ça t'aide. wink

Dernière modification par GrumD (Le 29/01/2016, à 13:56)


Proton Database : Liste de tous les jeux Windows compatibles Linux grâce à Steam Play.
FCK DRM : le mouvement Anti-DRM de GOG !

Hors ligne

#3 Le 29/01/2016, à 14:44

Ayral

Re : Changement police Firefox

Non c'est bien du serif en 16, mais bon il n'y a pas mort d'homme, en plus c'est peut être moi qui me souvines mal d'avant !
Ça ne concerne pas l'affichage des pages, ni le menu dans la barre des menus, uniquement ce que j'ai indiqué. Plus ce que j'ai pas vu...
Edit: les menus contextuels aussi (bouton de droite sur un lien)

Dernière modification par Ayral (Le 29/01/2016, à 14:48)


Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

Hors ligne

#4 Le 29/01/2016, à 17:21

GrumD

Re : Changement police Firefox

Ah OK. Alors je ne vois pas d'où ça pourrait venir... Peut être as tu essayé un thème ?
Chez moi, j'ai la police normale. Sur ton screen on voit que c'est la police officielle Ubuntu.

M'enfin bon, si c'est pas gênant pour toi... Mais j'avoue que j'aime bien savoir pourquoi, même quand c'est pas gênant. C'est toujours bien de savoir.
Malheureusement, je ne saurais pas quoi t'indiquer de plus. Attendons de voir si quelqu'un qui a déjà rencontré ce bug se manifeste.

Dernière modification par GrumD (Le 29/01/2016, à 17:23)


Proton Database : Liste de tous les jeux Windows compatibles Linux grâce à Steam Play.
FCK DRM : le mouvement Anti-DRM de GOG !

Hors ligne

#5 Le 29/01/2016, à 17:58

grandtoubab

Re : Changement police Firefox

Salut,
Pas de pb ici:

1454086518.png

Firefox issu du dépôt
# Firefox
deb http://ppa.launchpad.net/ubuntu-mozilla … pa/ubuntu/ trusty main

Installé sur Debian  sans extensions


Linux tout seul sur HP Pavilion DV7 et Acer Aspire T650, Canon MG3650 en wifi
Debian 11 Bullseye Gnome/Xorg, Gnome/Wayland avec SDDM
https://bidouilledebian.wordpress.com/
ON M'A VU DANS LE VERCORS, SAUTER A L'ELASTIQUE..... J'AI DANS LES BOTTES DES MONTAGNES DE QUESTIONS....

Hors ligne

#6 Le 29/01/2016, à 18:00

nam1962

Re : Changement police Firefox

Curieux ton truc, ne serait ce pas une fantaisie du thème que tu utilises ou de gtk plutôt que de FF ?
Tu as le même gag en changeant ton thème de bureau ?


[ Modéré ]

Hors ligne

#7 Le 29/01/2016, à 18:43

Ayral

Re : Changement police Firefox

Je viens d'essayer en changeant le thème du bureau (Unity) et ça ne change rien, puis en changeant le thème de Fire fox, pareil. En safe mode (firefox --safe-mode) pareil. Le thème de FF est le thème 44.0 par défaut de mozilla, mis à jour hier 28/01/2016
Mais je le répète ce n'est pas dramatique. Juste curieux...


Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

Hors ligne

#8 Le 29/01/2016, à 19:29

inbox

Re : Changement police Firefox

Salut,

N'aurais-tu pas fait de modifications avec unity-tweak-tool ?

A+


Un problème résolu ? Indiquez le en modifiant le titre du sujet.

Hors ligne

#9 Le 29/01/2016, à 20:09

nam1962

Re : Changement police Firefox

Deux ptits trucs me viennent à l'idée :

cat ~/fonts.conf

pour voir si il y a du bizarre

mv ~/fonts.conf ~/fonts.conf.old 

pour voir si ça change après

Dernière modification par nam1962 (Le 29/01/2016, à 20:10)


[ Modéré ]

Hors ligne

#10 Le 29/01/2016, à 20:15

lool_lauris

Re : Changement police Firefox

Salut,

Et il n'y a que FFX de touché, aucun autre logiciel ?


Soutenez le Libre => http://www.april.org/

Hors ligne

#11 Le 29/01/2016, à 22:03

Ayral

Re : Changement police Firefox

inbox a écrit :

Salut,
N'aurais-tu pas fait de modifications avec unity-tweak-tool ?
A+

Jamais de la vie, je ne touche pas à ce truc là, la config de base me suffit largement !


Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

Hors ligne

#12 Le 29/01/2016, à 22:09

lool_lauris

Re : Changement police Firefox

Désolé d'insister mais j'ai horreur de rester sans réponse :

lool_lauris a écrit :

Et il n'y a que FFX de touché, aucun autre logiciel ?


Soutenez le Libre => http://www.april.org/

Hors ligne

#13 Le 29/01/2016, à 22:13

Ayral

Re : Changement police Firefox

lool_lauris a écrit :

Désolé d'insister mais j'ai horreur de rester sans réponse :

lool_lauris a écrit :

Et il n'y a que FFX de touché, aucun autre logiciel ?

J'étais à table, désolé.
A priori, oui que FF de touché.


Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

Hors ligne

#14 Le 29/01/2016, à 22:17

Ayral

Re : Changement police Firefox

nam1962 a écrit :

Deux ptits trucs me viennent à l'idée :

cat ~/fonts.conf

pour voir si il y a du bizarre

mv ~/fonts.conf ~/fonts.conf.old 

pour voir si ça change après

alain@alain-tour:~$ cat ~/fonts.conf
cat: /home/alain/fonts.conf: Aucun fichier ou dossier de ce type
alain@alain-tour:~$
alain@alain-tour:~$ mv ~/fonts.conf ~/fonts.conf.old 
mv: impossible d'évaluer «/home/alain/fonts.conf»: Aucun fichier ou dossier de ce type
alain@alain-tour:~$ 

Donc je n'ai pas de /fonts.conf.old ni de /fonts.conf
Je ne prends pas de temps ni n'ai d'intérêt à tripoter les paramètres par défaut...


Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

Hors ligne

#15 Le 29/01/2016, à 22:28

nam1962

Re : Changement police Firefox

Curieux, ça aussi : il y en a un chez moi.
...j'ai vu qu'il pouvait aussi s'appeler /.font.conf sinon.

Curieux ton truc !


[ Modéré ]

Hors ligne

#16 Le 29/01/2016, à 22:56

lool_lauris

Re : Changement police Firefox

nam1962 a écrit :

Curieux, ça aussi : il y en a un chez moi.
...j'ai vu qu'il pouvait aussi s'appeler /.font.conf sinon.

@ Nam : Moi non plus, tout comme Ayral je n'ai pas de dossier .fonts dans le home et pas de fichier font.conf.
Que contient-il ton fichier conf.conf ?

@ Ayral : as-tu redémarré ta machine depuis la constatation du changement de police ?

Dernière modification par lool_lauris (Le 29/01/2016, à 23:00)


Soutenez le Libre => http://www.april.org/

Hors ligne

#17 Le 30/01/2016, à 01:23

nam1962

Re : Changement police Firefox

:~$ cat ~/fonts.conf
<?xml version="1.0"?>
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
<fontconfig>
<match target="font" >
<edit mode="assign" name="rgba" >
<const>rgb</const>
</edit>
</match>
<match target="font" >
<edit mode="assign" name="hinting" >
<bool>true</bool>
</edit>
</match>
<match target="font" >
<edit mode="assign" name="hintstyle" >
<const>hintslight</const>
</edit>
</match>
<match target="font" >
<edit mode="assign" name="antialias" >
<bool>true</bool>
</edit>
</match>
<match target="font">
<edit mode="assign" name="lcdfilter">
<const>lcddefault</const>
</edit>
</match>
</fontconfig>

Mais attention : je suis en Xubuntu (je ne sais pas si toutes les variantes gèrent les polices de la même manière) et en devel, qui plus est, donc sur ce coup là...


[ Modéré ]

Hors ligne

#18 Le 30/01/2016, à 01:52

Coeur Noir

Re : Changement police Firefox

Par défaut il n'y a pas de dossier .fonts dans le dossier perso.
On peut l'y créer manuellement, ou certaines applications peuvent le créer.
Sans quoi, il est dans /usr/share/fonts
Le fichier fonts.conf se trouve quant à lui dans /etc/fonts mais : DO NOT EDIT THIS FILE. IT WILL BE REPLACED WHEN FONTCONFIG IS UPDATED

<?xml version="1.0"?>
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
<!-- /etc/fonts/fonts.conf file to configure system font access -->
<fontconfig>

<!--
	DO NOT EDIT THIS FILE.
	IT WILL BE REPLACED WHEN FONTCONFIG IS UPDATED.
	LOCAL CHANGES BELONG IN 'local.conf'.

	The intent of this standard configuration file is to be adequate for
	most environments.  If you have a reasonably normal environment and
	have found problems with this configuration, they are probably
	things that others will also want fixed.  Please submit any
	problems to the fontconfig bugzilla system located at fontconfig.org

	Note that the normal 'make install' procedure for fontconfig is to
	replace any existing fonts.conf file with the new version.  Place
	any local customizations in local.conf which this file references.

	Keith Packard
-->

<!-- Font directory list -->

	<dir>/usr/share/fonts</dir>
	<dir>/usr/local/share/fonts</dir>
	<dir prefix="xdg">fonts</dir>
	<!-- the following element will be removed in the future -->
	<dir>~/.fonts</dir>

<!--
  Accept deprecated 'mono' alias, replacing it with 'monospace'
-->
	<match target="pattern">
		<test qual="any" name="family">
			<string>mono</string>
		</test>
		<edit name="family" mode="assign" binding="same">
			<string>monospace</string>
		</edit>
	</match>

<!--
  Accept alternate 'sans serif' spelling, replacing it with 'sans-serif'
-->
	<match target="pattern">
		<test qual="any" name="family">
			<string>sans serif</string>
		</test>
		<edit name="family" mode="assign" binding="same">
			<string>sans-serif</string>
		</edit>
	</match>

<!--
  Accept deprecated 'sans' alias, replacing it with 'sans-serif'
-->
	<match target="pattern">
		<test qual="any" name="family">
			<string>sans</string>
		</test>
		<edit name="family" mode="assign" binding="same">
			<string>sans-serif</string>
		</edit>
	</match>

<!--
  Load local system customization file
-->
	<include ignore_missing="yes">conf.d</include>

<!-- Font cache directory list -->

	<cachedir>/var/cache/fontconfig</cachedir>
	<cachedir prefix="xdg">fontconfig</cachedir>
	<!-- the following element will be removed in the future -->
	<cachedir>~/.fontconfig</cachedir>

	<config>
<!--
  These are the default Unicode chars that are expected to be blank
  in fonts.  All other blank chars are assumed to be broken and
  won't appear in the resulting charsets
 -->
		<blank>
			<int>0x0020</int>	<!-- SPACE -->
			<int>0x00A0</int>	<!-- NO-BREAK SPACE -->
			<int>0x00AD</int>	<!-- SOFT HYPHEN -->
			<int>0x034F</int>	<!-- COMBINING GRAPHEME JOINER -->
			<int>0x0600</int>	<!-- ARABIC NUMBER SIGN -->
			<int>0x0601</int>	<!-- ARABIC SIGN SANAH -->
			<int>0x0602</int>	<!-- ARABIC FOOTNOTE MARKER -->
			<int>0x0603</int>	<!-- ARABIC SIGN SAFHA -->
			<int>0x06DD</int>	<!-- ARABIC END OF AYAH -->
			<int>0x070F</int>	<!-- SYRIAC ABBREVIATION MARK -->
			<int>0x115F</int>	<!-- HANGUL CHOSEONG FILLER -->
			<int>0x1160</int>	<!-- HANGUL JUNGSEONG FILLER -->
			<int>0x1680</int>	<!-- OGHAM SPACE MARK -->
			<int>0x17B4</int>	<!-- KHMER VOWEL INHERENT AQ -->
			<int>0x17B5</int>	<!-- KHMER VOWEL INHERENT AA -->
			<int>0x180E</int>	<!-- MONGOLIAN VOWEL SEPARATOR -->
			<int>0x2000</int>	<!-- EN QUAD -->
			<int>0x2001</int>	<!-- EM QUAD -->
			<int>0x2002</int>	<!-- EN SPACE -->
			<int>0x2003</int>	<!-- EM SPACE -->
			<int>0x2004</int>	<!-- THREE-PER-EM SPACE -->
			<int>0x2005</int>	<!-- FOUR-PER-EM SPACE -->
			<int>0x2006</int>	<!-- SIX-PER-EM SPACE -->
			<int>0x2007</int>	<!-- FIGURE SPACE -->
			<int>0x2008</int>	<!-- PUNCTUATION SPACE -->
			<int>0x2009</int>	<!-- THIN SPACE -->
			<int>0x200A</int>	<!-- HAIR SPACE -->
			<int>0x200B</int>	<!-- ZERO WIDTH SPACE -->
			<int>0x200C</int>	<!-- ZERO WIDTH NON-JOINER -->
			<int>0x200D</int>	<!-- ZERO WIDTH JOINER -->
			<int>0x200E</int>	<!-- LEFT-TO-RIGHT MARK -->
			<int>0x200F</int>	<!-- RIGHT-TO-LEFT MARK -->
			<int>0x2028</int>	<!-- LINE SEPARATOR -->
			<int>0x2029</int>	<!-- PARAGRAPH SEPARATOR -->
			<int>0x202A</int>	<!-- LEFT-TO-RIGHT EMBEDDING -->
			<int>0x202B</int>	<!-- RIGHT-TO-LEFT EMBEDDING -->
			<int>0x202C</int>	<!-- POP DIRECTIONAL FORMATTING -->
			<int>0x202D</int>	<!-- LEFT-TO-RIGHT OVERRIDE -->
			<int>0x202E</int>	<!-- RIGHT-TO-LEFT OVERRIDE -->
			<int>0x202F</int>	<!-- NARROW NO-BREAK SPACE -->
			<int>0x205F</int>	<!-- MEDIUM MATHEMATICAL SPACE -->
			<int>0x2060</int>	<!-- WORD JOINER -->
			<int>0x2061</int>	<!-- FUNCTION APPLICATION -->
			<int>0x2062</int>	<!-- INVISIBLE TIMES -->
			<int>0x2063</int>	<!-- INVISIBLE SEPARATOR -->
			<int>0x206A</int>	<!-- INHIBIT SYMMETRIC SWAPPING -->
			<int>0x206B</int>	<!-- ACTIVATE SYMMETRIC SWAPPING -->
			<int>0x206C</int>	<!-- INHIBIT ARABIC FORM SHAPING -->
			<int>0x206D</int>	<!-- ACTIVATE ARABIC FORM SHAPING -->
			<int>0x206E</int>	<!-- NATIONAL DIGIT SHAPES -->
			<int>0x206F</int>	<!-- NOMINAL DIGIT SHAPES -->
			<int>0x2800</int>	<!-- BRAILLE PATTERN BLANK -->
			<int>0x3000</int>	<!-- IDEOGRAPHIC SPACE -->
			<int>0x3164</int>	<!-- HANGUL FILLER -->
			<int>0xFEFF</int>	<!-- ZERO WIDTH NO-BREAK SPACE -->
			<int>0xFFA0</int>	<!-- HALFWIDTH HANGUL FILLER -->
			<int>0xFFF9</int>	<!-- INTERLINEAR ANNOTATION ANCHOR -->
			<int>0xFFFA</int>	<!-- INTERLINEAR ANNOTATION SEPARATOR -->
			<int>0xFFFB</int>	<!-- INTERLINEAR ANNOTATION TERMINATOR -->
		</blank>
<!--
  Rescan configuration every 30 seconds when FcFontSetList is called
 -->
		<rescan>
			<int>30</int>
		</rescan>
	</config>

</fontconfig>

DébuterDocBien rédigerRetour commandeInsérer image | illustrations & captures d'écran <>

Hors ligne

#19 Le 30/01/2016, à 09:29

nam1962

Re : Changement police Firefox

Alors chez moi c'est une appli qui a du le créer : jamais touché à ce truc de mon côté !
Du coup, tu m'as inspiré de regarder la doc de fontconfig : pas trouvé là dedans comment le réinitialiser !


[ Modéré ]

Hors ligne

#20 Le 30/01/2016, à 10:02

lool_lauris

Re : Changement police Firefox

Merci pour vos infos.


Soutenez le Libre => http://www.april.org/

Hors ligne

#21 Le 30/01/2016, à 13:05

Ayral

Re : Changement police Firefox

lool_lauris a écrit :

@ Ayral : as-tu redémarré ta machine depuis la constatation du changement de police ?

Ah ben oui, quand même ! Je ne suis pas partisan de la mise en veille plus que de raison; J’éteins au moins tous les soirs.
Et comme je n'installe pas d'applications très souvent, aucune n'a créé de dossier de fontes dans le /home. Pour le moment.


Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

Hors ligne

#22 Le 30/01/2016, à 13:55

nam1962

Re : Changement police Firefox

Ton problème me titille : je pense avoir résolu un truc similaire dans un fil manjaro : http://www.manjaro.fr/forum/viewtopic.php?f=17&t=5810
Mais je ne vois pas comment adapter la soluce à une *buntu.


[ Modéré ]

Hors ligne

#23 Le 30/01/2016, à 16:00

Ayral

Re : Changement police Firefox

nam1962 a écrit :

Ton problème me titille : je pense avoir résolu un truc similaire dans un fil manjaro : http://www.manjaro.fr/forum/viewtopic.php?f=17&t=5810
Mais je ne vois pas comment adapter la soluce à une *buntu.

Moi non plus, il n'y a pas de "lissage" sous Unity, et en plus ça ne concerne que FF. Tant pis.
Adit : j'ai tenté de renommer .mozilla en autre chose, puis de relancer FF, Mais non ça ne change rien. C'est pas dans mon profil.

Dernière modification par Ayral (Le 30/01/2016, à 16:23)


Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

Hors ligne

#24 Le 31/01/2016, à 01:41

Coeur Noir

Re : Changement police Firefox

nam1962 a écrit :

Du coup, tu m'as inspiré de regarder la doc de fontconfig : pas trouvé là dedans comment le réinitialiser !

À voir, ces vieux post où j'avais rencontré un problème similaire suite à l'installation d'une appli KDE…

https://forum.ubuntu-fr.org/viewtopic.php?id=449898
https://forum.ubuntu-fr.org/viewtopic.p … 2#p3474432

en gros c'est localiser le fichier fonts.conf pour le supprimer pour ensuite en recréer un "propre" via :

sudo dpkg-reconfigure fontconfig

…mais est-ce toujours d'actualité ???

Dernière modification par Coeur Noir (Le 31/01/2016, à 14:53)


DébuterDocBien rédigerRetour commandeInsérer image | illustrations & captures d'écran <>

Hors ligne

#25 Le 31/01/2016, à 07:23

moko138

Re : Changement police Firefox

Ayral a écrit :

Je suis sous Firefox version 40.

"40"???
Hier on est passé de 43 à 44.


%NOINDEX%
Un utilitaire précieux : ncdu
Photo, mini-tutoriel :  À la découverte de dcraw

Hors ligne