openrocket/openrocket — pull request #216 by enderw88 (2014-12-21 17:36:58+00:00)
Title: RocketInfo font size now configurable in options.  

Small is 11 points (original size), medium is... 14 point, large is 17 point.

Corrected spelling on PrefChoiseSelector name, will get the translation keys some other time.
Added LineMetrics.descent to the line height for laying out the text in RocketInfo.

There is no clean way to update the RocketPanel after options changes are made. This effects the Units selections as well as here.