Mute option
< Next Topic | Back to topic list | Previous Topic >
Posted by Chris Murtland
Apr 6, 2023 at 10:46 PM
I threw together a quick and dirty user option for hiding muted users and have set 22111 as muted. Go to “My Account” in the left side and check the last box. You will need to log out and back in for the setting to take effect. It currently doesn’t affect the RSS feed and there may be a few page numbering issues if you decide to use this option.
I don’t like being heavy-handed, but personal attacks are not welcome here.
Posted by Amontillado
Apr 7, 2023 at 01:59 AM
Sometimes, you don’t have the options you’d like.
I appreciate your hospitality and the fine intellectual discussion found on your site.
All the best - should you post an online tip jar, I’ll contribute.
Posted by Cyganet
Apr 7, 2023 at 05:39 AM
Thank you very much for adding the mute option.
Posted by Alexander Deliyannis
Apr 7, 2023 at 07:34 AM
Mute option most appreciated, +1 for the tip option!
Posted by tightbeam
Apr 7, 2023 at 11:15 AM
I know it was distasteful for you to provide a mute option, and I’m sorry that one user made it necessary. Thank you for making the correct choice.