[Newbies] Preference #menuTitleBorderWidth does nothing?

Petr Fischer petr.fischer at praguesoft.cz
Thu Nov 9 20:13:05 UTC 2006


Hi,

has preference #menuTitleBorderWidth any effect?
(It's used in color themes (ColorTheme) too)

Thanks, pf



More information about the Beginners mailing list