Ce site fonctionne mieux avec JavaScript.
Accueil
Explorateur
Aide
S'inscrire
Connexion
ka
/
ansible-role-home
Suivre
1
Ajouter aux favoris
0
Bifurcation
0
Code
Tickets
0
Demandes d'ajout
0
Versions
0
Wiki
Activité
Parcourir la source
rofi font
pull/1/head
Markus Katharina Brechtel
il y a 3 ans
Parent
d6deb318c8
révision
4cf144b73b
2 fichiers modifiés
avec
3 ajouts
et
1 suppressions
Vue séparée
Option de Diff
Voir les Statistiques
Télécharger le Fichier Patch
Télécharger le Fichier des Différences
+2
-0
defaults/main.yaml
+1
-1
templates/rofi/rofi.theme.j2
+ 2
- 0
defaults/main.yaml
Voir le fichier
@@ -73,6 +73,8 @@ i3_pango_font: "{{terminal_font}}"
xfce4_terminal_font: "{{terminal_font}}"
rofi_font: "{{terminal_font}}"
terminal_font: "{{terminal_font_name}} {{terminal_font_size}}"
terminal_font_name: Monospace
terminal_font_size: 12
+ 1
- 1
templates/rofi/rofi.theme.j2
Voir le fichier
@@ -29,7 +29,7 @@
spacing: 2;
font: "
monospace 10
";
font: "
{{rofi_font}}
";
}
#window {
background-color: @background;