Would it make sense to add a vertical scroll bar to the global options window? I installed 1.2.673 and when I launched it the fonts were huge. I opened the global options dialog to see if there was a setting I could change but the dialog was unusable -- I could only access the top 1/3 because of the font size.
I fixed the problem by deleting ~/.rstudio-desktop, but not everyone will know about this. So my suggestion is to make is possible to use the options dialog in situations where it is not all visible. Even if the issue can't be fixed by tinkering with options, it's frustrating to open the dialog and have it be unusable.
I wasn't aware of the keyboard shortcuts for font size or I would have tried them. I imagine they would have worked. The issue in this case is that had I even thought to look, it would have hard to discover them for the same reason it was hard to use the options dialog. (Of course, yes, I could have googled
Thanks for the feature requests link, I hadn't seen that. With the ongoing evolution of the RStudio site I've lost track of what's where.
This would not be a high priority enhancement, but I thought it worth mentioning.
Sorry I missed that.