Panel plugins have a fixed size in trunk

[Stefan Stuhr]

On Mon, 2007-09-10 at 14:16 +0200, Nick Schermer wrote:
> >From now on the plugin size is fixed in trunk. This means the plugin
> cannot increase the panel size anymore and will be cutoff when it is
> bigger.

This is the right choice, IMHO. That is, as long as users still can set
the panel size to anything >= 16 and <= 128, and aren't restricted to
only four hard coded choices, or something like that.

It's good that the panel now enforces the user's choice. If this breaks
some plugins, then the plugins should be fixed.

> I know some developers are not going to like this, but really, you
> have to live with it. The reason is easy: some plugins use the panel
> size to, for example, calculate the icon size. 

The panel size? To calculate the icon size? I hope said plugins includes
button borders and the like in their calculations.

> If an other plugin
> increases the real size of the panel, this technique becomes useless.
> Using the allocated size might result in loops (ask Samuel ^_^), so
> this is the best solution for (almost) everyone.
> 
> Greets,
> Nick and Jasper

Stefan