Am Die, 2002-10-22 um 22.05 schrieb Brion VIBBER:
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.
I agree, I'll see what I can come up with.
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.
Oh, that's not a problem, the patch creates an option in the user prefs, and we can leave it turned off by default. It's true that if you turn it on, double clicking a word to select it no longer works, but I know relatively few people who do that (some browsers allow you to quickly search Google etc. for the selected phrase), which is why I would prefer turning it on by default after it's been in use for a few weeks.
Regards,
Erik