Border issue on nightly smartGWT3.1 in IE9

[hsm]

SmartGWT build v8.3p_2013-02-18/LGPL Development Only (built 2013-02-18)
I use the old Enterprise theme with slight customization. In IE9 left and right borders have inlined size "auto" - see attached picture "border_size_auto".

I see that EdgedCanvas has special care for IE9 but for some reason it doesn't apply the constructed size info or doesn't construct it.

In my load_skin.js I have the following settings

//----------------------------------------
// 7) Windows
//----------------------------------------
    if (isc.Window) {
        isc.Window.addProperties({
            // rounded frame edges
            showEdges:true,
            edgeImage: "[SKINIMG]Window/window.png",
            customEdges:null,
            edgeSize:6,
            edgeTop:23,
            edgeBottom:5,
            edgeOffsetTop:2,
            edgeOffsetRight:5,
            edgeOffsetBottom:5,
            showHeaderBackground:false, // part of edges
            showHeaderIcon:true,

            // clear backgroundColor and style since corners are rounded
            backgroundColor:null,
			border: null,
            styleName:"normal",
            edgeCenterBackgroundColor:"#FFFFFF",
            bodyColor:"transparent",
            bodyStyle:"windowBody",

            layoutMargin:0,
            membersMargin:0,

            showFooter:false,

            showShadow:false,
            shadowDepth:5
        })

The desired behavior is to have borders width 6px.

I have problems tracing this because when I use module SmartGwtDebug it ignores my theme.
How can I get both - not minified JS and custom theme?

[Isomorphic]

Thanks for pointing this out, it was fallout from attempting to fix a bug introduced by Mozilla in FF18..

This is fixed for tomorrow's 3.1p and 4.0d builds.

Also we've added a GWT module "com.smartgwt.debug.SmartGwtNoThemeDebug" to assist code-level debugging with custom skins, and we'll be adding corresponding modules for the commercial editions as well soon.

[hsm]

Another window issue

v8.3p_2013-02-22/LGPL Development Only (built 2013-02-22)
In IE9. Window default height is set to 100px and won't go below. See image attached.

 
  public void onModuleLoad() {
    Window w = new Window();
    w.setHeight(50);
    w.show();
  }

[hsm]

the issue is gone

Looks like issue is gone in v8.3p_2013-02-26/LGPL Development Only (built 2013-02-26)
Thank you!