New Show in Menu when Disabled option

This new option allows you to indicate whether a disabled command should show (or not) on command menus.

By setting this option off, the cluttering of menus with disabled commands can be reduced.