I have no issues with the settings. They are well documented and can easily be transferred from computer to computer. This is an editor targeted at developers,

I have no issues with the settings. They are well documented and can easily be transferred from computer to computer. This is an editor targeted at developers, and as such I think we are capable of editing a config file.