GNU/Linux >> Tutoriels Linux >  >> Linux

Comment changer la taille de la police dans Dwarf-fortress ?

Vous avez deux options :effectuer un zoom avant ou utiliser une police (ou un jeu de tuiles) plus grand.

Pour zoomer, vous pouvez utiliser la molette de la souris ou les touches [ et ] pour effectuer un zoom avant et arrière, ce qui est utile pour obtenir rapidement un aperçu de quelque chose ou un aperçu rapide de votre domaine. Cela a cependant tendance à rendre les choses floues. Le ZOOM_SPEED paramètre affecte la vitesse de zoom.

Pour utiliser une police différente, vous devrez modifier data/init/init.txt (c'est aussi là que vous trouvez ZOOM_SPEED ). Il y a beaucoup de paramètres ici, la plupart bien documentés dans le fichier lui-même, mais ceux qui vous intéressent sont FONT , GRAPHICS_FONT , et GRAPHICS_FULLFONT , qui contrôlent la police dans les modes plein écran sans mosaïque, fenêtré en mosaïque et mosaïque.

La police par défaut est curses_640x300 , qui est destiné à être utilisé dans une fenêtre de jeu de tuiles 80x24 à une résolution de 640x300 (d'où le nom), donc les tuiles sont assez petites - 8x12. curses_square_16x16 est un meilleur choix ; les tuiles sont carrées et sensiblement plus grandes. Si vous voulez quelque chose de différent (ou de plus grand encore), vous pouvez télécharger une grande variété de polices et de mosaïques à partir du wiki.


Linux
  1. Comment changer la langue de cPanel

  2. Comment changer l'identité d'un système Linux

  3. Changer la police de la console en mode texte ?

  4. Comment changer le nom d'hôte ?

  5. Comment changer le shell par défaut sous Linux

Comment changer le type et la taille de la police de la console Linux

Comment changer le mot de passe root sous Linux

Comment changer le nom d'hôte du serveur dans Ubuntu

Comment changer le port SSH dans CentOS

Comment changer le fuseau horaire sur le serveur Ubuntu 18.04 ?

Comment utiliser la commande which sous Linux