Currently, 2htdp/universe adds a small inset to the drawn image. For example,
(require 2htdp/universe
2htdp/image)
(big-bang (square 100 'solid 'purple)
[on-draw values])
looks like this:
The inset is defined here and used here. I want to add the ability to turn off this inset (or to remove it as an option, but presumably whoever added it has a different aesthetic opinion).
Would it be best to add it as a big-bang clause? That doesn't seem ideal as it's not really a significant decision. Maybe a different display-mode option ('borderless)?
I'm happy to make the change but I know htdp has special design considerations so I'm asking how to proceed.
Currently, 2htdp/universe adds a small inset to the drawn image. For example,
looks like this:
The inset is defined here and used here. I want to add the ability to turn off this inset (or to remove it as an option, but presumably whoever added it has a different aesthetic opinion).
Would it be best to add it as a big-bang clause? That doesn't seem ideal as it's not really a significant decision. Maybe a different display-mode option ('borderless)?
I'm happy to make the change but I know htdp has special design considerations so I'm asking how to proceed.