Further investigation shows that all maximized windows are broken in this way. Quitting + relaunching apps doesn't help.
Further investigation shows that all maximized windows are broken in this way. Quitting + relaunching apps doesn't help.