@JorgeStolfi wrote:
[Is this the right place for this message?]
Suggestions for Wikipedia history pages:
Instead of the phrase “updated since my last visit”, paint a BIG green dot on the left margin. (There is already a green dot; just make it bigger)
Optional filter to compress consecutive edits by the same user, with a summary “[N edits]”.
(For the “compare selected version” button, the oldest of those N edits is used, if the compressed entry is the start of the selected range; and the most recent of them is used, if the compressed entry is the end of the selected range.)
Posts: 5
Participants: 2