Frame shrinkage bug

Peter C. Mehlitz kaffe@rufus.w3.org
Sat, 22 Aug 1998 00:40:28 +0200


>I can't say I quite understand the rationale behind this shrinkage
>mechanism since the frame decorations are _outside_ the frame window
>(and depend totally on the window manager).

Yes - but unfortunately, Java Frame sizes pretend to include the
deco. And even worse, there is no portable way to query the deco extends.

-- Peter