@marijn, I wanted to simply ask what the intention is Plugin Props vs. Editor Props. It is implied on your reference guide that Props can be assigned to the editor, similar to public instance variables in some ways. Is the intention to be able to make custom props on both editors and plugins?
I only ask because the @types definition for the editor props implies that only the listed props are supported and allowed. Which leads me to need to define our props explicitly, which is fine. I was just wondering after seeing this what your intentions are for props.