ウィンドウディバイダーとは、フレームのウィンドウ間に引かれるバーのことです。右ディバイダーは、ウィンドウと右側に隣接する任意のウィンドウとの間に引かれます。その幅(太さ)は、フレームパラメータ
right-divider-width
で指定されます。下ディバイダーは、ウィンドウと下部またはエコー領域にある隣接するウィンドウとの間に引かれます。その幅は、フレームパラメータ bottom-divider-width で指定されます。いずれの場合も、幅を 0
に指定すると、そのようなディバイダーは描画されません。レイアウトパラメータを参照してください。
厳密には、右区切り線は左側のウィンドウに属しており、その幅はそのウィンドウの総幅に算入されます。一方、下区切り線は上側のウィンドウに属しており、その幅はそのウィンドウの総高さに算入されます。ウィンドウサイズを参照してください。ウィンドウに右区切り線と下区切り線の両方がある場合、下区切り線が優先されます。つまり、下区切り線はウィンドウの総幅いっぱいに描画され、右区切り線は下区切り線より上の位置で終了します。
区切り線はマウスでドラッグできるため、隣接するウィンドウのサイズをマウスで調整する際に便利です。また、スクロールバーやモードラインが存在しない場合に、隣接するウィンドウを視覚的に区切る役割も果たします。以下の3つの面で、区切り線の外観をカスタマイズできます。
window-divider区切り線の幅が3ピクセル未満の場合、この面の前景色で塗りつぶして描画されます。幅が広い区切り線の場合、この面は最初と最後のピクセルを除く内側部分にのみ使用されます。
window-divider-first-pixelこれは、幅が3ピクセル以上のディバイダーの最初のピクセルを描画する際に使用されるフェイスです。塗りつぶされた外観にするには、これをwindow-dividerフェイスと同じ値に設定してください。
window-divider-last-pixelこれは、幅が3ピクセル以上のディバイダーの最後のピクセルを描画する際に使用するフェイスです。塗りつぶされた外観にするには、これをwindow-dividerフェイスと同じ値に設定してください。
以下の2つの関数で、特定のウィンドウの区切り線のサイズを取得できます。
windowの右区切り線の幅(厚さ)をピクセル単位で返します。windowはアクティブなウィンドウである必要があり、デフォルトでは選択中のウィンドウが指定されます。最右端のウィンドウの場合、戻り値は常に0となります。
windowの下部区切り線の幅(厚さ)をピクセル単位で返します。windowはアクティブなウィンドウである必要があり、デフォルトでは選択中のウィンドウが指定されます。ミニバッファウィンドウ、またはミニバッファのないフレームにおける最下段のウィンドウの場合、戻り値は0となります。