On Wed, Nov 30, 2005 at 01:06:00PM +0100, oksijun wrote:
> Right. But the fact remains that (at least for me) the end result -
> i.e. how gkrellm gets displayed - has changed between the two
> versions. Admittedly, it may be due to a factor external to ion
> itself, however I think the original poster may want to try the older
> version out to see if he can correlate this...
>
> If he can't reproduce this behaviour, then it's something else.
Here's what I wrote in README.dock a couple of years ago:
The following dockapps are known to have problems:
- gkrellm2 can have the wrong shape if it is started after the dock
module is loaded.
...
As far as I can tell the gkrellm2 problem is a race condition and the
sequence of events is as follows:
1. gkrellm2 starts and gets added to the dock with is initial geom.
2. gkrellm2 grows as it loads plugins.
3. The dock allocates more space to gkrellm2 and requests
gkrellm2's new shape, but gkrellm2 reports its old shape.
4. Further requests to gkrellm2 return is new (actual) shape, but by
now it's too late...
Any assistance in fixing this bug would be much appreciated.
The tricky thing about race conditions is that they are sensitive to
unrelated issues. For example, adding a comment to an unrelated config file
might cause Lua interpreter to take two nanoseconds longer to the load file,
which means that timing changes and the problem disappears.
Re-reading the above suggests a very ugly kludge: if a dockapp is gkrellm
then the dock should request its shape twice and take the second result.
Tuomo would (rightly) hate this :-)
--
Tom
