Added dialog asking the user, if he/she wants to loose the changes made
to the font styles and colors when changing theme for the editor.
Fixed issue, where the caret position was set to the end of a source file when reading it into the editor.