Manipulating the font size in the entire application is rather tricky to implement, however I did a small fix to help with those resolutions.
Download the latest beta then open the ini file and in the General section add those lines
Code: Select all
user_font_size=10
user_font_size_grid=12
The user_font_size_grid parameter is more flexible and can be even larger, just make sure that in File/options/UI/grids you set the appropriate grid height to accommodate for the larger font size.
It will not be perfect and some clipping might occur and will only affect the core window, but it will make those small letters more readable.