[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