The user function windows now use _doc_title_short for the titles.
If this doesn't exist, it falls back to _doc_title.
Authored by: bugman 2011-07-07
Parent: [r13467]
Child: [r13469]
