Potreboval bych vymenit font Times, ktery je v systemu za jiny font. Je
to mozne udelat, aby se nejak neporusil system? Systemovy neobsahuje
tolik rezu jako ten, co mam v ATM. Pokud jsou zapnuty oba dva, dochazi
asi ke kolizim, a pri tisku se zameni ceska diakritika za jine symboly.
(OS 9.1)