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でなければならない

scroll to top