Added methods to get favourites, highlighter themes and source language file names.
Authored by: delphidabbler 2013-09-18
Parent: [r3588]
Child: [r3590]
