You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I would like to have an optional layer in the background, to which I then add some other layers on top. The manual states that mapping() is the one-element, but what is the zero-element here?
if draw_background
plt = ...
else
plt = zero(Layer) # doesn't exist (yet)
end
plt += ...
Proposed solution
Define zero(Layer) or AoG.zero() or similar. While being at it, one may also define one(Layer) or oneunit(Layer) or AoG.one() or similar.
The text was updated successfully, but these errors were encountered:
Yes, that's the behavior I was looking for! But Layers([]) doesn't feel intuitive to me (I don't remember interacting with it before), I will likely forget about it again. What do you think about giving the other names I suggested?
Problem description
I would like to have an optional layer in the background, to which I then add some other layers on top. The manual states that
mapping()
is the one-element, but what is the zero-element here?Proposed solution
Define
zero(Layer)
orAoG.zero()
or similar. While being at it, one may also defineone(Layer)
oroneunit(Layer)
orAoG.one()
or similar.The text was updated successfully, but these errors were encountered: