Copied panel and plugin properties

[Andrzej]

On 15/11/2011 16:41, Nick Schermer wrote:
>
> I think we can do better if we implement this at a plugin level, but
> I'll try your code and see how it works.


BTW, there also might be some other code partitioning decisions to 
reconsider.

I noticed that many of panel and plug-in properties are duplicated. They 
(size, orientation, and now nrows and deskbar-mode) are currently copied 
from the panel to all the plug-ins (and vice versa). There is also a 
whole system of notifications in place just to keep all these copies in 
sync. Why don't plugins simply query panel object properties when they 
need them?

Andrzej