Preference #menuTitleBorderWidth does nothing?

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Preference #menuTitleBorderWidth does nothing?

Petr Fischer-3
Hi,

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

Thanks, pf

_______________________________________________
Beginners mailing list
[hidden email]
http://lists.squeakfoundation.org/mailman/listinfo/beginners
Reply | Threaded
Open this post in threaded view
|

Re: Preference #menuTitleBorderWidth does nothing?

Petr Fischer-3
Is time to remove unused things like #menuTitleBorderWidth?
Confusing.

Thanks, pf

Petr Fischer píše v Čt 09. 11. 2006 v 21:13 +0100:

> Hi,
>
> has preference #menuTitleBorderWidth any effect?
> (It's used in color themes (ColorTheme) too)
>
> Thanks, pf
>
> _______________________________________________
> Beginners mailing list
> [hidden email]
> http://lists.squeakfoundation.org/mailman/listinfo/beginners
>

_______________________________________________
Beginners mailing list
[hidden email]
http://lists.squeakfoundation.org/mailman/listinfo/beginners