prefer 'rstheme' to 'theme' when reading UI prefs
prefer 'rstheme' to 'theme' when reading UI prefs

JanMarvin/rstudio,JanMarvin/rstudio,JanMarvin/rstudio,JanMarvin/rstudio,JanMarvin/rstudio,JanMarvin/rstudio,JanMarvin/rstudio,JanMarvin/rstudio,JanMarvin/rstudio