xtDisplayWidth(+WidgetName, ?Width, ?Height) xtDisplayWidthMM(+WidgetName, ?Width, ?Height) xtDisplayHeight(+WidgetName, ?Width, ?Height) xtDisplayHeightMM(+WidgetName, ?Width, ?Height)
XlibのXDisplayWidth/Height(MM)()と同様の働きをします。
これらの述語は、ユ−ザインタフェ−スの表示を使用しているスクリ−ンの幅や高さに適合させます。寸法は、ピクセルあるいはミリメ−トルの単位で返されます。
WidgetNameは、スクリ−ンを決定するために使われます。
widget_expected WidgetNameはwidgetでなければならない