Using scintillawidget for this is just hacky and we shouldnt recommend or even suggest this :-/

For the change, I don't think it's truly necessary but OK with me if you like the added convenience.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.