I believe that's not his problem: he should try a combination of Ctrl, Alt or Super while right-clicking the taskbar.

Reply via email to