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)