Smalltalk › Squeak › Squeak - Beginners

Preference #menuTitleBorderWidth does nothing?

_‹ Previous Topic Next Topic _›

Classic

List

2 messages Options

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

Re: Preference #menuTitleBorderWidth does nothing?

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