Update: found this mention of an (unreported) similar bug when minizing Virtualbox:
http://ubuntuforums.org/archive/index.php/t-2062165.html
Update: found this mention of an (unreported) similar bug when minizing Virtualbox:
http:// ubuntuforums. org/archive/ index.php/ t-2062165. html