ごめんなさい、わかった。「ドックを隠す」にチェックが付いていた。シングルウィンドウではなくマルチウィンドウモード？だったんだけど、そうなるとツールボックスはドックじゃないから、あれをドックだと思っていなかった。