Yes, we definitely need a preferences dialog. We keep kicking that can down the road, but if someone were to submit a pull request with one, then I suppose we would have to address the issue ;-)