Notes |
|
|
I mean, yeah, I understand what exactly it does in attachment 2. But anyway.
|
|
|
|
The question was better described as whether it (or additional sorting) is worth the extra complexity, and cause behind issues mentioned in OP. |
|
|
(0021231)
|
WubTheCaptain
|
2020-03-22 09:41
(edited on: 2020-03-22 09:43) |
|
Attachment 3 (2020-03-22-093920_maim.png) is for full comparison, with "Put populated servers on top" enabled. That is normal behavior.
It does nothing (or gets a bit weird) if you combine it with additional sorting. (Not pictured)
|
|
|
(0021432)
|
Zalewa
|
2020-06-08 12:34
|
|
Quote from Wub Is this feature necessary?
Philosophically speaking we could conclude that nothing is necessary.
But is it useful? Yes it is. It is meant to divide the servers into groups, regardless of any other sorting. The ratio of total server count to populated server count makes this useful. The ability to first browse through populated servers and then scroll down to unpopulated ones makes it useful. Taking away options from people makes those people throw severe and unrelated insults at you ;). I'm against removal. |
|
|
|
You're the maintainer, so I'll take your word on this. |
|