User function completion now triggers self.gui.user_functions.notify_observers().
This will allow for GUI updates upon user function completion.
Authored by: bugman 2011-07-01
Parent: [r13400]
Child: [r13402]
