Je n'arrive pas à le configurer pour avoir des polices grasses (bold fonts). Du coup, malgré des choses intéressantes, ce n'est pas utilisable.
Il suffit de trouver la version (Bold) de ta police, si elle en a une. (Dans Settings -> Font).
Aussi : je n'ai pas trouvé comment ouvrir une nouvelle fenetre avec le même dossier courant ? Sur la plupart des terminaux je fais Ctrl+Maj+N.
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. Étant donné qu’il est possible de faire des splits et des onglets, la gestion de fenêtres est plus limitée (éternel dilemme).
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 Aissen . En réponse au journal Gérer son espace de travail git avec "gws". Évalué à 2.
Il suffit de trouver la version (Bold) de ta police, si elle en a une. (Dans Settings -> Font).
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. Étant donné qu’il est possible de faire des splits et des onglets, la gestion de fenêtres est plus limitée (éternel dilemme).
Je recommande d’utiliser la dernière version (0.8.0).