Comment 1 for bug 842683

Revision history for this message
David Gomes (davidgomes) wrote :

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.