Warning: file_get_contents(/data/phpspider/zhask/data//catemap/3/android/189.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
SmartGwt窗口标题高度_Gwt_Smartgwt_Smartclient - Fatal编程技术网

SmartGwt窗口标题高度

SmartGwt窗口标题高度,gwt,smartgwt,smartclient,Gwt,Smartgwt,Smartclient,您知道如何更改smartGwt中窗口的收割台高度吗 我尝试增加页眉内容的字体,然后自动设置页眉高度,但似乎不起作用。我没有找到任何可以更改页眉高度的属性。我试过玩HeaderControl,我想我可以添加一个虚拟控件一个空图标,它的高度可以是我们想要的,但是控件图标的高度在构造函数中固定为15。所以今晚没有更多的想法…我找到了解决方案,您所要做的就是重新定义window类的属性headerDefaults,它是一个映射,所以您可以这样继续: Map<String, Object> h

您知道如何更改smartGwt中窗口的收割台高度吗


我尝试增加页眉内容的字体,然后自动设置页眉高度,但似乎不起作用。

我没有找到任何可以更改页眉高度的属性。我试过玩HeaderControl,我想我可以添加一个虚拟控件一个空图标,它的高度可以是我们想要的,但是控件图标的高度在构造函数中固定为15。所以今晚没有更多的想法…

我找到了解决方案,您所要做的就是重新定义window类的属性headerDefaults,它是一个映射,所以您可以这样继续:

Map<String, Object> headerDefaults = new HashMap<String, Object>();
Integer newHeight = 64;
headerDefaults.put("height", newHeight);
mySmartGwtWindow.setAttribute("headerDefaults", headerDefaults, true);
Map headerDefaults=newhashmap();
整数newHeight=64;
headerDefaults.put(“高度”,新高度);
setAttribute(“headerDefaults”,headerDefaults,true);