Retourner au contenu associé (dépêche : Quel terminal pour 2018 ?)
Posté par ZankFrappa le 15 mars 2018 à 13:16. En réponse à la dépêche Quel terminal pour 2018 ?. Évalué à 2.
Ajoutez le zoom à xterm, et je suis presque prêt à l'utiliser.
Hm, tu peux toujours régler ça depuis le menu correspondant mais je suis d'accord ça n'est pas aussi bien.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: cool !
Posté par ZankFrappa . En réponse à la dépêche Quel terminal pour 2018 ?. Évalué à 2.
Hm, tu peux toujours régler ça depuis le menu correspondant mais je suis d'accord ça n'est pas aussi bien.