Zandronum Chat on our Discord Server Get the latest version: 3.1
Source Code

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003773Doomseeker[All Projects] Epicpublic2020-03-22 09:112021-08-07 16:52
ReporterWubTheCaptain 
Assigned ToZalewa 
PrioritynoneSeveritytrivialReproducibilityN/A
StatusclosedResolutioninvalid 
PlatformOSOS Version
Product Version1.3.1 
Target VersionFixed in Version 
Summary0003773: "Put populated servers on top" may not be necessary
DescriptionBecause of issues 0003771 and 0003772, I thought about a question to myself (again): Is this feature necessary?

It's possible to sort by player count, then sort additionally by ping (or other table column). I toyed around with this few months ago. (Attachment 1)

Unfortunately, the usability might be limited because sorting by ping and then doing additional sorting by player count may not work as you expect. But if it did, then would there be any reason for "put populated servers on top" anymore? (Attachment 2)
Attached Filespng file icon 2020-03-22-090740_maim.png [^] (195,420 bytes) 2020-03-22 09:11


png file icon 2020-03-22-091016_maim.png [^] (161,298 bytes) 2020-03-22 09:12


png file icon 2020-03-22-093920_maim.png [^] (226,568 bytes) 2020-03-22 09:40

- Relationships

-  Notes
User avatar (0021227)
WubTheCaptain (reporter)
2020-03-22 09:17
edited on: 2020-03-22 09:17

I mean, yeah, I understand what exactly it does in attachment 2. But anyway.

User avatar (0021230)
WubTheCaptain (reporter)
2020-03-22 09:36

The question was better described as whether it (or additional sorting) is worth the extra complexity, and cause behind issues mentioned in OP.
User avatar (0021231)
WubTheCaptain (reporter)
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)

User avatar (0021432)
Zalewa (developer)
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.
User avatar (0021437)
WubTheCaptain (reporter)
2020-06-08 13:59

You're the maintainer, so I'll take your word on this.

Issue Community Support
This issue is already marked as resolved.
If you feel that is not the case, please reopen it and explain why.
Supporters: No one explicitly supports this issue yet.
Opponents: Zalewa

- Issue History
Date Modified Username Field Change
2020-03-22 09:11 WubTheCaptain New Issue
2020-03-22 09:11 WubTheCaptain File Added: 2020-03-22-090740_maim.png
2020-03-22 09:12 WubTheCaptain File Added: 2020-03-22-091016_maim.png
2020-03-22 09:17 WubTheCaptain Note Added: 0021227
2020-03-22 09:17 WubTheCaptain Note Edited: 0021227 View Revisions
2020-03-22 09:36 WubTheCaptain Note Added: 0021230
2020-03-22 09:40 WubTheCaptain File Added: 2020-03-22-093920_maim.png
2020-03-22 09:41 WubTheCaptain Note Added: 0021231
2020-03-22 09:43 WubTheCaptain Note Edited: 0021231 View Revisions
2020-06-08 12:34 Zalewa Note Added: 0021432
2020-06-08 13:59 WubTheCaptain Note Added: 0021437
2020-06-08 13:59 WubTheCaptain Status new => resolved
2020-06-08 13:59 WubTheCaptain Resolution open => invalid
2020-06-08 13:59 WubTheCaptain Assigned To => Zalewa
2021-08-07 16:52 Blzut3 Status resolved => closed






Questions or other issues? Contact Us.

Links


Copyright © 2000 - 2024 MantisBT Team
Powered by Mantis Bugtracker