Fix toc panel silliness

doesn’t matter if dock visible or not