Junichiro Kita
kita****@kitaj*****
2004年 1月 14日 (水) 01:58:20 JST
きたです． >> preference からセッション保存するかしないかなどを選べるようになってた方 >> が良いと思うので，時間ができたら作っちゃおうと思います． > >おお！助かります。設定画面って作るのめんどいんですよ。。。 昨日の帰りの新幹線である程度作っちゃったんでコミットしてしまいました． 今のところ，設定画面では「セッションの保存をする/しない」「セッションの 復元をする/しない」の選択のみができます． セッション名の切り替えについては，もうちょっと検討する必要があると思った のでノータッチです． それから，セッションの保存や復元を off にしていても一時的に保存/復元でき るよう，ツールメニューにセッション関連のサブメニューを作ってみました． どちらも ui のレベルが expert の時だけ表示されます．
