Tool Options is MISSING! for bucket tool

[Katamaheen]

It was already asked and resolved here:

Tool Options Docker not available

Hello! I am instructing a new Krita user and he is having an issue that I’ve never seen before. He has the latest Krita version (at this moment 5.1.5), with Windows OS. To work, he uses a Wacom Cintiq. The Tool Options Docker just doesn’t appear in his computer. I helped him, teaching how to find all the Dockers at the Settings>Dockers Menu. But it doesn’t appear. It is not available on any of the Workspaces options either. I already asked him to switch to the Executable version instead of the…

(also, welcome to the community )