Hide in full screen apps (option)

[sylvia43]

Suggested by @SunR.

[sylvia43]

Probably gonna be pushed back. Not essential and somewhat tricky.