openscad
openscad copied to clipboard
Do we need both Window/Editor and Window/Hide Editor?
Like the Title says. Do we need both of these menu items? Why not just one "Editor" item, that's either checked or not?