Utilisateurs d'ordinateur fonts

2

Existe-t-il un moyen d'augmenter la taille de police par défaut pour les applications Java GUI?

Existe-t-il un moyen d'augmenter la taille de police par défaut pour les applications Java GUI? J'utilise l'outil Java personnalisé de quelqu'un d'autre ( non, je n'ai pas la source ) pour effectuer des annotations de texte pour un projet de recherche. Le texte de l'application est extrêmement petit. Pour la …

12 windows java fonts

2

Existe-t-il un moyen d'afficher les indicateurs Unicode en installant une police spécifique? Si oui, lequel?

Je me suis donc interrogé sur les symboles indicateurs régionaux et leur utilisation dans les systèmes de téléphonie mobile. Il devrait théoriquement être possible de créer une police pour les ordinateurs qui affiche les drapeaux réels au lieu d'un espace réservé, non? L'article Wikipedia susmentionné devrait fournir un cas de …

12 fonts unicode

4

Comment parcourir les polices sous forme de fichiers dans l'Explorateur Windows

Comment puis-je parcourir le répertoire C: \ Windows \ Fonts en tant que fichiers normaux au lieu de polices dans l'Explorateur Windows 7? Je dois accéder à l'onglet Sécurité dans Propriétés, car les polices ont des privilèges inadéquats après la restauration d'une sauvegarde à partir d'un autre ordinateur. Éditer: Je …

11 windows-7 windows fonts

1

Taille de police avec le transfert XMing X11 trop petit

J'utilise une application graphique s'exécutant sur un hôte Linux distant, mais affichée sur mon bureau Windows à l'aide du serveur XMing, du transfert PuTTY avec transfert X11 (et ssh -Xégalement effectuée par SLURM srunavec --ptyoption). Mais la police par défaut est un peu trop petite. Comment l'augmenter? Il m'a fallu …

11 ssh fonts putty x11-forwarding xming

5

Comment désactiver la police emoji colorée dans Firefox?

Notes de version de Firefox 50 : Emoji pour tout le monde! Firefox utilisera Emoji intégré sur les systèmes d'exploitation sans polices Emoji natives (Windows 8.0 et inférieur et Linux) Je suis donc sur Windows 7 et je n'aime absolument pas les emoji colorés pour combien ils sont distrayants. Il …

11 windows-7 firefox fonts

4

Firefox: restaurer tous les paramètres de police par défaut

Récemment, j'ai installé Firefox 40.0.3 sur un nouveau système. J'ai copié mon ancien profil utilisateur (créé sous une version antérieure de FF) et jusqu'à présent, tout fonctionne. Cependant, dans mon ancien profil, il y a beaucoup de paramètres de police personnalisés qui n'ont pas de sens pour le nouveau système …

11 firefox fonts user-profiles

1

Les substitutions de polices dans MS Word peuvent-elles être contrôlées?

Supposons que je tape du texte dans MS Word (n'importe quelle version) et que j'entre un caractère qui n'existe pas dans la police utilisée. Disons, j'utilise Times New Roman et je tape 2300 Alt X, qui se transforme en signe de diamètre "⌀", qui n'existe pas dans Times New Roman. …

11 microsoft-word fonts

5

Comment changer la taille de la police dans le panneau gnome-shell

J'ai essayé gnome-shell dans Ubuntu en utilisant la gnome-shell --replacecommande. Cela fonctionne bien mais je pense que la taille de la police dans le panneau shell est trop grande. Est-il possible de personnaliser la taille de la police dans le panneau gnome-shell?

11 ubuntu gnome fonts

2

La police du lien hypertexte dans Excel change toujours à la taille / face de police par défaut

Pour les cellules contenant des hyperliens, la police se transforme automatiquement en police par défaut (même si j'ai sélectionné toutes les cellules et appliqué une police différente). Comment pouvez-vous configurer Excel pour utiliser la même police / taille de police que vous avez sélectionnée pour la feuille entière (ou le …

11 microsoft-excel fonts microsoft-excel-2007 microsoft-excel-2003

2

Comment puis-je utiliser la police Lucida Grande sous Windows?

Je suis un utilisateur Windows, mais je souhaite utiliser la police Lucida Grande dans Notepad ++ et Eclipse IDE. Je n'ai pas trouvé cette police répertoriée pour Notepad ++ lorsque j'ai essayé de changer la police dans le configurateur de style. Quelqu'un connaît-il des ajustements pour que cela se produise?

11 windows fonts notepad++ eclipse

6

Polices laides sur plusieurs sites Google dans Firefox et Chrome

Sur plusieurs sites Google, les polices sont rendues moches dans Firefox et Google Chrome sous Windows 7 et 8: J'ai désactivé Clear Type parce que la plupart des polices sont laides. Firefox et Chrome ont le problème. Si le problème est dû à une police manquante, la police doit être …

11 windows firefox google-chrome fonts

1

Comment changer la taille de la police TAB dans N'IMPORTE QUEL NAVIGATEUR

Je ne peux plus travailler à proximité de PC, mes yeux me font mal - je suis développeur. J'utilise beaucoup le navigateur. J'ai essayé tous: IE, Safari, FF, Chrome - ils sont tous mauvais au plus simple - grande taille de police pour les onglets. Veuillez ne pas me suggérer …

11 firefox google-chrome fonts safari

3

Comment les encodages de caractères sont-ils liés aux polices?

Je veux dire, une police doit-elle prendre en charge chaque codage de caractères? Ou un codage de caractères doit-il prendre en charge toutes les polices? Que signifient les polices Unicode? S'agit-il de polices qui prennent uniquement en charge Unicode et ne prennent pas en charge, par exemple, Windows-1252?

11 fonts character-encoding

2

Windows 10 affiche du texte charabia dans certaines applications

Après une récente mise à jour de Windows 10 (Windows Insider), je reçois du texte de charabia au lieu de l'anglais dans certaines applications La vue des polices Windows dans le panneau de configuration affiche également des lettres charabia pour certaines polices (polices avec le numéro de page 1255 dans …

10 windows windows-10 fonts language windows-insider

4

Correctif permanent pour les caractères Unicode ne s'affichant pas correctement (sous forme de boîtes)

Veuillez lire l'intégralité de ce message avant de répondre. Tout d'abord, je sais comment résoudre le problème de manière temporaire. Je recherche une solution permanente . Je travaille beaucoup avec des fichiers en langue étrangère. Malheureusement, parfois, tous les caractères unicode dans l'Explorateur Windows, le Bloc-notes et d'autres endroits (tels …

10 windows-7 fonts display language unicode

Questions marquées «fonts»