Font pravítka

Zdravím,
předně děkuji autorovi za skvělý editor. Rád bych se zeptal, zda lze nějakým způsobem změnit font pravítka, případně jestli by nemohl být tento atribut konfigurovatelný.
Děkuji.

Co by to prineslo a jaky je duvod pro zmenu fontu pravitka?

Jen estetické důvody - sjednocení fontů s ostatními komponentami, namísto Courier New používám fonty lépe uzpůsobeny pro použití s ClearType. Ale chápu, že je to okrajová záležitost.

Musel by to byt font, standardne obsazeny v systemu. Neni problem pouzit libovolny font, ale rad bych se vyhnul nastavovani takove veci, jako je font pravitka.
Tech nastaveni je tam i ted vic, nez bych chtel.

Všiml jsem si, že font číslování řádků už reflektuje nastavení fontu textové komponenty (menu-formát-font), tak hypoteticky, proč by obdobně nemohlo fungovat i pravítko? (Tedy, ne že bych vůbec uvažoval o tom používat cokoli jiného než Courier new :])

Ano, takto by to mohlo fungovat, ale samozřejmě záleží na autorovi

S tim nemam nejmensi problem. Jen se mi nelibilo samostatne nastavovani fontu na pravitku