Added the possibility to configure the selection color, highlighted line color, line margin color and line text color.
In addition the styles and colors now changes on the fly when these are changed in the theme configuration.
Fixed issue, where the source code editor did not change color and style when it was changed in the configuration window.