gwt - SmartGwt ウィンドウ ヘッダーの高さ

Question

smartGwtでウィンドウのヘッダーの高さを変更する方法はありますか?

ヘッダーの内容のフォントを大きくしてから、高さを自動設定してみましたが、うまくいかないようです。

Answer 1

解決策が見つかりました。ウィンドウ クラスの属性 headerDefaults を再定義するだけです。これはマップなので、次のように進めることができます。

Map<String, Object> headerDefaults = new HashMap<String, Object>();
Integer newHeight = 64;
headerDefaults.put("height", newHeight);
mySmartGwtWindow.setAttribute("headerDefaults", headerDefaults, true);

Answer 2

ヘッダーの高さを変更できるプロパティが見つかりませんでした。空のアイコンにダミー コントロールを追加できると考えて、 HeaderControlで遊んでみましたが、その高さは探しているものである可能性がありますが、ControlIconの高さはコンストラクターで 15 に固定されています。