I want to discuss an algorithm of panel resizing.
How it works now:
Imagine a vertical panel with two plug-ins - clock and a quicklaunch. The clock has format "Do not show date". The panel has following settings: "Line size" - 10 and "Rows count" - 1.
In result the panel is thin.
Now let's change the clock format to "Show date after time"
As you can see the panel is wide. The clock plugin set a minimum width so that would place the text whole.
* At any size of the line, user sees the all contents of the plugin, not only its part.
* This approach requires a complex code of the panel.
* Requires additional code from the plugin authors, not much, but the code is not always obvious.
* There is always a chance that don't neatly written plug-ins "break" the panel.
* I have some unresolved problem with the taskbar.
Another approach - does not take into account the sizeHint of plugins. The panel always has the size LineSize*RowsCount. And plugins adjusts your size by panel. The plugin can scale content for example decrease font size in date.
Long time I championed the first algorithm, but now I'm inclined to the second. What do you think? Which approach is better? Any opinions are welcome, from the developers, and from the users too.