28.3.3.3 サイズのパラメーター

フレームパラメーターはフレームのサイズを文字単位で指定します。グラフィカルなディスプレイ上では、defaultフェイスがこれら文字単位の実際のピクセルサイズを決定します(Face Attributesを参照)。

height

文字単位によるフレームコンテンツの高さ(ピクセル単位で高さを取得するにはframe-pixel-heightを呼び出す。Size and Positionを参照のこと)。

width

文字単位によるフレームコンテンツの幅(ピクセル単位で幅を取得するにはframe-pixel-widthを呼び出す。Size and Positionを参照のこと)。

user-size

これはサイズパラメーターheightとwidthにたいして、user-position (user-positionを参照)がtopとleftが行うのと同じことを行う。

fullscreen

幅または高さ、もしくはその両方を最大化することを指定する。値fullwidthは、可能な限り幅を広く、値fullheightは高さを可能な限り高く、値fullbothは幅と高さをスクリーンサイズにセット、値maximizedはフレームを最大化することを指定する。maximizedとfullbothの違いは、前者がマウスでそのウィンドウマネージャーによる装飾をドラッグしてサイズ変更が可能なのにたいし、後者は実際のスクリーン全体を覆うためマウスによるサイズ変更ができないことである。

いくつかのウィンドウマネージャーでは、フレームを“maximized”または“fullscreen”にするために、変数frame-resize-pixelwiseを非nil値にカスタマイズする必要があるかもしれない。