User-Agent: Mozilla/5.0 (Windows NT 6.1; rv:2.0b12) Gecko/20100101 Firefox/4.0b12 Build Identifier: Mozilla/5.0 (Windows NT 6.1; rv:2.0b12) Gecko/20100101 Firefox/4.0b12 When I change the border padding of windows 7 firefox(4.0 beta 12) the border graphics are not getting scaled as the must be on certain themes (doesn't listen to the dwm sizingmargins of the borders!)... Any change that it is possible to change the border size manually or firefox will recognize the bordermargins? Reproducible: Always Steps to Reproduce: 1.Install firefox 4.0 beta 12 2.Install a custom msstyles with custom sizingmargins at borders 3.Tada, firefox scales the borders wrong... Actual Results: Scales the borders wrong and makes them distorted under different msstyles Expected Results: Scale the borders by using the sizing margins from the current msstyles! And use the right border width since the borders are thicker then they have to be... No Addons or Themes in Firfox itself. Used msstyles: http://dl.getdropbox.com/u/4281191/Wave.msstyles
to make it easier for testing of the msstyles use the following installer: http://www.custopack.com/custopack/wave-thomas
Can you provide a screen shot of the problem you're seeing?
yea sure, here you are: http://dl.getdropbox.com/u/4281191/bugff4.png and it is windows 7(It looks kinda different... I know) You see that the border width at explorer are 2px and at firefox 4 3px which make the border looks buggy.
also it would be nice if firefox detects 3rd party apps like: http://www.askvg.com/leftsider-move-windows-titlebar-buttons-to-the-left-with-this-small-free-utility/ and fixes itself (like seeing the app run and moving directly the firefox button to right side)
Ant news on this bug?
I think what you are seeing is bug 618353 which will be fixed in a future rev.