set-document-properties
(プロシージャ)
public
{set-document-properties
...}:
void
パッケージ:
CURL.ENGINE.APPLET
現在の
Document
にオプションを設定します。
説明
設定されるオプションには 2 つのクラスがあります。
任意のコンテナに設定されるような一般的なオプションです。値はコンテンツに継承されます (例:色、フォントサイズ)。
ドキュメント固有オプションです。ドキュメントのインフラストラクチャを構築するオブジェクトの性質を保持します。
設定できるオプションはアプレットのドキュメント型に依存します。つまり言い換えると、
document-style
を使用すれば設定できるということです。定義済みドキュメント型には次のものがあります。
DefaultDocument
これは Web ブラウザのコンテンツ ペインと同様に動作します。
TocDocument
これは、左側にツリー コントロール列を持つ
DefaultDocument
と同様に動作します。
PlainDocument
これは、
Frame
と同様に動作します。