ide/valgrind: Fixed menus to reflect settings in effect when switching workspace