Re: Setting usize to (0,0)

[Ronald Bultje <rbultje ronald bitfreak net>]

hi Ian,

On Thu, 2002-11-07 at 21:30, Ian King [ES] wrote:
> What's wrong with having a widget than can shrink to zero pixels big, it

set_usize(0) doesn't shrink, it sets the size to 'no other size than 0'.

> just means it is so small that it can be seen if shrank.  It doesn't have to
> be this size, it just means that it requires zero space but will expand to
> its allocation.

You wouldn't use set_usize() for this, but you'd request a size of 0,0
and accept the allocation inside the widget. set_usize() is called upon
the widget (externally, mostly).

> The reason I need this is because this is valid in our
> multi-platform gui api (with gtk being a backend) and it allows us to do
> widget.set_minimum_size (0, 0), Eiffel being the language this is written
> in.

See above.

Ronald