La recherche a retourné 344 résultats

par EricG
23 avr. 2018, 12:19
Forum : Mozilla Firefox : le navigateur
Sujet : tiddlywiki et sauvegarde multiple
Réponses : 1
Vues : 377

tiddlywiki et sauvegarde multiple

Bonjour, Je vois bien Fichiers > "Enregistrer sous..." Mais pas "Enregistrer". C'est anecdotique, parce que c'est pas ça mon problème, ou dans le même genre. Tiddlywiki, on clique sur un bouton, dans sa propre interface. D'abord, il apparaît une boîte pour "ouvrir avec...&qu...
par EricG
21 mars 2018, 13:28
Forum : Mozilla Firefox : le navigateur
Sujet : Quantum bidouille et survol des onglets
Réponses : 1
Vues : 412

Re: Quantum bidouille et survol des onglets

Bonjour, La barre perso elle ne fait qu'une ligne. Autrefois, je la mettais sur plusieurs lignes (disons 15 ou 20, lol) et j'y déposais n'importe quoi. J'ai pas plus d temps pour autant. Quand à coloré les onglets, je l'ai fait aussi, et pas que. Mettre les onglets en bas, lol. Les onglets sur plusi...
par EricG
20 mars 2018, 15:20
Forum : Mozilla Firefox : le navigateur
Sujet : colonne "marque-pages" résolu
Réponses : 13
Vues : 1078

Re: colonne "marque-pages"

bonjour,
avec le bouton panneau latéral, elle est dans le menu personnaliser.. ?
ou le menu Affichage ?
par EricG
20 mars 2018, 15:16
Forum : Mozilla Firefox : le navigateur
Sujet : [Résolu] Problème de personnalisation avec Firefox (Quantum) 59.0.1 sous Ubuntu 16.04 LTS
Réponses : 15
Vues : 1524

Re: Problème de personnalisation avec Firefox (Quantum) 59.0.1

Bonjour, Le menu apparaît après appui sur F10, chez moi. Je ne me souviens plus, mais cette possibilité intervient peut être, par opposition à sa présence dans le menu contextuel de la barre d'outils. Donc, elle n'y est pas chez moi. Pour la barre de titre, je ne vois pas, elle doit toujours être là...
par EricG
19 mars 2018, 09:34
Forum : SeaMonkey
Sujet : Comment déplacer un onglet dans une nouvelle fenêtre ?
Réponses : 6
Vues : 2896

Re: Comment déplacer un onglet dans une nouvelle fenêtre ?

bonjour, En fait, je partais d'une problématique personnelle, et je pense avoir répondu à.. mon.. problème. Et j'ai trouvé cette question sur le forum. J'y décris mon expérience en détails, parce que c'est une affaire de nuances. D'ailleurs, il y a une différence entre : "ouvrir un onglet dans ...
par EricG
19 mars 2018, 09:12
Forum : Mozilla Firefox : le navigateur
Sujet : Ras le bol...
Réponses : 29
Vues : 2128

Re: Ras le bol...

Bonjour, il ne faut pas oublier que ce sont des utilisateurs qui vous répondent... Comme vous. Mais, évidemment, il y a ceux qui se plaignent, presque toujours, Et ceux qui se croient au bistrot du coin, et qui ne savent pas ce qui est impoli, à la base. Un post intitulé "ras le bol", dans...
par EricG
18 mars 2018, 16:05
Forum : SeaMonkey
Sujet : Comment déplacer un onglet dans une nouvelle fenêtre ?
Réponses : 6
Vues : 2896

Re: Comment déplacer un onglet dans une nouvelle fenêtre ?

Bonjour, je déterre un fil pas trop vieux, pour dire : Que oui, on peut ouvrir une... nouvelle... fenêtre à partir d'un onglet. Et que l'on peut, donc, regrouper ensuite les onglets originaux, l'onglet unique précédent de la nouvelle fenêtre précédente (tant pis pour la répétition). On va me dire qu...
par EricG
16 mars 2018, 12:34
Forum : Mozilla Firefox : le navigateur
Sujet : Des extensions (addons) qui me manquent
Réponses : 2
Vues : 398

Re: Des extensions (addons) qui me manquent

Bonjour, j'ajouterai cela au préalable, pour la modification de userChrome.css :

http://www.easy-pc.org/2018/01/visualis ... ox-57.html
par EricG
16 mars 2018, 12:29
Forum : Mozilla Firefox : le navigateur
Sujet : Pages ne se chargent PAS
Réponses : 2
Vues : 399

Re: Pages ne se chargent PAS

Bonjour, j'écris sous la surveillance sourcilleuse de cucurbitacé

mais je vous conseille ces deux lectures :
https://support.mozilla.org/fr/kb/firef ... r-corriger
https://support.mozilla.org/fr/kb/resou ... ions-theme
par EricG
16 mars 2018, 12:20
Forum : Mozilla Firefox : le navigateur
Sujet : Eviter Marque pages en double ? [Résolu]
Réponses : 3
Vues : 496

Re: Eviter Marque pages en double ?

Bonjour, oui j'ai vu celui-là.

je me sers, ou me suis servi, de :
https://addons.mozilla.org/en-US/firefo ... ark-dupes/
par EricG
16 mars 2018, 12:11
Forum : Mozilla Firefox : le navigateur
Sujet : (Résolu)Réduire la taille de la police de la barre personnelle?
Réponses : 6
Vues : 1181

Re: Réduire la taille de la police de la barre personnelle?

Re, Oui c'est pas usercontent le cucurbitacé (lol) mais userChrome.css, je viens de le modifier. Ainsi (enfin, sans le code que je vous ai indiqué, vous pouvez le mettre à la fin sans problème) : /*@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* only nee...
par EricG
16 mars 2018, 11:22
Forum : Mozilla Firefox : le navigateur
Sujet : Firefox59
Réponses : 2
Vues : 361

Re: Firefox59

bonjour,

Pourquoi pas en picard ?

a new "tab", not a new "panel"
par EricG
16 mars 2018, 11:19
Forum : Mozilla Firefox : le navigateur
Sujet : (Résolu)Réduire la taille de la police de la barre personnelle?
Réponses : 6
Vues : 1181

Re: Réduire la taille de la police de la barre personnelle?

Bonjour,

Oui, c'est :

toolbarbutton.bookmark-item:not(.subviewbutton) {
margin: 0 2px;
padding: 2px 4px;
-moz-appearance: none;
font-size: smaller !important;
}

on peut ajuster le police par rapport aux icones, mais ça rend bien