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
Hi @pangloss, thanks for reporting the issue. This should be a pretty easy fix, just need to account for this type of tagged value here and implement a ratio renderer. Do you have any interest in submitting a PR?
Hi, sorry I'm busy with a couple of other projects so don't think I'll have time to do the PR. Was just trying out the project, and it looks very nice and useful.
By the way I took a quick look at the code you linked and was surprised you didn't use a multimethod for that part since it seems like a good way to make the system more user-extensible. Anyway, thanks for putting together a useful tool!
Instead of showing a ratio like
1/3
it just shows#ratio[2]
The text was updated successfully, but these errors were encountered: