Tool settings: wait / reload after tool has quit / into current source
It's triggered on menu or shortcut.
Sometimes the PB IDE reloads the source, but then immediately shows a popup: 'the file ... has been modified ... do you want to reload ...'.
Well. Yes. That's why I actually set the tool settings to 'reload after tool has quit'
I think reloading it one time should be enough Unfortunately, it's not entirely reproducible
Sometimes it happens, and sometimes it doesn't, sorry.