On Tue, 29 Mar 2005, Matthieu Moy wrote:
If you use a development snapshot of a program, you should use a recent version. It's better for you and for the developers if you report bugs.
You're right. I've just updated to the latest version.
What is weird is that after *every* Ion3 restart (including exit & startup) each IonWS shrinks exactly by 2 pixels. I can reproduce this bug (?) each time i restart Ion. It's very unconfortable to change the size of my WSs every time I start Ion.
I think this one has been discussed here a few days/weeks ago, and is fixed in the latest snapshot.
After updating to the latest version everything seems to be allright.
Thanks a lot.
-- Bart.
