Začínám používat velmi zajímavý editor LEO naprogramovaný v Pythonu. Bohužel ale používá gui toolkit TK, který se mi moc nelíbí. Není tu nějaký znalec TK, který by mi poradil, jak si alespoň změnit font v menu, je-li to vůbec možné? Pro zajímavost screenshot toho editoru: http://wraith.iglu.cz/tmp/plocha060603full.png