I can confirm this and it shouldn't be too hard to make it. F10 and F9 (or whatever the user has chosen) should maximize/minimize the dash.
I can confirm this and it shouldn't be too hard to make it. F10 and F9 (or whatever the user has chosen) should maximize/minimize the dash.