Closed casaca24 closed 8 months ago
Thank you for the PR! Ideally, the change will need documentation (even preliminary, gross ones will be fine), under
rhombus/gui/scribblings
.
Thanks for the input! I'll work on all your suggestions, and start working on the docs. This PR could wait until documentation is ready
Sorry, why was this closed? If you just want to update the PR, you can force push to the will-be-merged branch.
My bad, I'll try it next time.
Sorry, why was this closed? If you just want to update the PR, you can force push to the will-be-merged branch.
I had already deleted the previous fork when I read your message. Thanks for your help, I submitted another pull request.
Thank you for the PR! Ideally, the change will need documentation (even preliminary, gross ones will be fine), under
rhombus/gui/scribblings
.