Comment Comment by asibahi I am curious, which editors allow different typefaces for different code elements? (XCode, I think, but what else?) parent asibahi 7 months ago