Increase font size of labels

MedicalCentres/app.R

@@ -129,7 +129,8 @@ server <- function(input, output, session) {
                    popup = popups(Geo2017),
                    icon = piconlist["blue"],
                    label = Geo2017$name,
-                   group = "locations"
+                   group = "locations",
+                   labelOptions = labelOptions(textsize = "12px")
                    )
         gl <- addSearchFeatures(gl, targetGroups = "locations")
         gl
@@ -148,7 +149,8 @@ server <- function(input, output, session) {
                      popup = popups(Geo2017),
                      icon = piconlist[snargcol(Geo2017$Snargle)],
                      label = Geo2017$name,
-                     group = "locations"
+                     group = "locations",
+                     labelOptions = labelOptions(textsize = "12px")
                      )
       } else if (input$selcol == "DHB") {
           gl <- addMarkers(gl, lng = Geo2017$lon,
@@ -156,7 +158,8 @@ server <- function(input, output, session) {
                      popup = popups(Geo2017),
                      icon = piconlist[dhbcol(Geo2017$dhb_name)],
                      label = Geo2017$name,
-                     group = "locations"
+                     group = "locations",
+                     labelOptions = labelOptions(textsize = "12px")
                      )
       } else {
           gl <- addMarkers(gl, lng = Geo2017$lon,
@@ -164,7 +167,8 @@ server <- function(input, output, session) {
                      popup = popups(Geo2017),
                      icon = piconlist["blue"],
                      label = Geo2017$name,
-                     group = "locations"
+                     group = "locations",
+                     labelOptions = labelOptions(textsize = "12px")
                      )
       }
     })