Grafatko
Grafatko copied to clipboard
Improve menu dock behavior
Currently, the menu dock doesn't get automatically resized when leaving the dock. Also, it can be vertically resized by the user, which is not ideal.