Existe-t-il un moyen d'augmenter la taille de la police ggplot2
? Je pense que je dois spécifier quelque chose comme legend.key.width = unit(2, "line")
dans la theme
fonction, mais cela est utilisé pour ajuster les touches dans les légendes, pas les tailles de police. Merci!
?theme
ce genre de questions