Colours and Fonts: allow the user to select which lexers should be exported