Added 'restore defaults' button to 'editor settings dialog'
Renamed 'lexer settings dialog' to 'theme settings dialog'
Moved background and font settings to the future 'theme settings' dialog
Added dialog for changing lexer settings
Initial work on customizable lexers
Fixed enable/disable issue in settings dialog
Update. Nearly ready for release
Added console gdb
Added editor settings to welome and fixed compilation problem with wi…