-
Het is Window, en de menukeuze heet Show (onde Extra Ctrl H). Als je daarop klikt krijg je een nieuw menu, met onderin drie opties: All, None en Show extra options. Bij die laatste kun je allerlei opties aan- of uitvinken.
Maar nog steeds moet je dat dan terugzetten als je het weer wil gebruiken.