Window manager settings: the default setting for window caption buttons 
shows that the minimize button is enabled, however, the minimize button 
does not actually show up until the setting is changed (by removing the roll up 
button). A new user account with fresh settings is needed to see this 
bug.