Hi Tobias,
This is definitely the right place to ask. It's not super easy to modify the names once the ggplot object is created (much easier to customize other things like the title, axes, background, etc), but it might be possible. However, before spending too much time fiddling with the ggplot object, the first thing I'd try is using the names method for stanfit objects to change the parameter names before using shinystan. For example:
# using demo model as an example
> fit <- stan_demo("eight_schools")
# maybe make a copy so it's safer to then mess with fit
> fit_copy <- fit
> print(names(fit)) [1] "mu" "theta[1]" "theta[2]" "theta[3]" "theta[4]"
[6] "theta[5]" "theta[6]" "theta[7]" "theta[8]" "tau"
[11] "lp__" # change a few of the names> names(fit)[2:4] <- c("monkey", "iguana", "tiger")> print(names(fit))
[1] "mu" "monkey" "iguana" "tiger" "theta[4]"
[6] "theta[5]" "theta[6]" "theta[7]" "theta[8]" "tau"
[11] "lp__"
If you then launch shinystan using the object
fit it should use the new names in the plots. Does that work in your case?
Jonah