Xcode9: enlarging font size in playground doesn't increase spacing for numbered lists

Originator:markd
Number:rdar://34668682 Date Originated:9/26/2017
Status:Open Resolved:
Product:Developer Tools Product Version:Version 9.0 (9A235)
Classification:Usability/UI Reproducible:Always
 
Summary:

Hi! I have oleb's what's-new-in-swift-4 playground.  I'l also teaching this week and using this as part of the instruction.  I embiggen fonts using cmd-= so folks can see things (obtw THANK YOU so much for that feature.  When that was announced, all the instructors around me went oooooh). The width of the number in numbered lists does not grow to match the font size, so eventually "15. ", enlarged turns into "15", enlarged  turns into "1"

See attached gif file, doing cmd-= 

Ole's repo is at https://github.com/ole/whats-new-in-swift-4

and to save you a trip, the playground is attached here too.

Comments


Please note: Reports posted here will not necessarily be seen by Apple. All problems should be submitted at bugreport.apple.com before they are posted here. Please only post information for Radars that you have filed yourself, and please do not include Apple confidential information in your posts. Thank you!