(TXT) Proportional fonts for coding? No thank you