Erik Moeller wrote:
I wasn't referring to filtering by posting frequency but to filtering by user ID. Filtering by frequency would affect malicious trolls as well, which we obviously don't want. I have no clue where microfarads come into play, I was thinking about a software-based solution ;-).
More generally, it might be interesting to have a whitelist/blacklist system where you can choose to show _only_ edits by a set of people or _everything but_ edits by some set of people.
Thus, you can filter out known contributors to do spot checks for newbie formatting problems or vandalism, or show just edits by people you think you'd be interested in what they had to say.
Er, random thought anyway.
As far as the double-click patch -- was there any general agreement on using it? I seem to remember a mention of conflict with standard browser behavior (dblclick = selection)....? It's kind of a cute feature, I wouldn't mind it if there's consensus.
-- brion vibber (brion @ pobox.com)