I just had to change the same setting on windows, changing a line in a text file is much simpler than the maze of configuration dialogs I had to go through on windows. The linux way is easier, but the windows one is more discoverable, it would be nice to have an inbetween.
