Benjamin Armintor

See #3437 I'm working on a plugin that updates the window from an interaction in the sidebar. When the update is processed, a selector (which is somewhat obscured by the...