Message 248709 - Python tracker

➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Content 
The side-by-side part I obviously like, but I think we need to keep 'Base Editor Font' since this and only this is affected by the selection.  I think there should be an option to increase the 'other' font used for everything else.