added description string to the themeloader, this is then used to dis…#5584

Merged

tobiasdiez merged 4 commits intoJabRef:masterfrom carlg0ransson:master

Nov 10, 2019

+4-3

Commits on Nov 9, 2019

added description string to the themeloader, this is then used to display the description of the theme after applying a new theme in the preferences.
Carl
committed

Commits on Nov 10, 2019

removed description string from themeloader, instead put the theme description inside the localization string
Carl
committed
added a dot to the restart message string.
Carl
committed
added locale strings to the english language file
Carl
committed