きた
kita****@kitaj*****
2003年 12月 5日 (金) 12:24:34 JST
きたです． > > > 1.については、明示的にタブをロックしているのだから、CloseAll〜な動作か > > > らもタブを保護して頂けると、ジェスチャのミスを頻発する私にはありがたかっ > > > たりします。とりあえず手元で弄ってみたdiffを添付します。 あぁ，そういう場合のことをすっかり失念しておりました． > 明示的な'Lock'と明示的な'CloseAll'はどちらが優先されるべきなんだろうか、 > とか考えてたんですが、結論が出なかったので、とりあえずコミットしました。 ロックするということは「どんなことがあっても消したくない」という意思表 示だと考えれば，ロックがCloseAll に優先されてもいいような気がします． というか，優先されないと間違ってCloseAllを選んでしまったときに悲劇かと．
