If I remember correctly the Launcher already uses option C) when in auto-hide mode so just make it work the same when it is always visible.
If I remember correctly the Launcher already uses option C) when in auto-hide mode so just make it work the same when it is always visible.