Enregistrement

Modifier la police de l'éditeur de registre dans la mise à jour Windows 10 Creators

Modifier la police de l'éditeur de registre dans la mise à jour Windows 10 Creators

Modifier la police du registre dans la mise à jour des créateurs de Windows 10

  1. Ouvrez l'éditeur de registre.
  2. Cliquez sur l'élément de menu Affichage - Police:
  3. La boîte de dialogue Police par défaut apparaîtra à l'écran. Là, vous pouvez choisir une nouvelle police pour l'application de l'éditeur de registre.

annuler l'envoi de Gmail après 30 secondes
Connectez-vous à Gmail, cliquez sur l'icône d'engrenage () en haut à droite et sélectionnez Paramètres. Sous l'onglet Général, faites défiler jusqu'à ...
PinTabAlt restaure les onglets épinglés à partir de plusieurs fenêtres fermées dans Firefox
Comment restaurer mes onglets épinglés dans Firefox? Comment récupérer mes onglets épinglés? Pourquoi mes onglets épinglés continuent de disparaître C...
onglets de réduction Microsoft Edge
Comment réduire les groupes d'onglets dans le bord? Comment empêcher les bords d'ouvrir d'anciens onglets? Comment masquer les onglets dans Microsoft ...