Aller au contenu

iBenny

Membres
  • Compteur de contenus

    285
  • Inscription

  • Dernière visite

  • Jours gagnés

    1

iBenny a gagné pour la dernière fois le 21 janvier 2018

iBenny a eu le contenu le plus aimé !

À propos de iBenny

  • Date de naissance 08/07/1955

Profile Information

  • Sexe
    Male
  • Localisation
    Québec

Autres informations

  • Votre config
    Windows 10 Pro
    Dell Precision T5500
    1/2 cpu - 48/72Go selon que j'ajoute le "berceau" du 2ème CPU ou pas...
  • Mes langues
    Molière-Shakespeare

Visiteurs récents du profil

10 591 visualisations du profil

iBenny's Achievements

Mega Power Member

Mega Power Member (6/12)

5

Réputation sur la communauté

  1. Bonjour Dylav, En regardant, j'ai découvert que j'avais déjà un userChrome.css en fonction (tellement longtemps). Manque seulement le code désiré pour l'y ajouter... PS : J'ai trouvé qqe chose d'intéressant sur le codage des thèmes ici : THÈME et THÈME 2 ! MAIS... c'est du json. PPS : et j'ai trouvé les thèmes de FF dans le dossier "extension" dans les fichiers qui ont comme nom une longue suite de chiffres... Salutations cordiales iBenny
  2. Bonsoir Dylav, Savez-vous où dans le profil FF se trouve le fichier/dossier du thème actif (téléchargé) de l'IUG de FF ? 🔍 Salutations cordiales iBenny
  3. Bonjour Dylav, Pas de chance ! J'ai fait une recherche dans le dossier CustomCSSforFx-master avec Search Everything en cherchant les fichiers dont les noms contenaient "bookmarks" et "css" et contenant le texte "text" (pour déceler du code de couleur pour les textes) et je n'ai rien trouvé codant la couleur du texte des marque-pages !!! Sans avoir le code css exact pour ce cas, je crois que ma meilleure option serait de trafiquer le code du thème installé (téléchargé) mais je ne trouve pas dans quel dossier il est caché. Où diable sont-ils localisés ? 🤷‍♂️🔍 Salutations cordiales, iBenny
  4. Bonsoir Dylav ! 1- Est-ce que userChrome.css va surpasser les configurations du thème installé (téléchargé) ? 2- Il faut activer une option dans about:config pour que userChrome soit exécuté si je me rappelle ! Salutations cordiales, iBenny
  5. Bonjour à tous 👨‍🦳, Je cherche à : Changer la couleur du texte des mp (marques-pages de la barre personnelle) niveau 0 (la barre personnelle affichée) Changer la couleur du texte des mp niveau 1 (liste déroulante des dossiers) Changer la couleur du fond de la liste des dossiers déroulants des mp Le code CSS pour #3 est : /* changer la couleur des dossiers Marque-pages/Historique (en bleu) */ .bookmark-item[container], treechildren::-moz-tree-image(container) { fill: blue !important; } /* changer la couleur des dossiers Marque-pages/Historique (en couleur) */ .bookmark-item[container], treechildren::-moz-tree-image(container) { fill: #EEAD0E !important; } Quels sont les codes pour les #1 et 2 ? Ceci fait, où devais-je injecter ces codes ? J'utilise un thème personnalisé (téléchargé) que je veux modifier et je me demande à quel endroit je devrais mettre ces codes. Dans l'outil de développement, j'ai : À gauche se trouve la liste des fichiers js modifiables mais dans lequel dois-je injecter le code ? Merci infiniment pour votre aide. Salutations cordiales 🙋‍♂️ iBenny
  6. Bonjoour Parisien_Entraide, j'ai relu et t'en parlais un peu en effet, mais... je n'avais pas compris ça comme une affirmation ex cathédra catégorique généralisée. Mon petit cerveau a trouvé l'explication... compliquée. Permission accordée pour me fusiller ! Je dirai rien... Morituri te salutant Ciao Salutation cordiale iBenny ⚜👑
  7. tomtom95, J'ai eu ma réponse sur le forum DELL Technologies ICI : Shocks... ☹ Merci pour ton passage Tomtom95 ! À la prochaine... épopée ! Salutation cordiale iBenny ⚜👑
  8. Je n'ai pas de configuration boot PXE pour les device USB dans le BIOS. Seulement pour les NIC et la carte n'apparait pas dans les choix de démarrage dans le BIOS.
  9. Pas nécessaire : au démarrage je fais F12 pour ouvrir le gestionnaire de démarrage et je choisis sur quel média je veux démarrer. Quand une clé USB est branchée sur un port USB de l'ordi, une option "USB device" apparait dans les choix de démarrage. Quand je branche la clé sur la carte USB PCI, pas de choix n'apparait ! Je retest. Si je ne corrige pas, c'est confirmé...
  10. Bonjour Tomtom95 ! Long time no see... Oui, Quand je branche une clé USB bootable dans la carte PCI USB elle apparait maintenant dans l'explorateur avec une lettre évidemment (sinon elle n'apparaitrait pas) ! Idem pour le gestionnaire de disque... Salutation cordiale iBenny ⚜👑
  11. Erreur de ma part : ma carte USB n'était pas branché avec l'alimentation. Ceci étant réglé, les clés USB apparaissent dans l'explorateur et sont accessible mais... toujours pas bootable...
  12. Merci nofic pour votre intervention ! 👍👍👍 Salutation cordiale iBenny ⚜👑
  13. Même carte mère, même version de bios. J'ai une "nouvelle" carte graphique mais ça fait longtemps qu'elle est installée et j'ai eu accès à ma carte USB PCI (CUSBP) après (à ma connaissance). J'ai changé le CPU et ça je sais pas si la carte USB est devenu inaccessible avant ou après. Peut-être après... Nouvelle souris définitivement depuis le problème de CUSBP.
  14. Incompatible ? J'ai déjà branché des clés USB dessus il y a une couple d'année (ça fait longtemps que je ne l'ai pas utilisée) et ça apparaissait dans l'explorateur et c'était accessible. Pourquoi pas maintenant ?
×
×
  • Créer...