Hi Chris,
I have found it!!! I now know what is happening, but I have not actual
a solution. But I also think this should be interesting for you GWT
developers!
First of all, I found that the computer that compiled the "bad"
version (with the bad layout), had GWT version 2.0.4, while the
computer with the "good" version had GWT version 2.0.3. I did not
realize this, because both eclipse installations had the "newest" GWT
plugin. But the eclipse instances themselves were different (3.5 and
3.6).
However, I upgraded the "good" computer to the newest versions of
eclipse and GWT (2.0.4), and the result is that it's now a "bad" one
too.
This means:
There is a layout problem, which was not present in GWT 2.0.3, but is
present in GWT 2.0.4!
Well, I also found out the reason for the problem:
In short:
IE7 processes "padding-left" and "padding-right" like "margin.-left"
and "margin-right".
In detail:
I use a HorizointalPanel as a TitleBar (or StatusBar) and I want to
place some text at the left end and at the right end of the bar. There
should be some space between the text and the left/right end of the
panel, so I used "padding-left:15px" or "padding-right: 15px" in the
CSS for the bar. This works correctly in all browsers, but in IE7 it
works like "margin-right", i. e. the whole TitleBar/StatusBar does not
cover the whole width, as shown in the screenshot I provided.
So, I know what is happening there, but I have no solution. Setting
the padding to 0px makes the bars ok, but the text is not placed fine.
I hope, this information is useful for you GWT developers and that
someone finds out, why this came with GWT 2.0.4.
And I also hope that you could point me to a solution for my
problem...
Thank you
Magnus