Panel Size

[Brian J. Tarricone]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Jasper Huijsmans wrote:
> Op do, 16-06-2005 te 18:33 +0200, schreef Nick Schermer:
> 
>>Is it possible to change the panel size with a slider, just like
>>the taskbar? Because normal is a bit small and large is too
>>big, i my opinion.
>>
> 
> 
> The answer (if a bit late) to that question is a definite 'maybe' ;-) 
> 
> A slider does make sense, but I think it will require some internal
> changes.

And changes to pretty much any plugin that displays graphics, since
currently everyone uses the global icon_size[] array to size icons to
fit the panel size...

	-brian

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (MingW32)

iD8DBQFCsy7t6XyW6VEeAnsRAjCAAJ9uhWw3BVYOQxFR6DPYq1k6JK1lWACdFGjc
BHYxAuQBytz+m7/soPmftTo=
=uZhZ
-----END PGP SIGNATURE-----