Jürgen Spitzmüller wrote: > Good idea. I'll do that and commit, since you confirmed it works.
Actually, I only transferred the setEnabled part, because we do not have access to type in enableControls. Jürgen BTW is there something we can do about TOC widget swallowing keyboard shortcuts? This is pretty annyoing.
