[Gambas-user] Change in spacing/padding/margin property for Gambas 3

richard terry rterry at ...1946...
Sat Mar 5 05:59:40 CET 2011


On Saturday 05 March 2011 13:45:43 Benoît Minisini wrote:

Thanks for considering this Benoit, I'll obviously vote for whatever will give 
me single pixel control over the gui elements.

Regards


Richard

> Hi,
> 
> I am currently changing the behaviour of the Spacing, Padding and Margin
> property to fit requests from Richard Terry, and I'm trying to not break
>  every application by doing that.
> 
> The old behaviour was:
> 
> - If Spacing is TRUE, then child controls are spaced with Desktop.Scale
> pixels.
> 
> - If Margin is TRUE, then the container has a margin of Desktop.Scale
>  pixels around its children.
> 
> - The Padding property is a number of pixels added to the margin.
> 
> The new behaviour I propose is the following:
> 
> - If Spacing is TRUE, and if Padding is zero, then child controls are
>  spaced with Desktop.Scale pixels.
> 
> - If Spacing is TRUE, and if Padding is not zero, then child controls are
> spaced with Padding pixels.
> 
> - If Margin is TRUE, and if Padding is zero, then the container has a
>  margin of Desktop.Scale pixels around its children.
> 
> - If Margin is TRUE, and if Padding is not zero, then the container has a
> margin of Padding pixels around its children.
> 
> - If Margin is FALSE, and Spacing is FALSE, but Padding is not zero, then
>  the container has a margin of Padding pixels around its children. That to
>  be compatibie with the old behaviour.
> 
> It allows to have pixel precision to spacing and margin, except that then
> spacing and margin both have the same value.
> 
> What do you think?
> 




More information about the User mailing list