Il y a beaucoup de polices supplémentaires qui semblent toutes se ressembler et me dérangent dans la liste déroulante. Est-il possible de les supprimer du
Est-il possible de modifier l'espacement des lignes dans Terminal, ou existe-t-il une autre application qui le permet? Je déménage du Mac, et son application terminale a cette fonctionnalité qui permet de modifier l'espacement des lignes indépendamment de la taille de la police. Par exemple, voici...
J'utilise LibreOffice 3.5.3.2 (Ubuntu 12.04) et les boutons pour changer d'onglet dans Calc sont écrits avec de petites polices. Ils sont si petits que je ne peux même pas lire ce qui est écrit dessus. Je n'ai pas trouvé de moyen d'augmenter la taille de la police. Ce problème ne se produit-il...
Récemment, j'ai commencé à observer ce phénomène très déroutant et ennuyeux, pour ne pas dire un comportement inquiétant lorsque Firefox est ouvert, puis que je lance Chromium: Pendant environ 30 secondes, les processus enfants de Firefox consommeraient toutes les ressources CPU disponibles,...
Chrome dans Ubuntu ne rend pas correctement les polices ourdou. Il montre des charabia que je ne peux pas lire. Le problème est particulièrement grave sur Facebook. J'ai copié certaines polices ourdou sous ~/.fontset sous /usr/share/fonts/et mis à jour le cache, puis redémarré Chrome, mais même...
Un PDF particulier que j'ai utilise une police non intégrée nommée "TimesNRMT" qui n'est pas installée sur mon système. Au lieu de remplacer la police par une police similaire comme Times New Roman , Document Viewer choisit de manière inappropriée d'utiliser une police sans empattement, ce qui rend...
Je suis passé de 12.04 à 12.10 sans problème. J'essaie de modifier le fichier grub, mais dans la console, j'obtiens le message suivant: Fontconfig warning: "/etc/fonts/conf.d/50-user.conf", line 9: reading configurations from ~/.fonts.conf is deprecated En conséquence, je ne vois rien lorsque...
J'ai besoin d'un raccourci rapide pour modifier la taille de la police du terminal. J'utilise gnome-terminal. J'ai essayé avec Ctrl+ +et Ctrl+ -mais la taille n'est pas modifiée. Y a-t-il un autre raccourci? Puis-je ajouter un raccourci comme
Comment réinitialiser les paramètres de police - police et taille réelles - à leurs valeurs par défaut? (J'ai changé certaines valeurs dans Système-> Préférences-> Apparence-> Polices) Ceci est particulièrement important avec la nouvelle police Ubuntu dans Maverick - par exemple, je suis...
Existe-t-il un paquet de polices fourni par Ubuntu qui a plus de
Je voulais installer vim-airlines mais j'ai des problèmes avec les polices unicode. Je l'ai installé avec vundle: .vimrc set encoding=utf-8 Bundle 'bling/vim-airline' let g:airline_powerline_fonts = 1 let g:airline_theme='powerlineish' .fonts $ ll .fonts total 376 drwxr-xr-x 2 xxx xxx 4096 gru 19...
Quelle est la police alternative la plus proche de Times New Romandans Ubuntu 12.10? Est-ce serifou sans serifou autre chose? J'ai msttcorefontsdéjà installé . Maintenant, dans mon Latexdocument, je préfère ne pas utiliser Times New Romancar j'ai trouvé après un peu de navigation qu'il peut y avoir...
Quelqu'un d'autre a un problème avec Font Viewer qui ne fonctionne pas? Il montre simplement la rotation du curseur occupé par la souris, mais finalement ne fait rien? Y a-t-il une
Je voudrais définir le thème Max OS X Terminal pour Ubuntu Terminal. J'aime beaucoup les polices et les couleurs. Voici à quoi ressemble le terminal Mac: Source d'image Il y a peu de choses que je veux voir dans le terminal Ubuntu: Je veux remplacer username@desktop:~/Dropbox$par le nom...
J'ai installé IntelliJ IDEA 13.1 et Oracle JDK 1.8 sur Ubuntu 14.04 x64 mais lorsque je lance IntelliJ IDEA, la police n'est pas idéale. Comment puis-je changer la police?
Je suis une personne ayant une déficience visuelle. Les versions pré-Unity d'Ubuntu vous permettaient de modifier toutes les tailles de police. Maintenant, la fonctionnalité d'accès universel est à peu près inutile, car l'augmentation de la taille de la police à "Large" augmente tout sauf la liste...
Ma police de télégramme a changé après la mise à niveau vers 18.10! Est-ce que quelqu'un sait pourquoi cela s'est produit? Lorsque j'ouvre un télégramme en ligne de commande, ces erreurs apparaissent: Fontconfig warning: line 5: unknown element "its:rules" Fontconfig warning: line 6: unknown...
Comment puis-je télécharger des polices alternatives à utiliser dans Libre Office Writer? Je recherche des polices cursives en
Je télécharge emacs avec 'sudo apt-get install emacs'. Lorsque je lance emacs, je vois des emacs avec des polices trop grosses. Je ne sais pas pourquoi la configuration par défaut a une taille de police normale dans emacs. Comment puis je faire ça?
Je voudrais installer les polices MS Truetype fournies avec le package ttf-mscorefonts-installer, alors j'ai fait: sudo apt-get install ttf-mscorefonts-installer En acceptant la licence, le processus se termine sans aucune erreur. Les polices finissent dans / usr / share / fonts / truetype /...