> IMHO it would be better to make the normal extensions dialog dockable, but not the one used to provide feedback
Yes, it would be very handy and improve the ui consistency.
> How difficult would it be to make the dialog remember its last use window size.
Don't know. I guess it's just saving the size and position in the prefs file and restore it when needed, but the extension system is a bit specific and may require more work. Will take a look.
> IMHO it would be better to make the normal extensions dialog dockable, but not the one used to provide feedback
Yes, it would be very handy and improve the ui consistency.
> How difficult would it be to make the dialog remember its last use window size.
Don't know. I guess it's just saving the size and position in the prefs file and restore it when needed, but the extension system is a bit specific and may require more work. Will take a look.