----------------------------------------------------------------------------- Purpose: Set the checked state of a checkable menuitem Does nothing if item is not checkable -----------------------------------------------------------------------------
source not stored for this graph (policy: none)