WindowSize
WindowSize
ノートブックのオプションであり，ノートブックをスクリーン表示するためのウィンドウの大きさを指定する．
- 次の設定ができる．
-
| wspec | wspec で指定する幅，高さは自動的に決定される |
| {wspec,hspec} | 幅と高さの指定 |
| Full | 全画面表示 |
- 高さと幅の指定には次のいずれを使ってもよい．
-
- WindowSizeの設定値は，フロントエンドでインタラクティブにウィンドウの大きさが変更されるたびに変更される．
- ほとんどのコンピュータシステムでは，フロントエンドはウィンドウサイズをある一定の最小値以下にすることを許さない．
- WindowSizeの設定は，ウィンドウの内容エリアの大きさを指定する．枠は含まない．
- WindowSize->Fullのとき，ウィンドウはメインモニタ上に全画面表示で表示される．
いろいろな大きさのウィンドウを作る：
コンテンツを入れるのに丁度よい大きさのウィンドウを作る：
バージョン 3 の新機能 | バージョン 6 での修正機能
