Changed document title in multidoc mode to show source file name (It looks less cryptic, and makes more sense).
Authored by: thuffir 2006-08-28
Parent: [r550]
Child: [r552]