Added dialog titles, show/hideable dock widgets and a few changes in the platform