[feature request] Options per added server

[robiningelbrecht]

It would be great if we could set the options "Show only favorites" and "Hide common" per server. Now I have multiple servers and each time I switch I have to change the settings too. Is this something that can be done?

[istornz]

Good feature, I will try to add this asap

[robiningelbrecht]

I would leave the current options as "global options", but allow to override them per server...?

[istornz]

I'm finding the best way to add this functionality...