Vous connaissez tous la jolie police par défaut fournie avec Ubuntu, non? Je voulais juste jouer un peu avec Kubuntu et installer le paquet meta kubuntu-desktop Tout allait bien, mais la police est maintenant laide comme l'enfer. Non seulement sur KDE, mais aussi sur Gnome, Unity etc. Exemple: Comment récupérer …
J'ai fait un SVG dans Inkscape sur Fedora avec la police CM Roman (latex), mais lors de l'ouverture du SVG sur Ubuntu 12.04, il dit qu'il n'a pas CM Roman même si TexLive est installé. Comment utiliser la police CM Roman dans Inkscape sur Ubuntu?
Pourquoi la police "monospace" est-elle superbe dans Terminal et gedit, et terrible dans IntelliJ IDEA? IDEA utilise la bibliothèque Swing de Java, et je comprends que cela pourrait être un problème avec cela. Existe-t-il un correctif connu?
Existe-t-il un moyen de vérifier quelle police votre émulateur shell / terminal utilise à partir de la ligne de commande? Je suis disposé à régler la lecture d'une partie d'un fichier de configuration, si une commande directe n'est pas facilement disponible.
Depuis Ubuntu 18.04 (peut-être à partir de 17.10, je ne me souviens pas), les indices de police de certaines langues sont perdus dans les navigateurs de type Chrome (comme Chromium, Bangla, ...). De plus, la police d'interface utilisateur de Chrome elle-même est si mauvaise que l'utilisation de Chromium sur Ubuntu …
J'ai fait installer mes polices d'environnement d'une certaine manière au cours de la dernière année ou deux pour être beaucoup plus petites et plus faciles à lire (pour moi) avec un tas d'autres réglages de l'interface utilisateur. J'ai oublié beaucoup de choses que j'ai faites pour le refaire. La nuit …
J'ai essayé diverses solutions de contournement, mais je n'ai pas encore trouvé de moyen de rendre les polices dans Netbeans correctes. J'ai essayé de changer les fichiers de configuration de Netbeans et d'essayer les instructions ici qui ne semblent pas avoir d'effet puisqu'elles ne sont pas installées en 13.10. Ma …
Récemment, j'ai joué avec gnome-terminal pour le rendre plus attrayant. J'ai essayé d'utiliser les polices installées qui se trouvaient dans mon dossier ~ / .fonts (installé avec Font Viewer) mais quand je modifie le profil gnome-terminal, la police installée ne s'affiche pas. La police que j'essaie d'utiliser est cure.se.ttf, et …
J'utilise ReText 3.1.4 (Lubuntu 12.10) pour prendre des notes pour moi. Je veux savoir s'il est possible d'utiliser une police différente pour afficher du texte marqué comme code en mode aperçu : Dans l'image, Sortet ~/.config/pcmanfm/lubuntu/desktop-items-0.confsemblent fanées . Je pense que c'est un problème avec Courier (pas seulement dans ReText). …
Je pense que la police Fixedsys est l'une des polices espacées les plus lisibles pour la programmation. Il n'a aucun anticrénelage, avec des lignes verticales de 2 pixels de large. Près de l'idéal pour les hauteurs de points de moniteur actuelles, à mes yeux (littéralement). Voici un exemple: Après des …
J'ai une police à espacement fixe ( PT Mono) que je préfère utiliser dans la programmation des IDE. La police a seulement Regular, tous les autres Boldet Italicest dérivée par inclinaison et "gras" du Regular. Le problème est que les caractères "en gras" sont plus larges que les caractères normaux, …
J'ai écrit un indicateur Python3 qui appelle fortuneet capture la sortie pour l'afficher dans la notification à l'écran. Certaines fortunes contiennent des carrés avec un nombre hexadécimal lorsque le glyphe correspondant n'existe pas dans la police actuelle. Chaque carré est la représentation du point de code Unicode hexadécimal pour le …
Je cherche à modifier la façon dont nautilus gère le zoom. Depuis Ubuntu 13.04, lorsque vous utilisez le zoom dans nautilus, il ne change que la taille des vignettes / icônes et le texte du nom de fichier reste le même. Existe-t-il un moyen de faire en sorte que la …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.