No worries, thanks for your reply.
I had the idea also…that it is more a GF thing. I will get in touch with the GF guys!
Just to be sure, what exactly does the option in your plugin do? So what is the difference for a user when “gravityforms_addonname_uninstall” is checked/unchecked?
Thanks a lot!
Happy User Role Editor user!