Setting the font to 13pt or 15pt causes nothing to change in the GUI. For example: 12pt -> 13pt does nothing. 13pt -> 14pt increases the size. 14pt -> 13pt does nothing. 13pt -> 12pt decreases the size.
This feels like a scaling factor of around 2.0 being applied (maybe in imgui, maybe our code) in the integer domain and losing the fractional part of the font size.
I'm on a Retina display on a MacBook Pro.
Setting the font to 13pt or 15pt causes nothing to change in the GUI. For example: 12pt -> 13pt does nothing. 13pt -> 14pt increases the size. 14pt -> 13pt does nothing. 13pt -> 12pt decreases the size.