The enhancement you describe is totally unnecessary if and when we fix bug 748539, which is definitely a bug. When that's fixed, any application going fullscreen on the second monitor will always hide the panel etc. So this bug is at least Wishlist if not Opinion.
Benjamin,
The enhancement you describe is totally unnecessary if and when we fix bug 748539, which is definitely a bug. When that's fixed, any application going fullscreen on the second monitor will always hide the panel etc. So this bug is at least Wishlist if not Opinion.