Open Wuzzy2 opened 6 years ago
Very sensible. The options menu is a catch-all dialog, we should not bloat it with the grid size that can reasonably go into the editor.
This is partially solved in 0.9.20: The grid button gets the custom grid size printed on. But you can't right-click the button yet.
I make the following suggestions for the “user grid” button in the editor:
This would make the user grid a bit more convenient to use, it's annoying you have to backtrack all the way to the main menu each time you want to change the user grid size.