inst/shiny-app/server/preferences.R

observeEvent(input$preference_use_a_random_seed, {
  if (input$preference_use_a_random_seed) {
    shinyjs::enable("preference_random_seed")
  } else {
    shinyjs::disable("preference_random_seed")
  }
})
JackEdTaylor/LexOPS documentation built on Sept. 10, 2023, 3:09 a.m.