$FrontEndSession

$FrontEndSession
カーネルが実行されているフロントエンドの現行セッションを表す大域シンボルである.

詳細詳細

  • $FrontEndSessionOptionsSetOptionsを使って,フロントエンドの現行セッションの大域オプションを確認したり設定したりすることができる.
  • $FrontEndSessionに設定されたオプションは$FrontEndのオプション設定を無効にするが,複数のフロントエンドセッション間では保持されない.

例題例題すべて開くすべて閉じる

  (1)  (1)

現行セッションのセルブラケットを太くする:

ブラケットの太さをもとに戻す:

2007年に導入
(6.0)