added Symbols / Icons for Settings: UserSettings, DatabaseSettings and
for history: pushHis, pullHis
Merge branch 'tcp' of https://github.com/tkessels/publicMain.git into tcp