I'm reposting this question because it seems to have gone unanswered.
Is there a way to query the current editor font using
My first guess would be to use
readRStudioPreference(), but I don't know what the preference name would be.
readRStudioPreference("server_editor_font"), which is cited in the RStudio Server Administration Guide, doesn't yield anything when used on RStudio Desktop.