Il suffit de trouver la version (Bold) de ta police, si elle en a une. (Dans Settings -> Font).
Non mais je ne veux pas tout en bold non plus. Je veux juste qu'il me gère le gras correctement au lieu de me changer la couleur du texte censé être en gras. Exemple d'appli utilisant du gras : la commande top.
Effectivement, il n’est pas possible pour l’instant de créer une nouvelle fenêtre; par contre, pour créer un nouvel "onglet" il suffit de faire Ctrl+Maj+T.
Oui mais cela ne correspond pas à mon besoin. Il y a bien la possibilité de splitter la fenêtre c'est vraiment intéressant, mais vu que j'utilise un tiling window manager, je préfère lui en laisser la gestion.
Je recommande d’utiliser la dernière version (0.8.0).
[^] # Re: Si tu montres à un vrai geek un super truc sur ton ordi, il regardera tout le reste sauf ça
Posté par Maxime (site web personnel) . En réponse au journal Gérer son espace de travail git avec "gws". Évalué à 2.
Non mais je ne veux pas tout en bold non plus. Je veux juste qu'il me gère le gras correctement au lieu de me changer la couleur du texte censé être en gras. Exemple d'appli utilisant du gras : la commande top.
Oui mais cela ne correspond pas à mon besoin. Il y a bien la possibilité de splitter la fenêtre c'est vraiment intéressant, mais vu que j'utilise un tiling window manager, je préfère lui en laisser la gestion.
Qui est celle dispo sur Debian sid btw.