Fork me on GitHub
#portal
<
2022-09-20
>
djblue16:09:11

If you ever been confused by filtering in Portal, the next release will include filter highlighting, which should hopefully help clarify how it works 👌

1
🙏 2
🎉 4
djblue17:09:45

Also, anyone notice the new subscript notation for collections?

4