Make separator for "Copy extensions to clipboard" configurable #231
Description
From #195 (comment).
We should let the user define which separator to use for this feature. Best would be to have an option in the preferences or doing it via a hidden preference. Maybe the latter should be fine given that not that many people might want to change it, and then it will be done only once.
@xabolcs had an idea.