0
Je me demande s'il y a un moyen pour moi de changer la taille de police du terminal lorsqu'il est ouvert à l'intérieur de RubyMine. J'ai déjà vérifié le réglage du terminal dans RubyMine. Le chemin est défini pour utiliser zsh comme terminal iTerm.Comment changer la police du terminal à l'intérieur de RubyMine?
chemin Shell:/bin/zsh
Cependant, la taille de la police est beaucoup plus petite que celle que je mets pour iTerm. Je cherchais la solution depuis un moment, mais je ne l'ai pas compris. J'apprécierais que quelqu'un me donne un coup de main ici.
Nous vous remercions de votre aide. Cependant, c'est ainsi que vous changez la police de la console à l'intérieur de la rubymine. Ce que je demande est comment changer la police du TERMINAL à l'intérieur de Rubymine. :) –
Cela a aidé. Merci! –