search

xiaoxiae / Grafatko

An app for creating and visualizing graphs and graph-related algorithms.
GNU General Public License v3.0
26 stars 7 forks source link

Improve menu dock behavior #12

Open xiaoxiae opened 4 years ago

xiaoxiae commented 4 years ago

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.