add-stretch

プロシージャを作成し、グラフィックに伸長性を追加します。

説明

Graphic の幅および高さプリファレンスに伸長性を追加するため、 Graphic のwidthまたはheightオプションに割り当てることのできるプロシージャを作成します。

Graphic の外側起点を基準とし、伸長性の度合い、その追加場所を指定します。

stretch-order: int として指定された追加する伸長性の度合い、または伸長順位の定数です。

before?: 伸長性が Graphic の外側起点の前に追加されるかどうかを指定します。"before (前) " は、height オプションで使用される場合 "above (上)" に、width オプションで使用される場合 "to the left of (左側)" に変換されます。

after?: 伸長性が Graphic の外側起点の後に追加されるかどうかを指定します。"after (後) " は、heightオプションで使用される場合 "below (下)" に、widthオプションで使用される場合 "to the right of (右側)" に変換されます。

戻り値

Graphic の幅または高さプリファレンス、あるいはその両方に伸長性を追加するためのプロシージャです。

例

以下に、この作業が実行されない限り固定とされる、いくつかの Frame の幅へ伸長性を追加するために、add-stretch を使用する方法を例示します。"Stretchy Right" とラベルされた Frame は、その起点の右に伸長性が追加されています。"Stretchy Left" とラベルされた Frame は、その起点の左に伸長性が追加されています。"Stretchy Left and Right" とラベルされた Frame は、起点の両側に伸長性が追加されています。

例

{VBox
    width = 5in,
    border-width = 1px, border-color = "navy",
    font-size = 9pt,
    {HBox
        {Frame
            "Stretchy Right",
            margin = 2px,
            background = "lightyellow",
            width = {add-stretch}
        },
        {Frame
            "Not Stretchy",
            margin = 2px,
            background = "azure"
        }
    },
    {HBox
        {Frame
            "Stretchy Left",
            margin = 2px,
            background = "lightyellow",
            width = {add-stretch before? = true, after? = false}
        },
        {Frame
            "Not Stretchy",
            margin = 2px,
            background = "azure"
        }
    },
    {HBox
        {Frame
            "Stretchy Left and Right",
            margin = 2px,
            background = "lightyellow",
            width = {add-stretch before? = true}
        },
        {Frame
            "Not Stretchy",
            margin = 2px,
            background = "azure"
        }
    }
}