Comment 3 for bug 729254

Hi Toby. I actually filed this one a few hours ahead of you (bug #728790), so yours is a duplicate ;)

Bug #717496 relates to this in an interesting way, too. One thing that makes this particularly easy is that the top panel appears to be the title bar for whatever window you have maximized. Here is another case where the top panel isn't what it looks like, leading to disaster.