addCustomPointsToGGplot.Rd
Add custom points to a ggplot.
addCustomPointsToGGplot(plot, custom_points)
(ggplot)
(list) named list with point definitions, output of customPointsServer
customPointsServer