Issue-7: Allow the WidgetHeaderPanel title update via Ajax

I also took the liberty of fixing some spacing in two other files.

If you don't approve of this, I'll roll them back and give you only the necessary change :)