How to change facet labels?
问题 I have used the following ggplot command: ggplot(survey, aes(x = age)) + stat_bin(aes(n = nrow(h3), y = ..count.. / n), binwidth = 10) + scale_y_continuous(formatter = \"percent\", breaks = c(0, 0.1, 0.2)) + facet_grid(hospital ~ .) + theme(panel.background = theme_blank()) to produce I\'d like to change the facet labels, however, to something shorter (like Hosp 1 , Hosp 2 ...) because they are too long now and look cramped (increasing the height of the graph is not an option, it would take