344 résultats trouvés

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

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..." ou "enregistrer le fichier...
par EricG
21 mars 2018, 13:28
Forum : Mozilla Firefox : le navigateur
Sujet : Quantum bidouille et survol des onglets
Réponses : 1
Vues : 325

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 : 898

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 : 1262

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 : 2399

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 une n...
par EricG
19 mars 2018, 09:12
Forum : Mozilla Firefox : le navigateur
Sujet : Ras le bol...
Réponses : 29
Vues : 1820

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 d'autre f...
par EricG
18 mars 2018, 16:05
Forum : SeaMonkey
Sujet : Comment déplacer un onglet dans une nouvelle fenêtre ?
Réponses : 6
Vues : 2399

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 : 338

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 : 340

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 : 409

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 : 978

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 needed once *...
par EricG
16 mars 2018, 11:22
Forum : Mozilla Firefox : le navigateur
Sujet : Firefox59
Réponses : 2
Vues : 298

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 : 978

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