Terry J. Reedy added the comment: 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.
---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue24776> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com