verify-any-is-distance-type (プロシージャ)
public {verify-any-is-distance-type
key:String,
val:any,
accept-font-relative-values?:bool
}:void
インポート元： CURL.GUI.STANDARD. package 内で定義されています CURL.GUI.BASE.

サイズ オプションが有効かどうか検証します。無効な場合はエラーを報告します。

key: オプションの名前。
value: オプションの値。
accept-font-relative-values?: true の場合、ems で表現されるサイズを受け入れます。

説明

可能なvalueの型は以下のとおりです。
  • Distance (または、 FloatDistance)。例えば、 5pt や 5f(pt) など。
  • PixelDistance (または、 FloatPixelDistance)。例えば 5px や 5f(px)など。これらの値は、デバイスのピクセル サイズを介して、Distance値に変換されます。( DisplayContext.pixel-size を参照してください。)
  • EmDistance (または FloatEmDistance)。例えば、accept-font-relative-values? が true の時の、5em や、 5f(em)など。 これらの値は、 文脈上定義されたフォント サイズの倍数としてDistance値に変換されます。例えば、以下のコードでは、フォントサイズは、 30pt になります。: {text font-size = 10pt, {text font-size = 3em, hi}}
  • 数値。ポイントとして解釈されます。例えば、 5 は、 5pt です。この機能は、下位互換の為に提供されており、推奨されません。
any-to-Distance もご覧ください。